Assume M is a compact oriented manifold of dimension at least 8. Moreover, let M be equipped with an equivariantly formal semi-free circle action, which has finite, nonempty fixed point set. We prove M has a perfect invariant MorseSmale function. The major ingredient in the proof is a new cancellation theorem for the invariant Morse theory.