Naive evaluation can be faster than semi-naive

[yihozhang]

$ time ~/egglog-main/target/release/egglog --naive tests/paged_llama.egg
[WARN ] In 2:1-32 of tests/paged_llama.egg: (let t0 (Input 0 "input" (Int)))
    Global `t0` should start with `$`. Enable `--strict-mode` to turn this warning into an error. Suppressing additional warnings of this type.

real    0m2.096s
user    0m2.081s
sys     0m0.015s
$ time ~/egglog-main/target/release/egglog tests/paged_llama.egg
[WARN ] In 2:1-32 of tests/paged_llama.egg: (let t0 (Input 0 "input" (Int)))
    Global `t0` should start with `$`. Enable `--strict-mode` to turn this warning into an error. Suppressing additional warnings of this type.

real    0m3.298s
user    0m3.279s
sys     0m0.020s
$ time ~/egglog-main/target/release/egglog --no-decomp tests/llama.egg 
[WARN ] In 2:1-32 of tests/llama.egg: (let t0 (Input 0 "input" (Int)))
    Global `t0` should start with `$`. Enable `--strict-mode` to turn this warning into an error. Suppressing additional warnings of this type.

real    0m0.417s
user    0m0.403s
sys     0m0.014s
$ time ~/egglog-main/target/release/egglog --naive --no-decomp tests/llama.egg 
[WARN ] In 2:1-32 of tests/llama.egg: (let t0 (Input 0 "input" (Int)))
    Global `t0` should start with `$`. Enable `--strict-mode` to turn this warning into an error. Suppressing additional warnings of this type.

real    0m0.405s
user    0m0.389s
sys     0m0.017s

[coderabbitai]

🔗 Related PRs

#824 - Add eggcc 2mm test file [merged]

---

📝 Issue Planner

_{Check the box below or use the @coderabbitai plan command to generate an implementation plan and prompts that you can use with your favorite coding assistant.}

• Create Plan

---

🧪 Issue enrichment is currently in open beta.

You can configure auto-planning by selecting labels in the issue_enrichment configuration.

To disable automatic issue enrichment, add the following to your .coderabbit.yaml:

issue_enrichment:
  auto_enrich:
    enabled: false

💬 Have feedback or questions? Drop into our discord!