[math-fun] Hyperbolic paraboloid