{6^cos(x) = (1/2)^sin(x)*3^cos(x),Pi/2<=x,x<=2*Pi}