Mul x0 acosh Mul -1.18839510577812 Mul Mul x0 x0 -2 
Add acosh Mul -1.18839510577812 Mul Mul x0 x0 -2 Mul x0 Mul Mul -1.18839510577812 Mul -2 Add x0 x0 Pow Mul sqrt Add Mul -1.18839510577812 Mul Mul x0 x0 -2 -1 sqrt Add 1 Mul -1.18839510577812 Mul Mul x0 x0 -2 -1 