Let $A$ be a commutative noetherian domain of characteristic zero, $T$ an indeterminate, $h \in A[T]$, $B= A[T]/(h)$ and assume $B$ is also a domain.

When $B$ is (formally) smooth over $A$?; namely, what should we additionally assume on $h, A, B, A \subseteq B$ in order to get a smooth $A \to B$?

Of course, a legitimate answer is: $A \subseteq B$ is flat and $fd_{B \otimes_A B}(B) < \infty$ (according to Corollary 2), but I expect a more specific answer involving $h$.

This question appears as a question in a comment here.