Pow acosh Mul x0 -1.00009080398202 x0 
Mul Pow acosh Mul x0 -1.00009080398202 Add x0 -1 Add Mul x0 Mul -1.00009080398202 Pow Mul sqrt Add Mul x0 -1.00009080398202 -1 sqrt Add 1 Mul x0 -1.00009080398202 -1 Mul acosh Mul x0 -1.00009080398202 log acosh Mul x0 -1.00009080398202 