Pow cosh x5 Pow exp x0 Mul exp sec asec Add -2 x0 E 
Mul Pow cosh x5 Add Pow exp x0 Mul exp sec asec Add -2 x0 E -1 Mul Mul cosh x5 log cosh x5 Mul Pow exp x0 Add Mul exp sec asec Add -2 x0 E -1 Add Mul Mul exp sec asec Add -2 x0 E exp x0 Mul Mul exp x0 log exp x0 Mul E Mul exp sec asec Add -2 x0 Mul Mul tan asec Add -2 x0 sec asec Add -2 x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add -2 x0 Add -2 x0 -1 Add -2 x0 Add -2 x0 -1 