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