atan Mul Mul csch Pow Mul atan acoth x0 x7 x0 Add Mul Pow x5 -1.57079632679490 5 x0 -5 
Mul Mul -5 Add Mul Add Mul Pow x5 -1.57079632679490 5 x0 Mul Mul Mul -1 coth Pow Mul atan acoth x0 x7 x0 csch Pow Mul atan acoth x0 x7 x0 Mul Pow Mul atan acoth x0 x7 Add x0 -1 Add Mul x0 Mul x7 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul acoth x0 acoth x0 -1 Mul Mul atan acoth x0 x7 log Mul atan acoth x0 x7 csch Pow Mul atan acoth x0 x7 x0 Pow Add 1 Mul Mul Mul csch Pow Mul atan acoth x0 x7 x0 Add Mul Pow x5 -1.57079632679490 5 x0 -5 Mul Mul csch Pow Mul atan acoth x0 x7 x0 Add Mul Pow x5 -1.57079632679490 5 x0 -5 -1 