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:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:better-rrreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample2.6s (70.1%)

Algorithm
6×intervals
Results
637.0ms7639×body1280valid
365.0ms2910×body2560valid
251.0ms4319×body640valid
161.0ms10076×body80valid
72.0ms1773×body320valid
21.0ms818×body160valid

simplify515.0ms (13.9%)

Algorithm
12×egg-herbie

series387.0ms (10.4%)

Calls

6 calls:

120.0ms
(/ (* x (- (* 2.0 2.0) (* x x))) (- 2.0 x))
77.0ms
(* x (- (* 2.0 2.0) (* x x)))
75.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
54.0ms
(+ (pow x 2) (* x 2.0))
43.0ms
(* x (+ 2.0 x))

prune128.0ms (3.5%)

Filtered
79 candidates to 45 candidates (57.0%)

rewrite39.0ms (1.1%)

Algorithm
6×rewrite-expression-head
Calls

6 calls:

9.0ms
(- (* (+ x 1.0) (+ x 1.0)) 1.0)
8.0ms
(/ (* x (- (* 2.0 2.0) (* x x))) (- 2.0 x))
6.0ms
(* x (- (* 2.0 2.0) (* x x)))
4.0ms
(* (+ x 1.0) (+ x 1.0))
3.0ms
(+ (pow x 2) (* x 2.0))
Rules
13×*-commutative
8×associate-*r* distribute-rgt-in associate-*r/ flip3-+ difference-of-squares flip-+ distribute-lft-in
7×+-commutative
6×associate-/l*
4×flip-- flip3-- associate--l+ frac-times
3×sub-neg
2×associate-/r/ associate-/l/ associate-*l/ unpow2
1×distribute-lft-out clear-num div-inv distribute-rgt-out pow2 frac-2neg

localize24.0ms (0.6%)

regimes15.0ms (0.4%)

Accuracy

Total 0.0b remaining (33.7%)

Threshold costs 0.0b (33.7%)

0.0b0%Expanding a square

bsearch0.0ms (0.0%)

end0.0ms (0.0%)