let A, S = Point();

let a, s = to_complex((A, S));
let A' = to_point(s + s - a);