SecP224K1Field.multiply(x4, x1, x4); int[] x8 = Nat224.create(); SecP224K1Field.squareN(x4, 4, x8); SecP224K1Field.multiply(x8, x4, x8); int[] x11 = Nat224.create(); SecP224K1Field.squareN(x8, 3, x11); SecP224K1Field.multiply(x11, x3, x11); int[] x19 = x11; SecP224K1Field.squareN(x11, 8, x19); SecP224K1Field.multiply(x19, x8, x19); int[] x23 = x8; SecP224K1Field.squareN(x19, 4, x23); SecP224K1Field.multiply(x23, x4, x23); int[] x42 = x4; SecP224K1Field.squareN(x23, 19, x42); SecP224K1Field.multiply(x42, x19, x42); int[] x84 = Nat224.create(); SecP224K1Field.squareN(x42, 42, x84); SecP224K1Field.multiply(x84, x42, x84); int[] x107 = x42; SecP224K1Field.squareN(x84, 23, x107); SecP224K1Field.multiply(x107, x23, x107); int[] x191 = x23; SecP224K1Field.squareN(x107, 84, x191); SecP224K1Field.multiply(x191, x84, x191); SecP224K1Field.squareN(t1, 20, t1); SecP224K1Field.multiply(t1, x19, t1); SecP224K1Field.squareN(t1, 3, t1);
SecP224K1Field.multiply(x4, x1, x4); int[] x8 = Nat224.create(); SecP224K1Field.squareN(x4, 4, x8); SecP224K1Field.multiply(x8, x4, x8); int[] x11 = Nat224.create(); SecP224K1Field.squareN(x8, 3, x11); SecP224K1Field.multiply(x11, x3, x11); int[] x19 = x11; SecP224K1Field.squareN(x11, 8, x19); SecP224K1Field.multiply(x19, x8, x19); int[] x23 = x8; SecP224K1Field.squareN(x19, 4, x23); SecP224K1Field.multiply(x23, x4, x23); int[] x42 = x4; SecP224K1Field.squareN(x23, 19, x42); SecP224K1Field.multiply(x42, x19, x42); int[] x84 = Nat224.create(); SecP224K1Field.squareN(x42, 42, x84); SecP224K1Field.multiply(x84, x42, x84); int[] x107 = x42; SecP224K1Field.squareN(x84, 23, x107); SecP224K1Field.multiply(x107, x23, x107); int[] x191 = x23; SecP224K1Field.squareN(x107, 84, x191); SecP224K1Field.multiply(x191, x84, x191); SecP224K1Field.squareN(t1, 20, t1); SecP224K1Field.multiply(t1, x19, t1); SecP224K1Field.squareN(t1, 3, t1);