nir/algebraic: Optimize away an fsat of a b2f