Pow asec sinh Mul Add E x0 x0 cosh x0 
Mul Pow asec sinh Mul Add E x0 x0 Add cosh x0 -1 Add Mul cosh x0 Mul Mul cosh Mul Add E x0 x0 Add x0 Add E x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul sinh Mul Add E x0 x0 sinh Mul Add E x0 x0 -1 sinh Mul Add E x0 x0 sinh Mul Add E x0 x0 -1 Mul Mul asec sinh Mul Add E x0 x0 log asec sinh Mul Add E x0 x0 sinh x0 