SecP256K1Field.multiply(x3, x1, x3); int[] x6 = Nat256.create(); SecP256K1Field.squareN(x3, 3, x6); SecP256K1Field.multiply(x6, x3, x6); int[] x9 = x6; SecP256K1Field.squareN(x6, 3, x9); SecP256K1Field.multiply(x9, x3, x9); int[] x11 = x9; SecP256K1Field.squareN(x9, 2, x11); SecP256K1Field.multiply(x11, x2, x11); int[] x22 = Nat256.create(); SecP256K1Field.squareN(x11, 11, x22); SecP256K1Field.multiply(x22, x11, x22); int[] x44 = x11; SecP256K1Field.squareN(x22, 22, x44); SecP256K1Field.multiply(x44, x22, x44); int[] x88 = Nat256.create(); SecP256K1Field.squareN(x44, 44, x88); SecP256K1Field.multiply(x88, x44, x88); int[] x176 = Nat256.create(); SecP256K1Field.squareN(x88, 88, x176); SecP256K1Field.multiply(x176, x88, x176); int[] x220 = x88; SecP256K1Field.squareN(x176, 44, x220); SecP256K1Field.multiply(x220, x44, x220); int[] x223 = x44; SecP256K1Field.squareN(x220, 3, x223); SecP256K1Field.multiply(x223, x3, x223);
SecP256K1Field.multiply(x3, x1, x3); int[] x6 = Nat256.create(); SecP256K1Field.squareN(x3, 3, x6); SecP256K1Field.multiply(x6, x3, x6); int[] x9 = x6; SecP256K1Field.squareN(x6, 3, x9); SecP256K1Field.multiply(x9, x3, x9); int[] x11 = x9; SecP256K1Field.squareN(x9, 2, x11); SecP256K1Field.multiply(x11, x2, x11); int[] x22 = Nat256.create(); SecP256K1Field.squareN(x11, 11, x22); SecP256K1Field.multiply(x22, x11, x22); int[] x44 = x11; SecP256K1Field.squareN(x22, 22, x44); SecP256K1Field.multiply(x44, x22, x44); int[] x88 = Nat256.create(); SecP256K1Field.squareN(x44, 44, x88); SecP256K1Field.multiply(x88, x44, x88); int[] x176 = Nat256.create(); SecP256K1Field.squareN(x88, 88, x176); SecP256K1Field.multiply(x176, x88, x176); int[] x220 = x88; SecP256K1Field.squareN(x176, 44, x220); SecP256K1Field.multiply(x220, x44, x220); int[] x223 = x44; SecP256K1Field.squareN(x220, 3, x223); SecP256K1Field.multiply(x223, x3, x223);