Pow Mul cosh pi tanh Pow x0 exp Mul 2 x5 Mul acosh Add -1 x0 x0 
Mul Pow Mul cosh pi tanh Pow x0 exp Mul 2 x5 Add Mul acosh Add -1 x0 x0 -1 Add Mul Mul acosh Add -1 x0 x0 Mul cosh pi Mul Pow sech Pow x0 exp Mul 2 x5 2 Mul Pow x0 Add exp Mul 2 x5 -1 exp Mul 2 x5 Mul Mul Mul cosh pi tanh Pow x0 exp Mul 2 x5 log Mul cosh pi tanh Pow x0 exp Mul 2 x5 Add Mul x0 Pow Mul sqrt Add Add -1 x0 -1 sqrt Add 1 Add -1 x0 -1 acosh Add -1 x0 