{20^cos(x) = 4^cos(x)*5^(-sin(x)),-9*Pi/2<=x,x<=-3*Pi}