asech Add acsch x0 Pow cosh Add acosh x4 Mul pi Add atan x0 x0 x0 
Mul Add Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Pow cosh Add acosh x4 Mul pi Add atan x0 x0 Add x0 -1 Add Mul x0 Mul sinh Add acosh x4 Mul pi Add atan x0 x0 Mul pi Add Pow Add 1 Mul x0 x0 -1 1 Mul cosh Add acosh x4 Mul pi Add atan x0 x0 log cosh Add acosh x4 Mul pi Add atan x0 x0 Pow Mul Mul Add acsch x0 Pow cosh Add acosh x4 Mul pi Add atan x0 x0 x0 Add acsch x0 Pow cosh Add acosh x4 Mul pi Add atan x0 x0 x0 sqrt Add 1 Mul -1 Pow Mul Add acsch x0 Pow cosh Add acosh x4 Mul pi Add atan x0 x0 x0 Add acsch x0 Pow cosh Add acosh x4 Mul pi Add atan x0 x0 x0 -1 -1 