Mul Mul Mul atanh atan coth x0 64 x0 x7 
Mul x7 Add Mul x0 Mul 64 Mul Mul Mul -1 Pow csch x0 2 Pow Add 1 Mul coth x0 coth x0 -1 Pow Add 1 Mul -1 Mul atan coth x0 atan coth x0 -1 Mul atanh atan coth x0 64 