Add more data collection (variables, depth, grouping)
compare-reduce
branch-reduce-rules
erf-rules))
+
+(define all-rules-by-category
+ (list
+ (cons "commutativity" commutativity)
+ (cons "associativity" associativity)
+ (cons "identity" identity)
+ (cons "counting" counting)
+ (cons "distributivity" distributivity)
+ (cons "distributivity-fp-safe" distributivity-fp-safe)
+ (cons "difference-of-squares-canonicalize" difference-of-squares-canonicalize)
+ (cons "difference-of-squares-flip" difference-of-squares-flip)
+ (cons "id-reduce" id-reduce)
+ (cons "id-reduce-fp-safe-nan" id-reduce-fp-safe-nan)
+ (cons "id-reduce-fp-safe" id-reduce-fp-safe)
+ (cons "nan-transform-fp-safe" nan-transform-fp-safe)
+ (cons "id-transform" id-transform)
+ (cons "id-transform-fp-safe" id-transform-fp-safe)
+ (cons "difference-of-cubes" difference-of-cubes)
+ (cons "fractions-distribute" fractions-distribute)
+ (cons "fractions-transform" fractions-transform)
+ (cons "squares-reduce" squares-reduce)
+ (cons "squares-reduce-fp-sound" squares-reduce-fp-sound)
+ (cons "squares-transform" squares-transform)
+ (cons "cubes-reduce" cubes-reduce)
+ (cons "cubes-distribute" cubes-distribute)
+ (cons "cubes-transform" cubes-transform)
+ (cons "cubes-canonicalize" cubes-canonicalize)
+ (cons "exp-expand" exp-expand)
+ (cons "exp-reduce" exp-reduce)
+ (cons "exp-constants" exp-constants)
+ (cons "exp-distribute" exp-distribute)
+ (cons "exp-factor" exp-factor)
+ (cons "pow-reduce" pow-reduce)
+ (cons "pow-reduce-fp-safe" pow-reduce-fp-safe)
+ (cons "pow-reduce-fp-safe-nan" pow-reduce-fp-safe-nan)
+ (cons "pow-expand-fp-safe" pow-expand-fp-safe)
+ (cons "pow-canonicalize" pow-canonicalize)
+ (cons "pow-transform" pow-transform)
+ (cons "pow-transform-fp-safe-nan" pow-transform-fp-safe-nan)
+ (cons "pow-transform-fp-safe" pow-transform-fp-safe)
+ (cons "log-distribute" log-distribute)
+ (cons "log-distribute-fp-safe" log-distribute-fp-safe)
+ (cons "log-factor" log-factor)
+ (cons "trig-reduce" trig-reduce)
+ (cons "trig-reduce-fp-sound" trig-reduce-fp-sound)
+ (cons "trig-reduce-fp-sound-nan" trig-reduce-fp-sound-nan)
+ (cons "trig-expand" trig-expand)
+ (cons "trig-expand-fp-safe" trig-expand-fp-safe)
+ (cons "trig-inverses" trig-inverses)
+ (cons "trig-inverses-simplified" trig-inverses-simplified)
+ (cons "atrig-expand" atrig-expand)
+ (cons "htrig-reduce" htrig-reduce)
+ (cons "htrig-expand" htrig-expand)
+ (cons "htrig-expand-fp-safe" htrig-expand-fp-safe)
+ (cons "ahtrig-expand" ahtrig-expand)
+ (cons "special-numerical-reduce" special-numerical-reduce)
+ (cons "special-numerical-expand" special-numerical-expand)
+ (cons "numerics-papers" numerics-papers)
+ (cons "bool-reduce" bool-reduce)
+ (cons "compare-reduce" compare-reduce)
+ (cons "branch-reduce-rules" branch-reduce-rules)
+ (cons "erf-rules" erf-rules)))
