sec Mul Pow asec x0 cot x2 x0 
Mul Mul tan Mul Pow asec x0 cot x2 x0 sec Mul Pow asec x0 cot x2 x0 Add Mul x0 Mul Pow asec x0 Add cot x2 -1 Mul cot x2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow asec x0 cot x2 