Date:Sunday, April 12th, 2020
Commit:48b457a7 on overflow-detection-both-ends
Hostname:warfa with Racket 7.5
Seed:2020103
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.8s (35.7%)

Algorithm
73×intervals
Results
12.2s293968×body80valid
6.0s14146×body1280valid
3.0s3955×body2560valid
2.4s9478×body640valid
2.2s16831×body160valid
2.2s100625×pre80true
979.0ms6972×body320valid
744.0ms19662×body80nan
282.0ms200×body5120exit
150.0ms2035×body80overflowed
120.0ms238×body5120valid
4.0ms100×pre80false

prune25.3s (23.9%)

Filtered
13373 candidates to 6921 candidates (51.8%)

series24.7s (23.2%)

Calls

266 calls:

1.2s
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
489.0ms
(/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n))
474.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)))))
406.0ms
(cbrt (pow (- (* 9.0 (pow x 4.0)) (pow y 4.0)) 3))
404.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))

simplify9.5s (9.0%)

Algorithm
169×egg-herbie

regimes3.3s (3.2%)

Accuracy

Total 34.3b remaining (14.5%)

Threshold costs 2.4b (1%)

9.1b25.4%Complex division, imag part
7.1b37.1%Complex division, real part
5.9b67.3%Compound Interest
5.3b81.3%The quadratic formula (r2)
1.9b92%The quadratic formula (r1)

rewrite3.1s (2.9%)

Algorithm
99×rewrite-expression-head
Calls

266 calls:

68.0ms
(/ (* PI (* (/ 1.0 (- b a)) (- (/ 1.0 a) (/ 1.0 b)))) (* 2.0 (+ b a)))
68.0ms
(- (/ 1 (pow x 5)) (/ 1 (pow x 3)))
62.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
60.0ms
(* (* (* x1 x1) (* (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))) (cbrt (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
46.0ms
(* PI (* (/ 1.0 (- b a)) (- (/ 1.0 a) (/ 1.0 b))))
Rules
8357×times-frac
7975×*-un-lft-identity
7287×add-sqr-sqrt
6258×add-cube-cbrt
4608×prod-diff
1529×add-exp-log
1411×distribute-rgt-in distribute-lft-in
1134×add-cbrt-cube
919×unpow-prod-down
677×distribute-lft-out
656×pow1
625×associate-*r*
598×div-inv
552×prod-exp
525×add-log-exp
453×associate-*l*
369×div-exp
358×cbrt-prod
356×cbrt-unprod
345×sqrt-prod
344×sqr-pow
341×difference-of-squares
303×cube-prod
266×log1p-expm1-u expm1-log1p-u
237×cbrt-undiv
224×associate-/l* frac-times
204×associate-/r*
196×distribute-lft-out--
189×associate-/r/
188×associate-*r/
183×flip-+ flip3-+
177×fma-neg
174×flip-- flip3--
164×pow-prod-down
148×unswap-sqr
142×distribute-rgt-neg-in
136×associate-*l/
117×distribute-lft-neg-in
112×sum-log
100×frac-sub
88×1-exp
87×fma-def
86×unpow3 cube-mult
82×swap-sqr
80×exp-neg
78×cbrt-div
71×*-commutative
68×neg-sub0
62×log-prod
60×exp-diff
58×sub-neg
57×sqrt-div associate-/l/
53×clear-num frac-2neg
51×rec-exp
50×pow1/3
44×diff-log
39×unpow2 neg-mul-1
34×fma-udef
27×pow-to-exp pow-exp
25×un-div-inv pow-prod-up
21×pow-sqr +-commutative
19×log-pow pow-plus
15×div-sub
14×pow2 sqrt-pow1
13×pow1/2 rem-sqrt-square
12×pow-unpow associate-+r+ log-div
10×cube-div pow-flip
8×inv-pow frac-add exp-sum
6×associate-+l+ associate--l- neg-log rem-log-exp pow-pow
4×rem-cbrt-cube
3×hypot-udef distribute-frac-neg hypot-def associate-+l-
2×distribute-lft-neg-out associate--l+ associate--r+
1×rem-exp-log sqrt-undiv pow3 exp-prod distribute-rgt-out-- exp-to-pow

localize1.2s (1.2%)

bsearch1.1s (1.0%)

end1.0ms (0.0%)