atan Pow Mul Add x0 x4 Mul Mul asec x1 x0 Mul coth x0 x0 3 
Mul Mul Pow Mul Add x0 x4 Mul Mul asec x1 x0 Mul coth x0 x0 2 Mul 3 Add Mul Mul asec x1 x0 Mul coth x0 x0 Mul Add x0 x4 Add Mul Mul coth x0 x0 asec x1 Mul Mul asec x1 x0 Add Mul x0 Mul -1 Pow csch x0 2 coth x0 Pow Add 1 Mul Pow Mul Add x0 x4 Mul Mul asec x1 x0 Mul coth x0 x0 3 Pow Mul Add x0 x4 Mul Mul asec x1 x0 Mul coth x0 x0 3 -1 