simplify(sin(x 3*π/2) cos(x 3*π/2) sin(x-π) cos(x-π))