Mul Pow Pow acosh x0 pi Pow Pow Pow Add atan acsch x3 x0 -5 E Mul acosh Add x0 x0 x7 sinh x0 
Add Mul sinh x0 Mul Pow Pow acosh x0 pi Add Pow Pow Pow Add atan acsch x3 x0 -5 E Mul acosh Add x0 x0 x7 -1 Add Mul Pow Pow Pow Add atan acsch x3 x0 -5 E Mul acosh Add x0 x0 x7 Mul Pow acosh x0 Add pi -1 Mul pi Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul Pow acosh x0 pi log Pow acosh x0 pi Mul Pow Pow Pow Add atan acsch x3 x0 -5 E Add Mul acosh Add x0 x0 x7 -1 Add Mul Mul acosh Add x0 x0 x7 Mul Pow Pow Add atan acsch x3 x0 -5 Add E -1 Mul E Mul Pow Add atan acsch x3 x0 6 -5 Mul Mul Pow Pow Add atan acsch x3 x0 -5 E log Pow Pow Add atan acsch x3 x0 -5 E Mul x7 Mul 2 Pow Mul sqrt Add Add x0 x0 -1 sqrt Add 1 Add x0 x0 -1 Mul Pow Pow acosh x0 pi Pow Pow Pow Add atan acsch x3 x0 -5 E Mul acosh Add x0 x0 x7 cosh x0 