Date:Wednesday, April 15th, 2020
Commit:a2983cd2 on master
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.5%)

Algorithm
73×intervals
Results
12.0s293376×body80valid
5.8s14038×body1280valid
3.0s3923×body2560valid
2.3s9555×body640valid
2.2s16967×body160valid
2.2s100647×pre80true
955.0ms6957×body320valid
728.0ms19375×body80nan
275.0ms200×body5120exit
146.0ms2005×body80overflowed
113.0ms251×body5120valid
4.0ms100×pre80false

prune32.4s (27.3%)

Filtered
16726 candidates to 9016 candidates (53.9%)

series28.6s (24.2%)

Calls

295 calls:

1.2s
(+ (pow y 6.0) (fma (pow y 4.0) 121.0 2.0))
533.0ms
(log (pow (exp 1) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)))
525.0ms
(log (pow (exp 1) (pow (sqrt (/ (* 2.0 t) (+ 1.0 t))) 4)))
503.0ms
(cbrt (fma 1.3877787807814457e-17 (/ (pow x 3) eps) (- 1.0 (* 0.5 (pow x 2)))))
489.0ms
(* 100.0 (/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n)))

simplify10.0s (8.4%)

Algorithm
176×egg-herbie

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)

rewrite3.6s (3.0%)

Algorithm
106×rewrite-expression-head
Calls

295 calls:

67.0ms
(- (/ 1 (pow x 5)) (/ 1 (pow x 3)))
63.0ms
(* (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))) (- 2.0 (/ (/ 2.0 t) (+ 1.0 (/ 1.0 t)))))
50.0ms
(* (/ (/ (- t1) (+ t1 u)) (* (cbrt (+ t1 u)) (cbrt (+ t1 u)))) (/ v (cbrt (+ t1 u))))
44.0ms
(/ (* (* (/ (/ PI 2.0) (+ b a)) 1.0) (- (/ 1.0 a) (/ 1.0 b))) (- b a))
44.0ms
(* (* (/ (/ PI 2.0) (+ b a)) (/ 1.0 (- b a))) (- (/ 1.0 a) (/ 1.0 b)))
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

bsearch1.6s (1.4%)

localize1.3s (1.1%)

end1.0ms (0.0%)