acosh Mul 3 Mul atan Mul x5 coth x0 Add Add atan x0 x0 -2 
Mul Mul 3 Add Mul Add Add atan x0 x0 -2 Mul Mul x5 Mul -1 Pow csch x0 2 Pow Add 1 Mul Mul x5 coth x0 Mul x5 coth x0 -1 Mul atan Mul x5 coth x0 Add Pow Add 1 Mul x0 x0 -1 1 Pow Mul sqrt Add Mul 3 Mul atan Mul x5 coth x0 Add Add atan x0 x0 -2 -1 sqrt Add 1 Mul 3 Mul atan Mul x5 coth x0 Add Add atan x0 x0 -2 -1 