pub fn add_incomplete(&self, other: SepticCurve<F>) -> Self {
        let slope = (other.y - self.y) / (other.x - self.x);
        let result_x = slope.square() - self.x - other.x;
        let result_y = slope * (self.x - result_x) - self.y;
        Self { x: result_x, y: result_y }
    }
Adds two elliptic curve points, assuming that the addition doesn't lead to the exception
cases of weierstrass addition.
crates/stark/src/septic_curve.rs