Add cot x3 exp Pow asec x0 cosh Add x0 Pow x0 x4 
Mul exp Pow asec x0 cosh Add x0 Pow x0 x4 Mul Pow asec x0 Add cosh Add x0 Pow x0 x4 -1 Add Mul cosh Add x0 Pow x0 x4 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul Mul asec x0 log asec x0 Mul sinh Add x0 Pow x0 x4 Add 1 Mul Pow x0 Add x4 -1 x4 