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