Mul Mul x7 x0 asech Mul x0 1.77215424758523 
Add Mul asech Mul x0 1.77215424758523 x7 Mul Mul x7 x0 Mul 1.77215424758523 Pow Mul Mul Mul x0 1.77215424758523 Mul x0 1.77215424758523 sqrt Add 1 Mul -1 Pow Mul Mul x0 1.77215424758523 Mul x0 1.77215424758523 -1 -1 