One can have obvious but repetitive optimizations with symbolic programming [1].

[1] https://arxiv.org/abs/1012.1802

Strange that AlphaEvolve authors do not compare their work to what is achievable by equality saturation. An implementation of equality saturation can take interesting integrals with very simple rules [2].

[2] https://github.com/alt-romes/hegg/blob/master/test/Sym.hs#L3...