Add Pow Add x0 acoth x1 Pow x0 exp x0 Mul E x3 
Mul Pow Add x0 acoth x1 Add Pow x0 exp x0 -1 Add Pow x0 exp x0 Mul Mul Add x0 acoth x1 log Add x0 acoth x1 Mul Pow x0 Add exp x0 -1 Add exp x0 Mul Mul x0 log x0 exp x0 