ec_field_mul
if (!ec_field_mul(group, p->X, tmp, p->X, ctx))
if (!ec_field_mul(group, tmp, tmp, lambda, ctx))
if (!ec_field_mul(group, p->Y, tmp, p->Y, ctx))
if (!ec_field_mul(group, Z6, Z4, tmp, ctx))
if (!ec_field_mul(group, rh, rh, point->X, ctx))
if (!ec_field_mul(group, tmp, Z4, group->a, ctx))
if (!ec_field_mul(group, rh, rh, point->X, ctx))
if (!ec_field_mul(group, tmp, group->b, Z6, ctx))
if (!ec_field_mul(group, rh, rh, point->X, ctx))
if (!ec_field_mul(group, bxaz2, b->X, az, ctx))
if (!ec_field_mul(group, az, az, a->Z, ctx))
if (!ec_field_mul(group, byaz3, b->Y, az, ctx))
if (!ec_field_mul(group, axbz2, a->X, bz, ctx))
if (!ec_field_mul(group, bxaz2, b->X, az, ctx))
if (!ec_field_mul(group, bz, bz, b->Z, ctx))
if (!ec_field_mul(group, aybz3, a->Y, bz, ctx))
if (!ec_field_mul(group, az, az, a->Z, ctx))
if (!ec_field_mul(group, byaz3, b->Y, az, ctx))
if (!ec_field_mul(group, x, point->X, Z_2, ctx))
if (!ec_field_mul(group, Z_3, Z_2, Z_1, ctx))
if (!ec_field_mul(group, y, point->Y, Z_3, ctx))
if (!ec_field_mul(group, prod_Z[i],
if (!ec_field_mul(group, tmp_Z, prod_Z[i - 1], tmp, ctx))
if (!ec_field_mul(group, tmp, tmp, points[i]->Z, ctx))
if (!ec_field_mul(group, p->X, p->X, tmp, ctx))
if (!ec_field_mul(group, tmp, tmp, p->Z, ctx))
if (!ec_field_mul(group, p->Y, p->Y, tmp, ctx))
if (!ec_field_mul(group, n1, a->X, n0, ctx))
if (!ec_field_mul(group, n0, n0, b->Z, ctx))
if (!ec_field_mul(group, n2, a->Y, n0, ctx))
if (!ec_field_mul(group, n3, b->X, n0, ctx))
if (!ec_field_mul(group, n0, n0, a->Z, ctx))
if (!ec_field_mul(group, n4, b->Y, n0, ctx))
if (!ec_field_mul(group, n0, a->Z, b->Z, ctx))
if (!ec_field_mul(group, r->Z, n0, n5, ctx))
if (!ec_field_mul(group, n3, n1, n4, ctx))
if (!ec_field_mul(group, n0, n0, n6, ctx))
if (!ec_field_mul(group, n5, n4, n5, ctx))
if (!ec_field_mul(group, n1, n2, n5, ctx))
if (!ec_field_mul(group, n1, n0, n2, ctx))
if (!ec_field_mul(group, n1, n1, group->a, ctx))
if (!ec_field_mul(group, n0, a->Y, a->Z, ctx))
if (!ec_field_mul(group, n2, a->X, n3, ctx))
if (!ec_field_mul(group, n0, n1, n0, ctx))
if (!ec_field_mul(group, p->Z, lambda, p->Z, ctx))