844   felem z1z1, z1z1z1, s2, u2, h, i, j, r, rr, v, tmp;  in point_add_mixed()  local
846   felem_square(z1z1, z1);  in point_add_mixed()
849   felem_mul(u2, x2, z1z1);  in point_add_mixed()
850   felem_mul(z1z1z1, z1, z1z1);  in point_add_mixed()
882   felem z1z1, z1z1z1, z2z2, z2z2z2, s1, s2, u1, u2, h, i, j, r, rr, v, tmp;  in point_add()  local
884   felem_square(z1z1, z1);  in point_add()
890   felem_diff(tmp, tmp, z1z1);  in point_add()
896   felem_mul(u2, x2, z1z1);  in point_add()
897   felem_mul(z1z1z1, z1, z1z1);  in point_add()
929   felem z1z1, z1z1z1, z2z2, z2z2z2, s1, s2, u1, u2, h, i, j, r, rr, v, tmp;  in point_add_or_double_vartime()  local
932   felem_square(z1z1, z1);  in point_add_or_double_vartime()
938   felem_diff(tmp, tmp, z1z1);  in point_add_or_double_vartime()
944   felem_mul(u2, x2, z1z1);  in point_add_or_double_vartime()
945   felem_mul(z1z1z1, z1, z1z1);  in point_add_or_double_vartime()