Mul 3 coth Pow Add Mul x0 Mul atan x5 E x6 x0 
Mul 3 Mul Mul -1 Pow csch Pow Add Mul x0 Mul atan x5 E x6 x0 2 Mul Pow Add Mul x0 Mul atan x5 E x6 Add x0 -1 Add Mul x0 Mul atan x5 E Mul Add Mul x0 Mul atan x5 E x6 log Add Mul x0 Mul atan x5 E x6 