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