Mul -2 acosh Mul x0 Pow Mul Add x0 3 x7 x1 
Mul -2 Mul Add Pow Mul Add x0 3 x7 x1 Mul x0 Mul Pow Mul Add x0 3 x7 Add x1 -1 Mul x1 x7 Pow Mul sqrt Add Mul x0 Pow Mul Add x0 3 x7 x1 -1 sqrt Add 1 Mul x0 Pow Mul Add x0 3 x7 x1 -1 