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