Mul Mul x4 Add acos Mul Add Pow exp Pow x0 sech pi cosh x6 x2 E Add -4 tanh acosh x0 -2 
Mul -2 Mul x4 Add Mul -1 Mul Mul E Mul Pow exp Pow x0 sech pi Add cosh x6 -1 Mul cosh x6 Mul exp Pow x0 sech pi Mul Pow x0 Add sech pi -1 sech pi Pow sqrt Add 1 Mul -1 Mul Mul Add Pow exp Pow x0 sech pi cosh x6 x2 E Mul Add Pow exp Pow x0 sech pi cosh x6 x2 E -1 Mul Pow sech acosh x0 2 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 