Mul acosh Add Mul Add x1 sqrt x0 Pow 8.54987973338348 x0 -2 Pow 4 x7 
Mul Pow 4 x7 Mul Add Mul Pow 8.54987973338348 x0 Pow Mul 2 sqrt x0 -1 Mul Add x1 sqrt x0 Mul Pow 8.54987973338348 Add x0 -1 10.6957969499623 Pow Mul sqrt Add Add Mul Add x1 sqrt x0 Pow 8.54987973338348 x0 -2 -1 sqrt Add 1 Add Mul Add x1 sqrt x0 Pow 8.54987973338348 x0 -2 -1 