add point_satisfies_equation