Mul atan x7 Add Add Pow acoth coth Add x4 x0 x1 x2 Pow x0 log pi 
Mul atan x7 Add Mul Pow acoth coth Add x4 x0 Add x1 -1 Mul x1 Mul Mul -1 Pow csch Add x4 x0 2 Pow Add 1 Mul -1 Mul coth Add x4 x0 coth Add x4 x0 -1 Mul Pow x0 Add log pi -1 log pi 