SecP160R2Field.multiply(x4, x1, x4); int[] x7 = Nat160.create(); SecP160R2Field.squareN(x4, 3, x7); SecP160R2Field.multiply(x7, x3, x7); int[] x14 = x4; SecP160R2Field.squareN(x7, 7, x14); SecP160R2Field.multiply(x14, x7, x14); int[] x17 = x7; SecP160R2Field.squareN(x14, 3, x17); SecP160R2Field.multiply(x17, x3, x17); int[] x31 = Nat160.create(); SecP160R2Field.squareN(x17, 14, x31); SecP160R2Field.multiply(x31, x14, x31); int[] x62 = x14; SecP160R2Field.squareN(x31, 31, x62); SecP160R2Field.multiply(x62, x31, x62); int[] x124 = x31; SecP160R2Field.squareN(x62, 62, x124); SecP160R2Field.multiply(x124, x62, x124); int[] x127 = x62; SecP160R2Field.squareN(x124, 3, x127); SecP160R2Field.multiply(x127, x3, x127); SecP160R2Field.squareN(t1, 18, t1); SecP160R2Field.multiply(t1, x17, t1); SecP160R2Field.squareN(t1, 2, t1); SecP160R2Field.multiply(t1, x1, t1); SecP160R2Field.squareN(t1, 3, t1); SecP160R2Field.multiply(t1, x2, t1);