Add Add x0 Add Mul Mul -4 acot Add 9 x4 x0 Mul log atanh coth x0 x0 Add x0 Pow -3 x6 
Add Add 1 Add Mul -4 acot Add 9 x4 Add Mul x0 Mul Mul Mul -1 Pow csch x0 2 Pow Add 1 Mul -1 Mul coth x0 coth x0 -1 Pow atanh coth x0 -1 log atanh coth x0 1 