Mul Pow acosh x0 0.142546543074278 asinh Add x0 x0 
Add Mul asinh Add x0 x0 Mul Pow acosh x0 -0.857453456925722 Mul 0.142546543074278 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Pow acosh x0 0.142546543074278 Mul 2 Pow sqrt Add 1 Mul Add x0 x0 Add x0 x0 -1 