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