atan Mul Mul Mul Add pi Pow cosh x4 Add asech pi x0 3.52532008581609 E x7 
Mul Mul x7 Mul E Mul 3.52532008581609 Mul Pow cosh x4 Add Add asech pi x0 -1 Mul cosh x4 log cosh x4 Pow Add 1 Mul Mul Mul Mul Add pi Pow cosh x4 Add asech pi x0 3.52532008581609 E x7 Mul Mul Mul Add pi Pow cosh x4 Add asech pi x0 3.52532008581609 E x7 -1 