Date:Wednesday, April 15th, 2020
Commit:b8df7a50 on overflow-detection-both-ends
Hostname:warfa with Racket 7.5
Seed:2020106
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

sample37.3s (31.6%)

Algorithm
73×intervals
Results
12.0s293376×body80valid
5.9s14038×body1280valid
3.0s3923×body2560valid
2.3s9555×body640valid
2.2s16967×body160valid
2.1s100647×pre80true
956.0ms6957×body320valid
737.0ms19375×body80nan
267.0ms200×body5120exit
137.0ms2005×body80overflowed
118.0ms251×body5120valid
4.0ms100×pre80false

prune31.9s (27.0%)

Filtered
16726 candidates to 9017 candidates (53.9%)

series28.3s (24.0%)

Calls

295 calls:

1.2s
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
538.0ms
(log (pow (exp 1) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)))
514.0ms
(log (pow (exp 1) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)))
469.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)))))
413.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))

simplify10.2s (8.6%)

Algorithm
176×egg-herbie

rewrite3.8s (3.2%)

Algorithm
106×rewrite-expression-head
Calls

295 calls:

72.0ms
(* (* (/ (/ PI 2.0) (+ b a)) 1.0) (- (/ 1.0 a) (/ 1.0 b)))
69.0ms
(- (/ 1 (pow x 5)) (/ 1 (pow x 3)))
61.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
58.0ms
(* (* (/ (/ PI 2.0) (+ b a)) 1.0) (/ (- (/ 1.0 a) (/ 1.0 b)) (- b a)))
55.0ms
(/ (* (* (/ (/ PI 2.0) (+ b a)) 1.0) (- (/ 1.0 a) (/ 1.0 b))) (- b a))
Rules
13151×times-frac
11743×*-un-lft-identity
10227×add-sqr-sqrt
8424×add-cube-cbrt
5132×prod-diff
1779×add-exp-log
1219×add-cbrt-cube
1126×distribute-lft-out
995×unpow-prod-down
792×div-inv
739×distribute-rgt-in distribute-lft-in
728×associate-*r*
699×difference-of-squares
662×pow1
612×sqrt-prod
596×prod-exp
581×add-log-exp
553×distribute-lft-out--
552×associate-/l*
520×div-exp
484×associate-*l*
433×associate-/r/
347×sqr-pow
334×cube-prod
327×cbrt-unprod
303×cbrt-undiv
296×expm1-log1p-u
295×flip-+ flip3-+ associate-/r* log1p-expm1-u
271×fma-neg
262×cbrt-prod
168×distribute-rgt-neg-in
156×1-exp
138×distribute-lft-neg-in
137×pow-prod-down
136×unswap-sqr
121×flip-- flip3--
118×sum-log
104×fma-def log-pow
99×associate-*r/
95×rec-exp
94×frac-times
89×unpow3 cube-mult
82×swap-sqr
73×associate-/l/ exp-prod
71×*-commutative
70×associate-*l/
67×sub-neg
65×clear-num frac-2neg log-prod
59×cbrt-div
53×sqrt-div
52×pow-unpow
51×diff-log
46×neg-mul-1
45×fma-udef
29×pow-exp
28×pow-to-exp
26×+-commutative
25×pow1/3 div-sub
21×pow-pow
19×pow1/2 sqrt-pow1
18×pow-flip
17×frac-sub
16×pow-prod-up pow-sqr
14×rem-sqrt-square
13×associate-+r+ inv-pow unpow2 pow-plus
12×pow2 frac-add rem-log-exp
10×associate-+l+ neg-sub0 log-div
9×un-div-inv
8×cube-div
7×associate--l- distribute-frac-neg neg-log
5×hypot-def
4×distribute-lft-neg-out rem-cbrt-cube associate-+l-
3×sqrt-pow2 associate--l+
2×rem-cube-cbrt exp-to-pow associate--r+
1×rem-exp-log log1p-udef associate-+r- log1p-expm1 expm1-log1p hypot-udef unsub-neg distribute-rgt-out exp-sum expm1-udef

regimes3.6s (3.1%)

Accuracy

Total 36.9b remaining (15.1%)

Threshold costs 2.6b (1.1%)

8.0b35.9%Complex division, imag part
7.7b35.6%Complex division, real part
6.6b63.3%Compound Interest
4.8b82.8%The quadratic formula (r1)
4.8b83.6%The quadratic formula (r2)

bsearch1.6s (1.3%)

localize1.3s (1.1%)

end1.0ms (0.0%)