Date:Tuesday, February 18th, 2020
Commit:3b7244d2 on master
Hostname:warfa with Racket 7.5
Seed:2020049
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.7s (32.5%)

sample31.8s (26.0%)

Algorithm
73×intervals
Results
9.5s293759×body80valid
4.9s13694×body1280valid
2.7s3869×body2560valid
1.8s16911×body160valid
1.8s9261×body640valid
1.4s100568×pre80true
1.0s2127×body10240exit
744.0ms6880×body320valid
560.0ms19622×body80nan
88.0ms215×body5120valid
3.0ms100×pre80false

series26.3s (21.5%)

Calls

287 calls:

1.2s
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
497.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)))))
473.0ms
(fma (* (fma (/ 1 (* (cbrt (+ (* x1 x1) 1.0)) (cbrt (+ (* x1 x1) 1.0)))) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (cbrt (+ (* x1 x1) 1.0))) (- 3.0)) 2.0) (/ (* x1 (fma 3.0 (* x1 x1) (- (* 2.0 x2) x1))) (fma x1 x1 1.0)) (+ (/ (* (* (pow x1 2) 4.0) (fma 3.0 (* x1 x1) (- (* 2.0 x2) x1))) (fma x1 x1 1.0)) (* (* x1 x1) (- 6.0))))
416.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))
415.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))

simplify11.0s (9.0%)

Algorithm
174×egg-herbie

rewrite8.0s (6.6%)

Algorithm
104×rewrite-expression-head
Calls

287 calls:

327.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
309.0ms
(+ (+ (+ (+ e d) c) b) a)
308.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
281.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
278.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
Rules
17003×times-frac
13996×*-un-lft-identity
12192×add-sqr-sqrt
10189×add-cube-cbrt
6320×prod-diff
1614×add-exp-log
1315×distribute-lft-out
1137×add-cbrt-cube
1053×unpow-prod-down
1023×div-inv
764×sqrt-prod
746×associate-*r*
738×difference-of-squares
714×distribute-rgt-in distribute-lft-in
631×pow1
605×associate-/r/
601×distribute-lft-out--
578×add-log-exp
532×associate-*l*
507×associate-/l*
504×prod-exp
469×div-exp
406×distribute-rgt-neg-in
390×sqr-pow
384×distribute-lft-neg-in
375×cube-prod
373×log-pow
358×associate-/r*
350×exp-prod
345×fma-neg
302×flip-+ flip3-+
288×expm1-log1p-u
287×log1p-expm1-u
283×cbrt-unprod
273×cbrt-undiv
230×cbrt-prod
184×unswap-sqr
160×flip-- flip3--
151×pow-prod-down
141×sqrt-div
128×neg-mul-1
113×1-exp sum-log
102×unpow3 cube-mult
81×fma-def
77×associate-*r/
73×clear-num frac-2neg
70×unpow2
69×frac-times
65×associate-/l/
64×sub-neg
63×*-commutative
62×rec-exp
61×diff-log
59×associate-*l/
55×log-prod
46×pow-exp
45×pow-to-exp
43×fma-udef
37×swap-sqr
34×pow1/2 sqrt-pow1
29×div-sub
25×pow1/3
23×frac-sub
22×pow-prod-up
20×+-commutative
18×cbrt-div
16×pow-sqr
15×pow-plus
14×rem-sqrt-square
13×pow-flip associate--l+
12×associate--l-
11×log-div
10×pow2 frac-add associate-+r+ neg-sub0
9×pow-unpow inv-pow
8×associate-+l+
7×sqrt-unprod distribute-lft-neg-out
6×neg-log associate--r+ rem-log-exp
4×distribute-frac-neg hypot-def distribute-rgt-out--
3×cube-div un-div-inv associate--r- exp-to-pow pow-pow
2×rem-cube-cbrt sub-div hypot-udef sum-cubes associate-+l-
1×rem-exp-log exp-diff log1p-udef associate-+r- pow3 log1p-expm1 expm1-log1p rem-square-sqrt expm1-udef rem-cbrt-cube

regimes3.3s (2.7%)

Accuracy

Total 36.4b remaining (15%)

Threshold costs 3.3b (1.4%)

10.7b53.6%Compound Interest
8.6b31.5%Complex division, imag part
7.0b35.5%Complex division, real part
4.1b85.8%The quadratic formula (r2)
1.4b0%Rosa's DopplerBench

localize1.3s (1.1%)

bsearch848.0ms (0.7%)

end1.0ms (0.0%)