solve cos(x)=tan(x)^pi