atan log Pow coth x1 Add x0 x0 
Mul Mul Mul Pow coth x1 Add Add x0 x0 -1 Mul Mul coth x1 log coth x1 2 Pow Pow coth x1 Add x0 x0 -1 Pow Add 1 Mul log Pow coth x1 Add x0 x0 log Pow coth x1 Add x0 x0 -1 