s == 0.5 * (s (a / s))