По одной координате складывать не получится, ибо каждому "x" соответствует две точки, то есть два "y" и тогда будет неоднозначность.
Проблема неоднозначности давно решена - достаточно одного бита, тем более, байта, чтобы определить знак "у". Но складывать по одной координате нельзя не из-за неоднозначности, а из-за отсутствия самой координаты "y".
Также подозреваю, что один и тот-же "y" может быть у трех точек из группы (подтверждения этому не имею).
Ни одна горизонтальная прямая не пересекает кривую в трёх точках. Это легко доказывается исходя из формулы биткоина y^2 = x^3 + 7.
Для сложения точек сама формула уравнения не нужна, достаточно только координат и модуля.
А обе координаты как получить, как не с помощью формулы?