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