Lines Matching defs:x1
918 const felem x1, const felem y1, const felem z1,
939 /* ftmp2 = z2^2*x1 */
940 felem_mul(tmp2, ftmp2, x1);
950 /* ftmp2 = z2^2*x1 */
951 felem_assign(ftmp2, x1);
975 /* ftmp = z1^2*x2 - z2^2*x1 */
990 point_double(x3, y3, z3, x1, y1, z1);
1003 /* z_out = (z1^2*x2 - z2^2*x1)*(z1*z2) */
1007 /* ftmp = (z1^2*x2 - z2^2*x1)^2 */
1012 /* ftmp5 = (z1^2*x2 - z2^2*x1)^3 */
1016 /* ftmp2 = z2^2*x1*(z1^2*x2 - z2^2*x1)^2 */
1020 /* tmp = z2^3*y1*(z1^2*x2 - z2^2*x1)^3 */
1028 /* tmp2 = (z1^3*y2 - z2^3*y1)^2 - (z1^2*x2 - z2^2*x1)^3 */
1032 /* ftmp5 = 2*z2^2*x1*(z1^2*x2 - z2^2*x1)^2 */
1038 * x_out = (z1^3*y2 - z2^3*y1)^2 - (z1^2*x2 - z2^2*x1)^3 -
1039 * 2*z2^2*x1*(z1^2*x2 - z2^2*x1)^2
1045 /* ftmp2 = z2^2*x1*(z1^2*x2 - z2^2*x1)^2 - x_out */
1050 * tmp2 = (z1^3*y2 - z2^3*y1)*(z2^2*x1*(z1^2*x2 - z2^2*x1)^2 - x_out)
1056 * y_out = (z1^3*y2 - z2^3*y1)*(z2^2*x1*(z1^2*x2 - z2^2*x1)^2 - x_out) -
1057 * z2^3*y1*(z1^2*x2 - z2^2*x1)^3
1072 copy_conditional(x_out, x1, z2_is_zero);