exp Mul Add x0 x0 Mul Mul Mul log x0 acoth x1 x0 Pow Pow x4 x0 E 
Mul exp Mul Add x0 x0 Mul Mul Mul log x0 acoth x1 x0 Pow Pow x4 x0 E Add Mul Mul Mul Mul log x0 acoth x1 x0 Pow Pow x4 x0 E 2 Mul Add x0 x0 Add Mul Pow Pow x4 x0 E Add Mul x0 Mul acoth x1 Pow x0 -1 Mul log x0 acoth x1 Mul Mul Mul log x0 acoth x1 x0 Mul Pow Pow x4 x0 Add E -1 Mul E Mul Pow x4 Add x0 -1 Mul x4 log x4 