{(25^sin(x))^cos(x) = 5^(sqrt(3)*sin(x)),5*Pi/2<=x,x<=4*Pi}