docs: 2x3 SimpliPy vs SymPy figure (symbolic baseline) + docs refresh#42
Merged
Conversation
Performance section: new 2x3 ECDF figure (time / ratio across mined rulesets, safe vs aggressive, and search budget) against a symbolic-constant SymPy baseline scored by raw prefix length, replacing the concrete-substitution headline. README.md and docs/index.md captions rewritten to match. Docs refresh: runnable examples switched to the published 4-3 engine; mining time estimate in rules.md corrected to the measured ~21M length-5 universe; algorithm.md version anchor and a Mode/LOSSY cross-reference in rules.md. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01EhLKRZHNh5nNjLZhZqym9w
The SimpliPy-vs-SymPy caption now explains the axes (rows, columns) and the measurement protocol and stops there; the ECDFs themselves report the outcome. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01EhLKRZHNh5nNjLZhZqym9w
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Refreshes the public docs after the 0.9.1 release (docs-only; no code, no version bump).
New performance figure (
assets/images/simplipy_vs_sympy.svg): a 2x3 ECDF panel comparing SimpliPy 0.9.1 against SymPy on 64k Lample-Charton expressions from the Flash-ANSR v23.0 prior.<constant>as a free symbol and simplified symbolically (raw prefix length), replacing the earlier concrete-constant substitution. It is ~1000x slower, times out on 12.6% of expressions at 1 s, and its canonical form is longer in prefix tokens on a majority of inputs.Docs refresh
docs/index.mdperformance sections rewritten around the new figure.dev_7-3to the published4-3engine.docs/rules.mdmining time estimate corrected to the measured ~21M length-5 universe; added aMode/LOSSY cross-reference.docs/algorithm.mdversion anchor updated.🤖 Generated with Claude Code
https://claude.ai/code/session_01EhLKRZHNh5nNjLZhZqym9w