solve p = 1 - e^-(x^2 / (2 k)) over the reals