{2*cos(x)^2 = sin((1/2)*Pi-x),5*Pi/2<=x,x<=4*Pi}