Date:Tuesday, February 18th, 2020
Commit:5d186d9c on refactor-and-minor
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

prune40.1s (32.4%)

sample32.6s (26.3%)

Algorithm
73×intervals
Results
10.1s293759×body80valid
5.0s13694×body1280valid
2.5s3869×body2560valid
1.9s9261×body640valid
1.8s16911×body160valid
1.5s100568×pre80true
1.1s2127×body10240exit
770.0ms6880×body320valid
593.0ms19622×body80nan
88.0ms215×body5120valid
3.0ms100×pre80false

series26.8s (21.6%)

Calls

283 calls:

1.2s
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
512.0ms
(* 100.0 (/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n)))
481.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))))
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)))))
415.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))

simplify10.7s (8.6%)

Algorithm
174×egg-herbie

rewrite8.2s (6.6%)

Algorithm
104×rewrite-expression-head
Calls

283 calls:

338.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
288.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
287.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
286.0ms
(+ (+ (+ (+ e d) c) b) a)
286.0ms
(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
Rules
17162×times-frac
14073×*-un-lft-identity
12176×add-sqr-sqrt
10264×add-cube-cbrt
6306×prod-diff
1812×add-exp-log
1318×distribute-lft-out
1246×add-cbrt-cube
1056×div-inv
1004×unpow-prod-down
936×sqrt-prod
746×associate-*r*
735×difference-of-squares
720×distribute-rgt-in distribute-lft-in
715×pow1
648×associate-/r/
604×prod-exp
600×distribute-lft-out--
568×div-exp
562×add-log-exp
559×associate-*l*
526×associate-/l*
421×distribute-rgt-neg-in
399×distribute-lft-neg-in
379×sqr-pow
370×log-pow
366×cube-prod
348×exp-prod
343×fma-neg
333×cbrt-unprod
321×flip-+ flip3-+
316×associate-/r*
308×cbrt-undiv
283×log1p-expm1-u expm1-log1p-u
183×pow-prod-down
167×sqrt-div
163×flip-- flip3--
154×unswap-sqr
142×1-exp
133×neg-mul-1
111×cbrt-prod
108×swap-sqr
107×sum-log
104×unpow3 cube-mult
90×frac-times
84×associate-*r/
79×sqrt-pow1
76×fma-def
74×associate-*l/
72×rec-exp
70×clear-num frac-2neg
66×*-commutative sub-neg
64×associate-/l/
62×unpow2
61×diff-log
52×log-prod
48×fma-udef
41×pow1/2 pow-prod-up
40×pow-exp
38×pow-to-exp
36×pow-flip
30×div-sub
29×pow-sqr
27×pow1/3
23×frac-sub
20×pow-plus cbrt-div
19×+-commutative
16×inv-pow associate--r+
15×pow2
14×rem-sqrt-square
12×pow-unpow associate--l+ associate--l-
11×neg-sub0 log-div
10×frac-add associate-+r+
8×sqrt-unprod distribute-lft-neg-out
7×associate-+l+
6×distribute-frac-neg neg-log
5×rem-log-exp
4×cube-div rem-cube-cbrt pow-pow un-div-inv hypot-def distribute-rgt-out--
3×associate--r-
2×sub-div hypot-udef rem-square-sqrt sum-cubes associate-+l- rem-cbrt-cube
1×exp-diff associate-+r- pow3 exp-to-pow

regimes2.9s (2.3%)

Accuracy

Total 34.1b remaining (11.7%)

Threshold costs 3.3b (1.1%)

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

localize1.3s (1.1%)

bsearch1.3s (1.0%)

end1.0ms (0.0%)