Date:Wednesday, March 11th, 2020
Commit:79312c80 on better-rr
Hostname:warfa with Racket 7.5
Seed:2020071
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:better-rrreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics

Details

sample2.6s (76.1%)

Algorithm
6×intervals
Results
641.0ms7639×body1280valid
401.0ms2910×body2560valid
253.0ms4319×body640valid
134.0ms10076×body80valid
86.0ms1773×body320valid
23.0ms818×body160valid

simplify437.0ms (12.6%)

Algorithm
11×egg-herbie

series248.0ms (7.2%)

Calls

5 calls:

81.0ms
(- (fma x x (fma 2.0 x 1.0)) 1.0)
74.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
55.0ms
(fma x 2.0 (pow x 2))
22.0ms
(fma x x (fma 2.0 x 1.0))
16.0ms
(* (+ x 1.0) (+ x 1.0))

prune85.0ms (2.5%)

Filtered
49 candidates to 28 candidates (57.1%)

localize26.0ms (0.7%)

rewrite20.0ms (0.6%)

Algorithm
5×rewrite-expression-head
Calls

5 calls:

8.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
4.0ms
(* (+ x 1.0) (+ x 1.0))
2.0ms
(- (fma x x (fma 2.0 x 1.0)) 1.0)
1.0ms
(fma x 2.0 (pow x 2))
1.0ms
(fma x x (fma 2.0 x 1.0))
Rules
6×flip-+ flip3-+
5×associate--l+
4×distribute-rgt-in frac-times distribute-lft-in +-commutative
3×fma-udef
2×flip-- fma-neg flip3-- associate-*r/ sub-neg *-commutative associate-*l/
1×pow2

regimes12.0ms (0.4%)

Accuracy

Total 0.0b remaining (22.9%)

Threshold costs 0.0b (22.9%)

0.0b0%Expanding a square

bsearch0.0ms (0.0%)

end0.0ms (0.0%)