gitextract_znglj2cb/

├── .dockerignore
├── .fmt.rkt
├── .github/
│   └── workflows/
│       ├── distribute.yml
│       ├── plugins.yml
│       ├── release.yml
│       ├── resyntax-autofixer.yml
│       ├── tests.yml
│       └── unit-test.yml
├── .gitignore
├── AGENTS.md
├── Dockerfile
├── LICENSE.md
├── Makefile
├── README.md
├── bench/
│   ├── .gitignore
│   ├── arrays/
│   │   ├── basic.fpcore
│   │   ├── ops.fpcore
│   │   └── outputs.fpcore
│   ├── demo.fpcore
│   ├── graphics/
│   │   ├── fidget/
│   │   │   ├── bear.fpcore
│   │   │   ├── colonnade.fpcore
│   │   │   ├── gyroid-sphere.fpcore
│   │   │   ├── hi.fpcore
│   │   │   ├── prospero.fpcore
│   │   │   └── quarter.fpcore
│   │   ├── lod.fpcore
│   │   ├── log-transform.fpcore
│   │   └── pbrt.fpcore
│   ├── hamming/
│   │   ├── machine-decide.fpcore
│   │   ├── overflow-underflow.fpcore
│   │   ├── quadratic.fpcore
│   │   ├── rearrangement.fpcore
│   │   ├── series.fpcore
│   │   └── trigonometry.fpcore
│   ├── haskell.fpcore
│   ├── libraries/
│   │   ├── fast-math.fpcore
│   │   ├── jmatjs.fpcore
│   │   ├── mathjs/
│   │   │   ├── arithmetic.fpcore
│   │   │   ├── complex.fpcore
│   │   │   ├── probability.fpcore
│   │   │   └── trigonometry.fpcore
│   │   ├── octave/
│   │   │   ├── CollocWt.fpcore
│   │   │   └── randgamma.fpcore
│   │   └── rust.fpcore
│   ├── mathematics/
│   │   ├── arvind.fpcore
│   │   ├── beta-distribution.fpcore
│   │   ├── dirichlet-mixture-model.fpcore
│   │   ├── excel.fpcore
│   │   ├── gui.fpcore
│   │   ├── hyperbolic-functions.fpcore
│   │   ├── latlong.fpcore
│   │   ├── logistic-regression.fpcore
│   │   ├── sarnoff.fpcore
│   │   ├── statistics.fpcore
│   │   ├── symmetry.fpcore
│   │   └── xkcd-expr.fpcore
│   ├── numerics/
│   │   ├── conte.fpcore
│   │   ├── every-cs.fpcore
│   │   ├── fma.fpcore
│   │   ├── great-debate.fpcore
│   │   ├── hamming-misc.fpcore
│   │   ├── kahan.fpcore
│   │   ├── libm.fpcore
│   │   ├── martel.fpcore
│   │   ├── polynomial-cancellation.fpcore
│   │   ├── rosa.fpcore
│   │   └── rump.fpcore
│   ├── physics/
│   │   ├── ballistics.fpcore
│   │   ├── dimer-escape.fpcore
│   │   ├── gated-magnetic-field.fpcore
│   │   ├── gravitation.fpcore
│   │   ├── kalman.fpcore
│   │   ├── multiphoton-states.fpcore
│   │   ├── quantum-walk.fpcore
│   │   ├── sidey.fpcore
│   │   ├── superfluidity-breakdown.fpcore
│   │   ├── tea-flows.fpcore
│   │   ├── tea-whistle.fpcore
│   │   └── universal-linear-optics.fpcore
│   ├── proj/
│   │   ├── krovak.fpcore
│   │   ├── omerc.fpcore
│   │   ├── som.fpcore
│   │   ├── somerc.fpcore
│   │   └── tmerc.fpcore
│   ├── regression.fpcore
│   └── tutorial.fpcore
├── egg-herbie/
│   ├── .gitignore
│   ├── Cargo.toml
│   ├── LICENSE
│   ├── README.md
│   ├── info.rkt
│   ├── main.rkt
│   └── src/
│       ├── lib.rs
│       └── math.rs
├── infra/
│   ├── .gitignore
│   ├── analyze-rules.rkt
│   ├── bench/
│   │   ├── posit-pherbie.fpcore
│   │   └── posits.fpcore
│   ├── ci.rkt
│   ├── convert-demo-json.sh
│   ├── convert-demo.rkt
│   ├── convert-json.rkt
│   ├── coverage.rkt
│   ├── diagrams/
│   │   ├── .gitignore
│   │   ├── 1.5/
│   │   │   └── herbie-system.drawio
│   │   ├── 1.6/
│   │   │   └── herbie-system.drawio
│   │   ├── 1.6-changes/
│   │   │   └── herbie-system.drawio
│   │   ├── 2.1/
│   │   │   └── herbie-system.drawio
│   │   └── 2.2/
│   │       └── system.key
│   ├── diff.rkt
│   ├── fidget2core.py
│   ├── herbie-demo.service
│   ├── merge.rkt
│   ├── nightly.sh
│   ├── softposit.rkt
│   ├── sort-fpcore.rkt
│   ├── survey/
│   │   ├── .gitignore
│   │   ├── README.md
│   │   ├── seed-variance.sh
│   │   └── src/
│   │       ├── plot-results.sh
│   │       ├── seed-bar-chart.py
│   │       ├── seed-violin-plot.py
│   │       ├── test-versus-plot.py
│   │       └── test-violin-plot.py
│   ├── survey.rkt
│   └── test-api.mjs
├── src/
│   ├── api/
│   │   ├── datafile.rkt
│   │   ├── demo.rkt
│   │   ├── run.rkt
│   │   ├── sandbox.rkt
│   │   ├── server.rkt
│   │   └── shell.rkt
│   ├── config.rkt
│   ├── core/
│   │   ├── alt-table.rkt
│   │   ├── alternative.rkt
│   │   ├── arrays.rkt
│   │   ├── batch-reduce.rkt
│   │   ├── bsearch.rkt
│   │   ├── compiler.rkt
│   │   ├── derivations.rkt
│   │   ├── egg-herbie.rkt
│   │   ├── egglog-herbie-tests.rkt
│   │   ├── egglog-herbie.rkt
│   │   ├── egglog-subprocess.rkt
│   │   ├── explain.rkt
│   │   ├── localize.rkt
│   │   ├── mainloop.rkt
│   │   ├── patch.rkt
│   │   ├── points.rkt
│   │   ├── preprocess.rkt
│   │   ├── programs.rkt
│   │   ├── prove-rules.rkt
│   │   ├── regimes.rkt
│   │   ├── rules.rkt
│   │   ├── sampling.rkt
│   │   ├── searchreals.rkt
│   │   ├── taylor.rkt
│   │   └── test-rules.rkt
│   ├── info.rkt
│   ├── main.rkt
│   ├── platform.rkt
│   ├── platforms/
│   │   ├── c-windows.rkt
│   │   ├── c.rkt
│   │   ├── herbie10.rkt
│   │   ├── herbie20.rkt
│   │   ├── julia.rkt
│   │   ├── math.rkt
│   │   ├── python.rkt
│   │   ├── racket.rkt
│   │   ├── reflow.rkt
│   │   └── rival.rkt
│   ├── reports/
│   │   ├── common.rkt
│   │   ├── core2mathjs.rkt
│   │   ├── data.rkt
│   │   ├── history.rkt
│   │   ├── make-graph.rkt
│   │   ├── pages.rkt
│   │   ├── plot.rkt
│   │   ├── resources/
│   │   │   ├── 404.html
│   │   │   ├── demo.js
│   │   │   ├── main.css
│   │   │   ├── report-page.js
│   │   │   ├── report.css
│   │   │   ├── report.html
│   │   │   └── report.js
│   │   ├── timeline.rkt
│   │   └── traceback.rkt
│   ├── syntax/
│   │   ├── batch.rkt
│   │   ├── float.rkt
│   │   ├── generators.rkt
│   │   ├── load-platform.rkt
│   │   ├── matcher.rkt
│   │   ├── platform-language.rkt
│   │   ├── platform.rkt
│   │   ├── read.rkt
│   │   ├── rival.rkt
│   │   ├── sugar.rkt
│   │   ├── syntax-check.rkt
│   │   ├── syntax.rkt
│   │   ├── test-syntax.rkt
│   │   ├── type-check.rkt
│   │   └── types.rkt
│   └── utils/
│       ├── common.rkt
│       ├── dvector.rkt
│       ├── errors.rkt
│       ├── multi-command-line.rkt
│       ├── pareto.rkt
│       ├── pretty-print.rkt
│       ├── profile.rkt
│       └── timeline.rkt
└── www/
    ├── aec.html
    ├── demo.js
    ├── doc/
    │   ├── 0.9/
    │   │   ├── docker.html
    │   │   ├── input.html
    │   │   ├── installing-herbgrind.html
    │   │   ├── installing-herbie.html
    │   │   ├── options.html
    │   │   ├── using-herbgrind.html
    │   │   └── using-herbie.html
    │   ├── 1.0/
    │   │   ├── docker.html
    │   │   ├── faq.html
    │   │   ├── input.html
    │   │   ├── installing-herbgrind.html
    │   │   ├── installing-herbie.html
    │   │   ├── options.html
    │   │   ├── release-notes.html
    │   │   ├── using-herbgrind.html
    │   │   └── using-herbie.html
    │   ├── 1.1/
    │   │   ├── compare.js
    │   │   ├── docker.html
    │   │   ├── faq.html
    │   │   ├── input.html
    │   │   ├── installing.html
    │   │   ├── options.html
    │   │   ├── release-notes.html
    │   │   ├── report.html
    │   │   ├── results-new.json
    │   │   ├── results-old.json
    │   │   ├── using-cli.html
    │   │   └── using-web.html
    │   ├── 1.2/
    │   │   ├── docker.html
    │   │   ├── faq.html
    │   │   ├── input.html
    │   │   ├── installing.html
    │   │   ├── options.html
    │   │   ├── release-notes.html
    │   │   ├── report.html
    │   │   ├── using-cli.html
    │   │   └── using-web.html
    │   ├── 1.3/
    │   │   ├── docker.html
    │   │   ├── faq.html
    │   │   ├── input.html
    │   │   ├── installing.html
    │   │   ├── options.html
    │   │   ├── plugins.html
    │   │   ├── release-notes.html
    │   │   ├── report.html
    │   │   ├── toc.js
    │   │   ├── tutorial.html
    │   │   ├── using-cli.html
    │   │   └── using-web.html
    │   ├── 1.4/
    │   │   ├── docker.html
    │   │   ├── faq.html
    │   │   ├── input.html
    │   │   ├── installing.html
    │   │   ├── options.html
    │   │   ├── plugins.html
    │   │   ├── release-notes.html
    │   │   ├── report.html
    │   │   ├── toc.js
    │   │   ├── tutorial.html
    │   │   ├── using-cli.html
    │   │   └── using-web.html
    │   ├── 1.5/
    │   │   ├── diagrams.html
    │   │   ├── docker.html
    │   │   ├── faq.html
    │   │   ├── input.html
    │   │   ├── installing.html
    │   │   ├── options.html
    │   │   ├── plugins.html
    │   │   ├── release-notes.html
    │   │   ├── report.html
    │   │   ├── toc.js
    │   │   ├── tutorial.html
    │   │   ├── using-cli.html
    │   │   └── using-web.html
    │   ├── 1.6/
    │   │   ├── diagrams.html
    │   │   ├── docker.html
    │   │   ├── faq.html
    │   │   ├── input.html
    │   │   ├── installing.html
    │   │   ├── options.html
    │   │   ├── plugins.html
    │   │   ├── release-notes.html
    │   │   ├── report.html
    │   │   ├── toc.js
    │   │   ├── tutorial.html
    │   │   ├── using-cli.html
    │   │   └── using-web.html
    │   ├── 2.0/
    │   │   ├── api-endpoints.html
    │   │   ├── diagrams.html
    │   │   ├── docker.html
    │   │   ├── error.html
    │   │   ├── faq.html
    │   │   ├── input.html
    │   │   ├── installing.html
    │   │   ├── options.html
    │   │   ├── plugins.html
    │   │   ├── release-notes.html
    │   │   ├── report.html
    │   │   ├── toc.js
    │   │   ├── tutorial.html
    │   │   ├── using-cli.html
    │   │   └── using-web.html
    │   ├── 2.1/
    │   │   ├── api-endpoints.html
    │   │   ├── diagrams.html
    │   │   ├── docker.html
    │   │   ├── error.html
    │   │   ├── faq.html
    │   │   ├── input.html
    │   │   ├── installing.html
    │   │   ├── options.html
    │   │   ├── plugins.html
    │   │   ├── release-notes.html
    │   │   ├── report.html
    │   │   ├── toc.js
    │   │   ├── tutorial.html
    │   │   ├── using-cli.html
    │   │   └── using-web.html
    │   ├── 2.2/
    │   │   ├── api-endpoints.html
    │   │   ├── diagrams.html
    │   │   ├── docker.html
    │   │   ├── error.html
    │   │   ├── faq.html
    │   │   ├── input.html
    │   │   ├── installing.html
    │   │   ├── options.html
    │   │   ├── platforms.html
    │   │   ├── plugins.html
    │   │   ├── release-notes.html
    │   │   ├── report.html
    │   │   ├── toc.js
    │   │   ├── tutorial.html
    │   │   ├── using-cli.html
    │   │   └── using-web.html
    │   └── 2.3/
    │       ├── api-endpoints.html
    │       ├── diagrams.html
    │       ├── docker.html
    │       ├── error.html
    │       ├── faq.html
    │       ├── input.html
    │       ├── installing.html
    │       ├── options.html
    │       ├── platforms.html
    │       ├── plugins.html
    │       ├── release-notes.html
    │       ├── report.html
    │       ├── toc.js
    │       ├── tutorial.html
    │       ├── using-cli.html
    │       └── using-web.html
    ├── doc.html
    ├── graph.js
    ├── index.html
    ├── main.css
    ├── papers.html
    ├── pldi15-slides.key
    └── results.json