Pow Add Add x0 Pow Pow x0 exp acoth Add x7 x0 E Add x0 1 -3 
Mul Pow Add Add x0 Pow Pow x0 exp acoth Add x7 x0 E Add x0 1 4 Mul -3 Add Add 1 Mul Pow Pow x0 exp acoth Add x7 x0 Add E -1 Mul E Mul Pow x0 Add exp acoth Add x7 x0 -1 Add exp acoth Add x7 x0 Mul Mul x0 log x0 Mul exp acoth Add x7 x0 Pow Add 1 Mul -1 Mul Add x7 x0 Add x7 x0 -1 1 