Mul Add -2 Mul x0 Mul -2 acosh x0 Pow Mul -2.18503986326152 Add x1 5.86369115445062 -4 
Mul Pow Mul -2.18503986326152 Add x1 5.86369115445062 -4 Add Mul -2 acosh x0 Mul x0 Mul -2 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 