tanh Pow Add x5 -1.44363547517881 Mul Mul -4 E Add atan Pow acosh Mul 2 x0 cosh x1 Add -4 acoth x0 
Mul Pow sech Pow Add x5 -1.44363547517881 Mul Mul -4 E Add atan Pow acosh Mul 2 x0 cosh x1 Add -4 acoth x0 2 Mul Pow Add x5 -1.44363547517881 Add Mul Mul -4 E Add atan Pow acosh Mul 2 x0 cosh x1 Add -4 acoth x0 -1 Mul Mul Add x5 -1.44363547517881 log Add x5 -1.44363547517881 Mul Mul -4 E Add Mul Mul Pow acosh Mul 2 x0 Add cosh x1 -1 Mul cosh x1 Mul 2 Pow Mul sqrt Add Mul 2 x0 -1 sqrt Add 1 Mul 2 x0 -1 Pow Add 1 Mul Pow acosh Mul 2 x0 cosh x1 Pow acosh Mul 2 x0 cosh x1 -1 Pow Add 1 Mul -1 Mul x0 x0 -1 