- w = F_SUB(f, p, a->x, u); /* %$w = x_0 - u$% */
- r = F_SUB(f, MP_NEW, a->y, s); /* %$r = y_0 - s$% */
+ q = F_SQR(f, MP_NEW, b->z); /* %$z_1^2$% */
+ uu = F_MUL(f, MP_NEW, q, a->x); /* %$uu = x_0 z_1^2$%*/
+ p = F_MUL(f, p, q, a->y); /* %$y_0 z_1^2$% */
+ ss = F_MUL(f, q, p, b->z); /* %$ss = y_0 z_1^3$% */
+
+ w = F_SUB(f, p, uu, u); /* %$w = uu - u$% */
+ r = F_SUB(f, MP_NEW, ss, s); /* %$r = ss - s$% */