Add x0 Add Mul 257421778131727866134528 Mul x0 Add Mul x0 Mul x0 Mul x0 Mul x0 Mul x0 E x0 -3 
Add 1 Mul 257421778131727866134528 Add Add Mul x0 Mul x0 Mul x0 Mul x0 Mul x0 E x0 Mul x0 Add Add Mul x0 Mul x0 Mul x0 Mul x0 E Mul x0 Add Mul x0 Mul x0 Mul x0 E Mul x0 Add Mul x0 Mul x0 E Mul x0 Add Mul x0 E Mul x0 E 1 