Add Add -3 x0 Pow sqrt Pow acosh x0 0.995054753686730 x6 
Add 1 Mul Pow sqrt Pow acosh x0 0.995054753686730 Add x6 -1 Mul x6 Mul Pow Mul 2 sqrt Pow acosh x0 0.995054753686730 -1 Mul Pow acosh x0 -0.00494524631326954 Mul 0.995054753686730 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 