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