Pow x0 acosh Add x7 Pow Add x0 exp x0 E 
Mul Pow x0 Add acosh Add x7 Pow Add x0 exp x0 E -1 Add acosh Add x7 Pow Add x0 exp x0 E Mul Mul x0 log x0 Mul Mul Pow Add x0 exp x0 Add E -1 Mul E Add 1 exp x0 Pow Mul sqrt Add Add x7 Pow Add x0 exp x0 E -1 sqrt Add 1 Add x7 Pow Add x0 exp x0 E -1 