pub fn g06_x1() -> f64
g06’s minimum’s second coordinate, x₁* = 5 − √(100 − (x₀* − 5)²).
x₁* = 5 − √(100 − (x₀* − 5)²)