atan Mul Add x0 Mul Pow Pow Mul x0 x0 coth x2 x3 x0 x2 
Mul Mul x2 Add 1 Add Mul x0 Mul Pow Pow Mul x0 x0 coth x2 Add x3 -1 Mul x3 Mul Pow Mul x0 x0 Add coth x2 -1 Mul coth x2 Add x0 x0 Pow Pow Mul x0 x0 coth x2 x3 Pow Add 1 Mul Mul Add x0 Mul Pow Pow Mul x0 x0 coth x2 x3 x0 x2 Mul Add x0 Mul Pow Pow Mul x0 x0 coth x2 x3 x0 x2 -1 