Date:Saturday, February 29th, 2020
Commit:d0c22b93 on refactor-and-minor
Hostname:warfa with Racket 7.5
Seed:2020060
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

prune39.9s (31.4%)

Filtered
16684 candidates to 9190 candidates (55.1%)

sample31.7s (24.9%)

Algorithm
73×intervals
Results
9.5s294704×body80valid
4.8s13761×body1280valid
2.6s3880×body2560valid
1.8s9386×body640valid
1.8s16929×body160valid
1.4s100590×pre80true
1.0s2168×body10240exit
726.0ms6802×body320valid
555.0ms19557×body80nan
67.0ms229×body5120valid
3.0ms100×pre80false

series29.5s (23.2%)

Calls

271 calls:

1.2s
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
959.0ms
(fma (sqrt (pow x 4.0)) (sqrt (pow x 4.0)) (- (pow y 4.0)))
604.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))
603.0ms
(* (/ (+ (pow (+ 1.0 (/ i n)) (/ n 2)) (sqrt 1.0)) i) (* (- (pow (+ 1.0 (/ i n)) (/ n 2)) (sqrt 1.0)) n))
601.0ms
(* 100.0 (* (* (/ (+ (pow (+ 1.0 (/ i n)) (/ n 2)) (sqrt 1.0)) i) (fma i 0.5 (- (fma 1/2 (* (log 1.0) n) 1) (sqrt 1.0)))) n))

rewrite10.5s (8.3%)

Algorithm
101×rewrite-expression-head
Calls

271 calls:

632.0ms
(* (/ (+ (pow (+ 1.0 (/ i n)) (/ n 2)) (sqrt 1.0)) i) (* (- (pow (+ 1.0 (/ i n)) (/ n 2)) (sqrt 1.0)) n))
612.0ms
(* 100.0 (* (* (/ (+ (pow (+ 1.0 (/ i n)) (/ n 2)) (sqrt 1.0)) i) (fma i 0.5 (- (fma 1/2 (* (log 1.0) n) 1) (sqrt 1.0)))) n))
335.0ms
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
322.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
294.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
Rules
13296×times-frac
11719×*-un-lft-identity
10317×add-sqr-sqrt
8637×add-cube-cbrt
5860×prod-diff
1630×add-exp-log
1226×distribute-rgt-in distribute-lft-in
1220×add-cbrt-cube
1122×unpow-prod-down
1079×distribute-lft-out
871×div-inv
700×sqrt-prod
698×associate-*r*
628×difference-of-squares
551×pow1
531×add-log-exp
527×distribute-lft-out-- prod-exp
519×associate--r+
518×associate-/l*
486×associate-*l*
470×div-exp
378×sqr-pow
371×associate-/r/
354×cube-prod
340×associate-/r*
323×cbrt-unprod
310×cbrt-undiv
276×flip-+ flip3-+
271×log1p-expm1-u expm1-log1p-u
266×fma-neg
217×distribute-rgt-neg-in
200×exp-sum
195×associate-*r/
189×distribute-lft-neg-in
177×frac-times
174×flip3-- flip--
164×cbrt-prod
148×frac-sub
143×unswap-sqr
138×fma-udef
136×associate-+l+
119×associate-*l/
113×pow-prod-down
102×sum-log
100×distribute-neg-in
97×exp-neg
96×fma-def
90×unpow3 cube-mult
89×1-exp
85×neg-sub0
73×exp-diff
72×swap-sqr
71×sub-neg
70×associate-/l/
66×clear-num frac-2neg
63×*-commutative neg-mul-1
61×pow-unpow
55×unpow2
54×cbrt-div
52×diff-log
43×pow-exp
42×rec-exp
41×sqrt-div
33×pow-to-exp
27×un-div-inv
25×div-sub
23×+-commutative
22×rem-sqrt-square
21×log-prod
20×pow1/2 pow1/3 sqrt-pow1
19×associate-+r+
16×frac-add
15×cube-div
14×pow-flip
12×pow-prod-up
11×pow-sqr pow-plus
10×pow2 log-pow
8×distribute-frac-neg
7×associate--l- inv-pow pow-pow
6×neg-log log-div
4×rem-cube-cbrt hypot-def exp-prod sum-cubes rem-cbrt-cube associate--l+ rem-log-exp
3×associate-+l-
2×associate-+r- distribute-lft-neg-out distribute-rgt-neg-out
1×sqrt-undiv sub-div unsub-neg associate--r- distribute-rgt-out-- exp-to-pow

simplify10.3s (8.1%)

Algorithm
171×egg-herbie

regimes3.0s (2.4%)

Accuracy

Total 34.8b remaining (14.9%)

Threshold costs 3.4b (1.5%)

10.5b52.3%Compound Interest
7.4b35.1%Complex division, real part
4.4b84.7%The quadratic formula (r2)
4.0b52.8%Complex division, imag part
3.8b86.7%The quadratic formula (r1)

localize1.3s (1.0%)

bsearch868.0ms (0.7%)

end1.0ms (0.0%)