Date:Saturday, April 11th, 2020
Commit:a26a9b61 on overflow-detection-both-ends
Hostname:warfa with Racket 7.5
Seed:2020102
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

sample36.7s (31.9%)

Algorithm
73×intervals
Results
11.8s293325×body80valid
5.7s14136×body1280valid
2.7s3881×body2560valid
2.2s100567×pre80true
2.2s9325×body640valid
2.1s16964×body160valid
897.0ms6965×body320valid
753.0ms19611×body80nan
242.0ms200×body5120exit
134.0ms1930×body80overflowed
91.0ms224×body5120valid
4.0ms100×pre80false

prune33.9s (29.5%)

Filtered
16704 candidates to 8970 candidates (53.7%)

series24.6s (21.4%)

Calls

276 calls:

1.2s
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
662.0ms
(* (hypot x (pow x 3/2)) (hypot x (pow x 3/2)))
484.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)))))
402.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))
402.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))

simplify10.8s (9.4%)

Algorithm
173×egg-herbie

rewrite3.6s (3.1%)

Algorithm
103×rewrite-expression-head
Calls

276 calls:

70.0ms
(- (/ 1 (pow x 5)) (/ 1 (pow x 3)))
64.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
55.0ms
(* (/ 1 (pow (cbrt i) 2)) (/ (fma i 1.0 (- (fma 0.5 (pow i 2) (* (log 1.0) n)) (* 0.5 (* (pow i 2) (log 1.0))))) (/ (cbrt i) n)))
51.0ms
(/ (* (* (/ PI 2.0) (/ 1.0 (- b a))) (- (/ 1.0 a) (/ 1.0 b))) (+ b a))
47.0ms
(+ 2.0 (* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t))))))
Rules
14227×times-frac
12342×*-un-lft-identity
10882×add-sqr-sqrt
8986×add-cube-cbrt
5501×prod-diff
1462×add-exp-log
1122×distribute-lft-out
1077×add-cbrt-cube
893×distribute-rgt-in distribute-lft-in
887×unpow-prod-down
822×div-inv
714×difference-of-squares
674×associate-*r*
670×sqrt-prod
599×pow1
574×associate-/l*
552×distribute-lft-out--
545×add-log-exp
434×prod-exp
432×associate-/r/
430×div-exp
422×associate-*l*
366×associate-+r+
346×sqr-pow
338×associate-/r*
296×flip-+ flip3-+
286×fma-neg
278×log1p-expm1-u
276×cube-prod expm1-log1p-u
264×cbrt-undiv
256×cbrt-unprod
208×cbrt-prod
201×distribute-rgt-neg-in
169×frac-times
165×distribute-lft-neg-in
162×unswap-sqr
147×flip-- flip3--
138×associate-*r/
132×pow-prod-down
131×log-prod
108×sum-log
102×frac-sub
96×associate-*l/
91×1-exp
86×unpow3 cube-mult
82×exp-sum
80×fma-def exp-neg
75×associate-/l/
69×neg-sub0
67×clear-num frac-2neg
61×*-commutative sub-neg
60×exp-diff
55×neg-mul-1
53×diff-log
50×rec-exp
48×sqrt-pow1
47×sqrt-div
46×unpow2
39×fma-udef
35×pow-to-exp pow-exp
34×swap-sqr
28×pow1/2
27×div-sub
22×un-div-inv pow-prod-up
21×+-commutative
20×log-pow
16×rem-sqrt-square
14×pow-sqr log-div
13×pow-plus pow1/3
12×pow-unpow frac-add
10×associate--l-
9×pow2
8×associate-+l+ rem-log-exp
7×exp-prod neg-log
6×hypot-udef pow-flip pow-pow
5×inv-pow distribute-rgt-out--
4×hypot-def cbrt-div
3×rem-cube-cbrt distribute-frac-neg rem-cbrt-cube associate--l+
2×cube-div sqrt-unprod distribute-lft-neg-out sub-div expm1-log1p expm1-udef rem-square-sqrt associate-+l- associate--r+
1×sqrt-undiv sqrt-pow2 log1p-udef pow3 log1p-expm1 distribute-rgt-out

regimes3.2s (2.8%)

Accuracy

Total 25.0b remaining (11.3%)

Threshold costs 3.5b (1.6%)

7.7b30.6%Complex division, real part
5.8b68.4%Compound Interest
4.9b82.9%The quadratic formula (r2)
1.7b93%The quadratic formula (r1)
1.4b0%Rosa's DopplerBench

localize1.3s (1.1%)

bsearch978.0ms (0.8%)

end1.0ms (0.0%)