Symbol: point_add_and_double