atan Add x0 Mul Pow coth Add x0 exp Add x0 x7 x0 x0 
Mul Add 1 Add Mul x0 Mul Pow coth Add x0 exp Add x0 x7 Add x0 -1 Add Mul x0 Mul Mul -1 Pow csch Add x0 exp Add x0 x7 2 Add 1 exp Add x0 x7 Mul coth Add x0 exp Add x0 x7 log coth Add x0 exp Add x0 x7 Pow coth Add x0 exp Add x0 x7 x0 Pow Add 1 Mul Add x0 Mul Pow coth Add x0 exp Add x0 x7 x0 x0 Add x0 Mul Pow coth Add x0 exp Add x0 x7 x0 x0 -1 