Mul x0 Mul acosh x0 Add Pow 7 x0 1.36943840600457 
Add Mul acosh x0 Add Pow 7 x0 1.36943840600457 Mul x0 Add Mul Add Pow 7 x0 1.36943840600457 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 Mul Pow 7 Add x0 -1 8.94591014905531 