Add Pow Pow Add x0 2 x7 atan x0 coth x0 
Add Mul Pow Pow Add x0 2 x7 Add atan x0 -1 Add Mul atan x0 Mul Pow Add x0 2 Add x7 -1 x7 Mul Mul Pow Add x0 2 x7 log Pow Add x0 2 x7 Pow Add 1 Mul x0 x0 -1 Mul -1 Pow csch x0 2 