Appendix

Note that Neat-6, Neat-7, and Neat-8 are not fully recoverable given the function set prescribed by the benchmark. To simplify notation, libraries are defined relative to a "base" library These results are post-hoc, as Landajuela et al. [2021a] was performed concurrently.