Mul acosh x0 Mul -3 Mul 1.91753980766610 acosh x0 
Add Mul Mul -3 Mul 1.91753980766610 acosh x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 Mul -3 Mul 1.91753980766610 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 