Add Pow Mul x0 acoth acos asin cosh x5 atan x0 csch Mul Add 32 sech x0 x0 
Add Mul Pow Mul x0 acoth acos asin cosh x5 Add atan x0 -1 Add Mul atan x0 acoth acos asin cosh x5 Mul Mul Mul x0 acoth acos asin cosh x5 log Mul x0 acoth acos asin cosh x5 Pow Add 1 Mul x0 x0 -1 Mul Mul Mul -1 coth Mul Add 32 sech x0 x0 csch Mul Add 32 sech x0 x0 Add Mul x0 Mul tanh x0 Mul -1 sech x0 Add 32 sech x0 