``a`` is transformed to  ``sqrt(a**2)``, which differs from ``a`` at most by a sign.