asech Mul x2 Mul x0 3.92316185614978 
Mul Mul x2 3.92316185614978 Pow Mul Mul Mul x2 Mul x0 3.92316185614978 Mul x2 Mul x0 3.92316185614978 sqrt Add 1 Mul -1 Pow Mul Mul x2 Mul x0 3.92316185614978 Mul x2 Mul x0 3.92316185614978 -1 -1 