Add acot Mul tanh Mul Pow Mul x0 E cosh atanh x0 x0 Add Mul x2 acos acsch x7 0.803711754627530 x3 
Mul -1 Mul Mul Add Mul x2 acos acsch x7 0.803711754627530 Mul Pow sech Mul Pow Mul x0 E cosh atanh x0 x0 2 Add Mul x0 Mul Pow Mul x0 E Add cosh atanh x0 -1 Add Mul cosh atanh x0 E Mul Mul Mul x0 E log Mul x0 E Mul sinh atanh x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul x0 E cosh atanh x0 Pow Add 1 Mul Mul tanh Mul Pow Mul x0 E cosh atanh x0 x0 Add Mul x2 acos acsch x7 0.803711754627530 Mul tanh Mul Pow Mul x0 E cosh atanh x0 x0 Add Mul x2 acos acsch x7 0.803711754627530 -1 