Lines Matching refs:y1
754 const felem y1, const felem z1, const int mixed,
769 /* ftmp4 = z2^3*y1 */
770 felem_mul(tmp2, ftmp4, y1);
779 /* ftmp4 = z2^3*y1 */
780 felem_assign(ftmp4, y1);
798 /* ftmp3 = z1^3*y2 - z2^3*y1 */
820 point_double(x3, y3, z3, x1, y1, z1);
850 /* tmp = z2^3*y1*(z1^2*x2 - z2^2*x1)^3 */
854 /* tmp2 = (z1^3*y2 - z2^3*y1)^2 */
858 /* tmp2 = (z1^3*y2 - z2^3*y1)^2 - (z1^2*x2 - z2^2*x1)^3 */
867 /* x_out = (z1^3*y2 - z2^3*y1)^2 - (z1^2*x2 - z2^2*x1)^3 -
877 /* tmp2 = (z1^3*y2 - z2^3*y1)*(z2^2*x1*(z1^2*x2 - z2^2*x1)^2 - x_out) */
881 /* y_out = (z1^3*y2 - z2^3*y1)*(z2^2*x1*(z1^2*x2 - z2^2*x1)^2 - x_out) -
882 z2^3*y1*(z1^2*x2 - z2^2*x1)^3 */
894 copy_conditional(y_out, y1, z2_is_zero);
