Question 872121
{{{cos(2*theta - pi/2)=sin(2*theta)}}}