Mul Add x0 Mul Pow Add coth x7 2 Add 3 x0 atan exp x0 2 
Mul 2 Add 1 Add Mul atan exp x0 Mul Pow Add coth x7 2 Add Add 3 x0 -1 Mul Add coth x7 2 log Add coth x7 2 Mul Pow Add coth x7 2 Add 3 x0 Mul exp x0 Pow Add 1 Mul exp x0 exp x0 -1 