Mul x0 Pow Add acosh E Mul x0 -0.999909204262595 x0 
Add Pow Add acosh E Mul x0 -0.999909204262595 x0 Mul x0 Mul Pow Add acosh E Mul x0 -0.999909204262595 Add x0 -1 Add Mul x0 -0.999909204262595 Mul Add acosh E Mul x0 -0.999909204262595 log Add acosh E Mul x0 -0.999909204262595 