Add Mul x6 x0 Add x0 Mul cot x7 coth Mul -1 Add x4 Add 4 Mul Mul x3 2 atan x0 
Add x6 Add 1 Mul cot x7 Mul Mul -1 Pow csch Mul -1 Add x4 Add 4 Mul Mul x3 2 atan x0 2 Mul -1 Mul Mul x3 2 Pow Add 1 Mul x0 x0 -1 