Date:Thursday, February 27th, 2020
Commit:17a4275c on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020058
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

prune58.1s (41.0%)

Filtered
24316 candidates to 13591 candidates (55.9%)

sample31.3s (22.1%)

Algorithm
73×intervals
Results
9.2s294467×body80valid
4.7s13656×body1280valid
2.6s3920×body2560valid
2.0s9334×body640valid
1.9s17013×body160valid
1.4s100579×pre80true
1.0s2192×body10240exit
718.0ms6885×body320valid
527.0ms19084×body80nan
113.0ms279×body5120valid
3.0ms100×pre80false

series25.4s (17.9%)

Calls

281 calls:

1.2s
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
476.0ms
(fma x (* (- (* (* (* (* 11.0 x) x) y) y) (+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))) x) (+ (* 333.75 (pow y 6.0)) (fma (pow y 8.0) 5.5 (/ x (* 2.0 y)))))
439.0ms
(* 100.0 (/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n)))
416.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))
412.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))

simplify11.9s (8.4%)

Algorithm
172×egg-herbie

rewrite9.5s (6.7%)

Algorithm
102×rewrite-expression-head
Calls

281 calls:

332.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
325.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
300.0ms
(* 100.0 (/ (/ (- (pow (+ 1.0 (/ i n)) n) 1.0) i) (/ 1 n)))
294.0ms
(+ (+ (+ (+ e d) c) b) a)
281.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
Rules
37619×times-frac
25088×*-un-lft-identity
22114×add-sqr-sqrt
18777×add-cube-cbrt
8307×prod-diff
2006×div-inv
1953×distribute-lft-out
1781×add-exp-log
1515×difference-of-squares
1444×unpow-prod-down
1224×distribute-lft-out--
1189×add-cbrt-cube
1136×distribute-rgt-in distribute-lft-in
1117×associate-*r*
1011×associate-+r+
939×associate-/r/
643×associate-/r*
613×div-exp
576×pow1
566×sqr-pow
547×add-log-exp
544×prod-exp
541×flip-+ flip3-+
478×cube-prod
455×sqrt-prod
391×associate-*l*
375×associate-/l*
354×fma-neg
319×cbrt-undiv
296×cbrt-unprod
281×log1p-expm1-u expm1-log1p-u
253×distribute-rgt-neg-in
225×distribute-lft-neg-in
169×flip-- flip3--
164×1-exp
157×unpow3 cube-mult
153×frac-times
136×associate-*r/
133×unswap-sqr
123×pow-prod-down
105×cbrt-prod
104×frac-sub
93×associate-*l/
91×rec-exp
85×sub-neg
82×fma-def
76×exp-neg
75×neg-mul-1
74×sum-log diff-log
70×neg-sub0
65×clear-num *-commutative swap-sqr frac-2neg
63×associate-/l/
57×exp-diff
49×sqrt-div
37×fma-udef
28×log-prod
27×pow1/3
23×un-div-inv +-commutative div-sub
22×pow1/2 cbrt-div sqrt-pow1
17×pow-prod-up
15×pow-sqr
14×rem-sqrt-square pow-to-exp pow-exp
13×frac-add pow-flip
12×associate-+l+
11×pow2 pow-plus neg-log
9×unpow2
8×associate--l- distribute-frac-neg log-div
7×inv-pow log-pow
6×pow-unpow associate--r+
5×associate-+r- distribute-lft-neg-out
4×rem-log-exp
3×unsub-neg associate--l+
2×cube-div hypot-udef hypot-def associate-+l- pow-pow
1×sqrt-unprod rem-square-sqrt distribute-rgt-out associate--r- rem-cbrt-cube

regimes3.0s (2.1%)

Accuracy

Total 39.4b remaining (16.4%)

Threshold costs 2.6b (1.1%)

10.8b51.4%Compound Interest
8.1b33.8%Complex division, imag part
7.8b32.2%Complex division, real part
4.5b81.6%The quadratic formula (r1)
4.3b85.1%The quadratic formula (r2)

localize1.3s (0.9%)

bsearch1.1s (0.8%)

end1.0ms (0.0%)