Added algebraic simplifications `0.0 * x == 0.0` and `0.0 + x == x` to simplification pass
Added algebraic simplifications `0.0 * x == 0.0` and `0.0 + x == x` to simplification pass

google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang