{sqrt(2)*sin(3*Pi*(1/2)-x)*cos(3*Pi*(1/2)+x) = cos(x),-4*Pi<=x,x<=-3*Pi}