A morphism of rings $R\to S$ is called essentially smooth if it is formally smooth and essentially finitely presented, where essentially finitely presented means that $S$ is the localization of some finitely presented $R$-algebra $T$ at some multiplicative system.
Can we factor an essentially smooth map into a smooth map and a localization?