Date:Tuesday, April 14th, 2020
Commit:681051fe on overflow-detection-both-ends
Hostname:warfa with Racket 7.5
Seed:2020105
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.7s (30.6%)

Algorithm
73×intervals
Results
12.2s293020×body80valid
6.0s14109×body1280valid
2.9s3750×body2560valid
2.3s9597×body640valid
2.2s100676×pre80true
2.2s16902×body160valid
973.0ms6902×body320valid
725.0ms19334×body80nan
260.0ms200×body5120exit
140.0ms1923×body80overflowed
133.0ms244×body5120valid
4.0ms100×pre80false

prune37.1s (30.1%)

Filtered
16301 candidates to 9703 candidates (59.5%)

series28.0s (22.7%)

Calls

283 calls:

1.2s
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
825.0ms
(* (+ (sqrt (pow x 4.0)) (pow y (/ 4.0 2))) (- (sqrt (pow x 4.0)) (pow y (/ 4.0 2))))
481.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)))))
409.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))
408.0ms
(- (* 9.0 (pow x 4.0)) (pow y 4.0))

simplify10.7s (8.7%)

Algorithm
174×egg-herbie

rewrite3.6s (2.9%)

Algorithm
104×rewrite-expression-head
Calls

283 calls:

67.0ms
(* (/ (/ PI 2.0) (+ b a)) (* (/ 1.0 (- b a)) (- (/ 1.0 a) (/ 1.0 b))))
63.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
52.0ms
(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
44.0ms
(* (* (/ (/ PI 2.0) (+ b a)) (/ 1.0 (- b a))) (- (/ 1.0 a) (/ 1.0 b)))
41.0ms
(* (* (/ PI 2.0) (/ 1.0 (- (* b b) (* a a)))) (- (/ 1.0 a) (/ 1.0 b)))
Rules
11659×times-frac
10594×*-un-lft-identity
9330×add-sqr-sqrt
8024×add-cube-cbrt
4898×prod-diff
1819×add-exp-log
1553×distribute-rgt-in distribute-lft-in
1271×add-cbrt-cube
942×distribute-lft-out
856×div-inv
636×associate-*r*
616×div-exp
598×pow1
594×unpow-prod-down
550×associate-*l*
536×add-log-exp
526×sqrt-prod
524×prod-exp
523×difference-of-squares
500×cbrt-prod
478×associate-/l*
400×associate-/r*
391×associate-/r/
365×distribute-lft-out--
352×cbrt-undiv
335×cbrt-unprod
285×log1p-expm1-u
283×expm1-log1p-u
236×sqr-pow
224×flip-+ flip3-+
222×fma-neg
218×distribute-rgt-neg-in
172×flip3-- flip--
150×distribute-lft-neg-in
138×associate-+l+
137×unswap-sqr
135×cube-prod
122×pow-prod-down associate-*r/
111×1-exp
110×swap-sqr
108×frac-times
99×fma-def
98×sum-log
75×sub-neg
74×associate-/l/
73×rec-exp
71×clear-num frac-2neg
63×*-commutative
62×associate-*l/
51×pow1/3 diff-log
50×cbrt-div neg-mul-1
47×sqrt-div
43×unpow2
40×log-prod
34×pow-exp
33×pow-to-exp
32×fma-udef
26×unpow3 cube-mult
23×pow-prod-up
22×rem-sqrt-square frac-add
21×associate-+r+ +-commutative div-sub
20×pow1/2 sqrt-pow1
19×pow-sqr
18×pow-unpow pow-plus
16×frac-sub
15×log-pow
14×pow2
10×neg-sub0
8×pow-pow log-div
7×associate--l- inv-pow pow-flip neg-log
6×distribute-frac-neg
5×rem-cube-cbrt distribute-lft-neg-out
4×cube-div hypot-def rem-cbrt-cube associate-+l- rem-log-exp
3×un-div-inv associate--l+
2×expm1-log1p hypot-udef expm1-udef associate--r+
1×sqrt-pow2 log1p-udef pow3 log1p-expm1 sum-cubes

regimes3.6s (2.9%)

Accuracy

Total 32.7b remaining (13.7%)

Threshold costs 3.1b (1.3%)

8.2b31.9%Complex division, imag part
7.3b35.5%Complex division, real part
6.1b66.2%Compound Interest
3.5b87%The quadratic formula (r2)
3.2b88.7%The quadratic formula (r1)

localize1.2s (1.0%)

bsearch1.2s (1.0%)

end1.0ms (0.0%)