Pow Add Mul acosh x0 x0 0.999329299739067 Mul E Pow x0 exp x2 
Mul Pow Add Mul acosh x0 x0 0.999329299739067 Add Mul E Pow x0 exp x2 -1 Add Mul Mul E Pow x0 exp x2 Add Mul x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 acosh x0 Mul Mul Add Mul acosh x0 x0 0.999329299739067 log Add Mul acosh x0 x0 0.999329299739067 Mul E Mul Pow x0 Add exp x2 -1 exp x2 