How do you simplify sin(pi/2+x)cos(-x)?