Global, non-convex, smooth and differentiable optimisation?