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