Mul Add Mul Add x0 coth atanh x2 x0 Add x0 x4 exp exp Add Pow atanh E Add x2 x0 Mul -3 x0 
Add Mul exp exp Add Pow atanh E Add x2 x0 Mul -3 x0 Add Add x0 Add x0 coth atanh x2 1 Mul Add Mul Add x0 coth atanh x2 x0 Add x0 x4 Mul exp exp Add Pow atanh E Add x2 x0 Mul -3 x0 Mul exp Add Pow atanh E Add x2 x0 Mul -3 x0 Add Mul Pow atanh E Add Add x2 x0 -1 Mul atanh E log atanh E -3 