solve {4^cos(x)+4^(-cos(x)) = 5/2,-3*Pi<=x,x<=-3*Pi/2}