On Faster Marginalization with Squared Circuits via Orthonormalization