Date:Wednesday, April 29th, 2020
Commit:293eb8dd on gh-actions
Hostname:warfa with Racket 7.5
Seed:2020120
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.5s (30.6%)

Algorithm
73×intervals
Results
12.0s293703×body80valid
5.9s14198×body1280valid
2.9s3824×body2560valid
2.4s16860×body160valid
2.3s9536×body640valid
2.2s100602×pre80true
941.0ms6886×body320valid
746.0ms19465×body80nan
283.0ms200×body5120exit
131.0ms1932×body80overflowed
126.0ms229×body5120valid
7.0ms100×pre80false

prune34.4s (28.1%)

Filtered
16577 candidates to 9045 candidates (54.6%)

series30.0s (24.5%)

Calls

287 calls:

1.2s
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
731.0ms
(cbrt (fma i 1.0 (- (fma 0.5 (pow i 2) (* (log 1.0) n)) (* 0.5 (* (pow i 2) (log 1.0))))))
726.0ms
(cbrt (fma i 1.0 (- (fma 0.5 (pow i 2) (* (log 1.0) n)) (* 0.5 (* (pow i 2) (log 1.0))))))
724.0ms
(cbrt (fma i 1.0 (- (fma 0.5 (pow i 2) (* (log 1.0) n)) (* 0.5 (* (pow i 2) (log 1.0))))))
544.0ms
(fma (pow x (/ 4.0 2)) (pow x (/ 4.0 2)) (- (pow y 4.0)))

simplify11.0s (8.9%)

Algorithm
175×egg-herbie

rewrite3.7s (3.0%)

Algorithm
105×rewrite-expression-head
Calls

287 calls:

69.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)))))
50.0ms
(/ (* (* PI (/ 1.0 (+ b a))) (- (/ 1.0 a) (/ 1.0 b))) (* 2.0 (- b a)))
49.0ms
(/ (* (/ (* PI 1.0) (+ b a)) (- (/ 1.0 a) (/ 1.0 b))) (* 2.0 (- b a)))
49.0ms
(/ (/ 1 (sqrt (hypot c d))) (/ (hypot c d) (/ (fma a c (* b d)) (sqrt (hypot c d)))))
Rules
15607×times-frac
11713×*-un-lft-identity
10878×add-sqr-sqrt
9688×add-cube-cbrt
5168×prod-diff
1830×sqrt-prod
1419×add-exp-log
1098×add-cbrt-cube
1021×unpow-prod-down
893×distribute-rgt-in distribute-lft-in
858×div-inv
772×distribute-lft-out
698×associate-*r*
633×pow1
578×add-log-exp
450×prod-exp
421×difference-of-squares
370×sqr-pow
368×associate-*l*
364×div-exp
361×cube-prod
352×associate-/l*
321×associate-/r*
298×cbrt-unprod
288×log1p-expm1-u
287×expm1-log1p-u
270×cbrt-prod fma-neg
265×distribute-lft-out-- associate-/r/
247×cbrt-undiv
196×flip-+ flip3-+
181×distribute-rgt-neg-in
152×distribute-lft-neg-in
144×frac-times
143×flip-- flip3--
140×pow-prod-down
139×associate-*r/
131×unswap-sqr
116×sum-log
109×frac-sub
92×associate-*l/
90×fma-def unpow3 cube-mult
82×log-pow
76×exp-prod
75×1-exp
74×exp-neg
64×associate-/l/ neg-sub0 sub-neg
63×clear-num frac-2neg
61×*-commutative
58×sqrt-div
57×diff-log sqrt-pow1
56×exp-diff
52×neg-mul-1
45×log-prod
43×swap-sqr
39×rec-exp
38×fma-udef
37×pow1/2
35×unpow2
26×pow-exp
25×pow-prod-up pow-to-exp
24×rem-sqrt-square
22×pow1/3 +-commutative
21×un-div-inv
17×div-sub
15×pow-sqr
12×cube-div pow-unpow frac-add pow-plus
11×cbrt-div
9×associate-+l+ associate-+r+
8×rem-exp-log pow2 associate--l- neg-log
7×pow-flip
6×rem-cbrt-cube rem-log-exp log-div
5×distribute-lft-neg-out distribute-frac-neg exp-sum
4×inv-pow hypot-udef associate--r+ pow-pow
3×rem-cube-cbrt
2×log1p-udef associate-+r- sqrt-unprod rem-square-sqrt hypot-def associate--r- associate-+l- associate--l+
1×pow3 log1p-expm1 expm1-log1p expm1-udef

regimes3.6s (2.9%)

Accuracy

Total 38.0b remaining (15.7%)

Threshold costs 2.3b (0.9%)

8.5b26.5%Complex division, real part
8.3b30.6%Complex division, imag part
5.8b68.6%Compound Interest
5.0b83.3%The quadratic formula (r2)
4.8b76.4%Kahan p9 Example

localize1.3s (1.1%)

bsearch1.2s (1.0%)

end1.0ms (0.0%)