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