Add Mul x0 atan Mul Mul Mul Add x0 coth x5 Mul 3 x0 4 x6 1 
Add atan Mul Mul Mul Add x0 coth x5 Mul 3 x0 4 x6 Mul x0 Mul Mul x6 Mul 4 Add Mul 3 x0 Mul Add x0 coth x5 3 Pow Add 1 Mul Mul Mul Mul Add x0 coth x5 Mul 3 x0 4 x6 Mul Mul Mul Add x0 coth x5 Mul 3 x0 4 x6 -1 