Pow Mul Add Mul x7 coth x2 Mul x0 x0 -4 Pow atan x0 2 
Mul Pow Mul Add Mul x7 coth x2 Mul x0 x0 -4 Add Pow atan x0 2 -1 Add Mul Pow atan x0 2 Mul -4 Add x0 x0 Mul Mul Mul Add Mul x7 coth x2 Mul x0 x0 -4 log Mul Add Mul x7 coth x2 Mul x0 x0 -4 Mul atan x0 Mul 2 Pow Add 1 Mul x0 x0 -1 