Add Pow csch Add x0 atan Add x0 log x2 x0 Mul acot x3 2 
Mul Pow csch Add x0 atan Add x0 log x2 Add x0 -1 Add Mul x0 Mul Mul Mul -1 coth Add x0 atan Add x0 log x2 csch Add x0 atan Add x0 log x2 Add 1 Pow Add 1 Mul Add x0 log x2 Add x0 log x2 -1 Mul csch Add x0 atan Add x0 log x2 log csch Add x0 atan Add x0 log x2 