Geometrically regular ring

In algebraic geometry, a geometrically regular ring is a Noetherian ring over a field that remains a regular ring after any finite extension of the base field. Geometrically regular schemes are defined in a similar way. In older terminology, points with regular local rings were called simple points, and points with geometrically regular local rings were called absolutely simple points. Over fields that are of characteristic 0, or algebraically closed, or more generally perfect, geometrically regular rings are the same as regular rings. Geometric regularity originated when Claude Chevalley and André Weil pointed out to that, over non-perfect fields, the Jacobian criterion for a simple point of an algebraic variety is not equivalent to the condition that the local ring is regular.
A Noetherian local ring containing a field "k" is geometrically regular over "k" if and only if it is formally smooth over "k".
Examples.
 gave the following two examples of local rings that are regular but not geometrically regular. 