Date:Tuesday, March 31st, 2020
Commit:2cac45bc on simpler-alts
Hostname:warfa with Racket 7.5
Seed:2020091
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics

Details

sample2.6s (73.6%)

Algorithm
6×intervals
Results
622.0ms7598×body1280valid
372.0ms2888×body2560valid
251.0ms4330×body640valid
140.0ms10029×body80valid
74.0ms1828×body320valid
35.0ms807×body160valid

simplify369.0ms (10.4%)

Algorithm
11×egg-herbie

series255.0ms (7.2%)

Calls

6 calls:

75.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
54.0ms
(- (+ (* x (+ x 1.0)) (* 1.0 (+ x 1.0))) 1.0)
51.0ms
(fma x 2.0 (pow x 2))
41.0ms
(* x (+ x 1.0))
18.0ms
(+ (* x (+ x 1.0)) (* 1.0 (+ x 1.0)))

prune233.0ms (6.6%)

Filtered
177 candidates to 113 candidates (63.8%)

rewrite50.0ms (1.4%)

Algorithm
5×rewrite-expression-head
Calls

6 calls:

11.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
11.0ms
(- (+ (* x (+ x 1.0)) (* 1.0 (+ x 1.0))) 1.0)
8.0ms
(* (+ x 1.0) (+ x 1.0))
7.0ms
(+ (* x (+ x 1.0)) (* 1.0 (+ x 1.0)))
6.0ms
(* x (+ x 1.0))
Rules
39×*-un-lft-identity
29×add-sqr-sqrt
21×add-cube-cbrt
15×pow1 add-log-exp prod-diff
12×associate-*r/ flip3-+ flip-+
10×add-exp-log add-cbrt-cube
8×associate-*r*
7×distribute-lft-out associate-*l*
6×log1p-expm1-u distribute-rgt-out swap-sqr expm1-log1p-u
5×distribute-rgt-in fma-neg distribute-lft-in
4×frac-times frac-add
3×diff-log associate--l+ difference-of-squares
2×flip-- pow-prod-down unswap-sqr *-commutative associate-*l/ cbrt-unprod associate-+l+ sum-log flip3-- prod-exp sub-neg associate-+r+
1×fma-def pow-sqr +-commutative pow-prod-up pow2 fma-udef pow-plus distribute-lft-out--

localize20.0ms (0.6%)

regimes11.0ms (0.3%)

Accuracy

Total 0.0b remaining (62.3%)

Threshold costs 0.0b (62.3%)

0.0b0%Expanding a square

bsearch0.0ms (0.0%)

end0.0ms (0.0%)