rectification; Abhyankar-Sathaye embedding problem; variable \(C^\infty\) functions; sums of squares; basic closed semianalytic sets; positive semidefinite polynomials; Hilbert's 17th problem; formal power series; Weierstrass polynomials 