Date:Tuesday, July 28th, 2020
Commit:32b35f01 on refactor-reprify
Hostname:warfa with Racket 7.5
Seed:2020210
Parameters:256 points for 4 iterations
Flags:
setup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

prune42.8s (33.5%)

Filtered
10969 candidates to 7316 candidates (33.3%)

sample36.7s (28.7%)

Algorithm
73×intervals
Results
10.9s237903×body80valid
6.1s14257×body1280valid
2.9s3788×body2560valid
2.7s16840×body160valid
2.5s9300×body640valid
2.1s99275×pre80true
1.8s14484×body80invalid
1.1s6633×body320valid
928.0ms200×body5120exit
131.0ms271×body640invalid
112.0ms239×body5120valid
95.0ms124×body1280invalid
83.0ms1689×body80nan
65.0ms215×body320invalid
30.0ms17×body2560invalid
16.0ms90×body160invalid
15.0ms200×body80overflowed
4.0ms100×pre80false

analyze21.8s (17.1%)

Algorithm
36×search
2×random
Search
TrueOtherFalseIter
0%60.5%39.5%0
1.4%59.2%39.5%1
5.6%55%39.5%2
11.1%47.4%41.5%3
13.9%43.5%42.6%4
19%38.1%42.8%5
20.7%35.1%44.2%6
24%30.1%45.9%7
26.5%26.9%46.6%8
29.4%22.8%47.8%9
31.8%19.6%48.6%10
33.4%17.3%49.2%11
35.7%14.6%49.7%12
40.6%9%50.4%13
41.2%8.2%50.6%14

simplify10.2s (8.0%)

Algorithm
177×egg-herbie

series5.5s (4.3%)

Calls

310 calls:

231.0ms
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6) (*.f64 (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (*.f64 x1 2)))) (*.f64 (+.f64 (*.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 16)) -36) (+.f64 (*.f64 x1 x1) (pow.f64 x1 4)))) (*.f64 (+.f64 (*.f64 x1 x1) 1) (+.f64 (*.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6)))
204.0ms
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6) (*.f64 (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (*.f64 x1 2)))) (-.f64 (+.f64 (*.f64 192 (*.f64 x2 (*.f64 x1 x1))) (*.f64 (pow.f64 x1 4) 108)) (*.f64 (pow.f64 x1 3) 96))) (*.f64 (+.f64 (*.f64 x1 x1) 1) (+.f64 (*.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6)))
92.0ms
(/.f64 1 (*.f64 (cbrt.f64 (-.f64 -1 (/.f64 u t1))) (cbrt.f64 (-.f64 -1 (/.f64 u t1)))))
88.0ms
(/.f64 (*.f64 4 (*.f64 a c)) (-.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))))
84.0ms
(+.f64 (*.f64 (*.f64 (*.f64 2 x1) (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3)) (*.f64 (*.f64 x1 x1) (-.f64 (*.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 (*.f64 3 x1) x1) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6)))

regimes5.0s (3.9%)

Accuracy

Total 20.5b remaining (21.5%)

Threshold costs 3.6b (3.8%)

6.3b69.1%Compound Interest
4.8b76.5%Kahan p9 Example
2.2b28.4%Complex division, real part
1.3b0%Rosa's DopplerBench
1.3b94.9%The quadratic formula (r2)

rewrite3.8s (3.0%)

Algorithm
107×rewrite-expression-head
Calls

310 calls:

108.0ms
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6) (*.f64 (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (*.f64 x1 2)))) (*.f64 (+.f64 (*.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) (*.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 16)) -36) (+.f64 (*.f64 x1 x1) (pow.f64 x1 4)))) (*.f64 (+.f64 (*.f64 x1 x1) 1) (+.f64 (*.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6)))
97.0ms
(/.f64 (+.f64 (*.f64 (+.f64 (*.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6) (*.f64 (-.f64 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1)) 3) (*.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (*.f64 x1 2)))) (-.f64 (+.f64 (*.f64 192 (*.f64 x2 (*.f64 x1 x1))) (*.f64 (pow.f64 x1 4) 108)) (*.f64 (pow.f64 x1 3) 96))) (*.f64 (+.f64 (*.f64 x1 x1) 1) (+.f64 (*.f64 4 (/.f64 (-.f64 (+.f64 (*.f64 x1 (*.f64 x1 3)) (*.f64 2 x2)) x1) (+.f64 (*.f64 x1 x1) 1))) 6)))
55.0ms
(*.f64 (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))) (-.f64 2 (/.f64 (/.f64 2 t) (+.f64 1 (/.f64 1 t)))))
50.0ms
(*.f64 (/.f64 1/2 (+.f64 b a)) (/.f64 (+.f64 (/.f64 PI.f64 a) (/.f64 (neg.f64 PI.f64) b)) (-.f64 b a)))
49.0ms
(*.f64 100 (/.f64 (-.f64 (pow.f64 (+.f64 1 (/.f64 i n)) n) 1) (/.f64 i n)))
Rules
4967×times-frac_binary64
4568×*-un-lft-identity_binary64
4364×add-sqr-sqrt_binary64
2847×add-cube-cbrt_binary64
1309×add-exp-log_binary64
1182×add-cbrt-cube_binary64
997×sqrt-prod_binary64
878×associate-*r*_binary64
777×pow1_binary64
642×add-log-exp_binary64
601×difference-of-squares_binary64
579×distribute-lft-out_binary64
562×frac-times_binary64
556×flip3-+_binary64 flip-+_binary64
478×associate-/r*_binary64
447×associate-*l*_binary64
415×associate-*r/_binary64
412×associate-*l/_binary64
386×flip3--_binary64 flip--_binary64
358×prod-exp_binary64
346×associate-/l/_binary64
336×associate-/l*_binary64
318×cbrt-unprod_binary64
313×cbrt-prod_binary64
299×distribute-lft-out--_binary64
295×div-inv_binary64
293×frac-add_binary64
286×div-exp_binary64
259×cbrt-undiv_binary64
244×associate-/r/_binary64
207×pow-prod-down_binary64
164×unpow-prod-down_binary64
159×sqrt-div_binary64
155×unswap-sqr_binary64
145×sum-log_binary64
110×sqr-pow_binary64
100×cbrt-div_binary64
94×sqrt-pow1_binary64
89×difference-of-sqr-1_binary64
84×frac-sub_binary64
80×*-commutative_binary64
79×clear-num_binary64 frac-2neg_binary64
74×pow1/2_binary64 exp-neg_binary64
72×exp-prod_binary64
67×cube-prod_binary64
66×sub-neg_binary64
58×neg-sub0_binary64 exp-diff_binary64
52×swap-sqr_binary64 diff-log_binary64
47×distribute-rgt-neg-in_binary64
45×log-pow_binary64
41×cube-mult_binary64
40×pow1/3_binary64 +-commutative_binary64
39×pow-prod-up_binary64
36×distribute-rgt-in_binary64 distribute-lft-in_binary64
33×rem-sqrt-square_binary64
28×unpow3_binary64
27×pow-sqr_binary64
25×div-sub_binary64
21×rec-exp_binary64 associate-+r+_binary64 un-div-inv_binary64
19×pow-flip_binary64
17×1-exp_binary64 distribute-rgt-out_binary64 pow-plus_binary64
16×cube-div_binary64
14×distribute-rgt1-in_binary64 distribute-lft-neg-in_binary64
13×associate-+l+_binary64
12×pow-to-exp_binary64 pow-exp_binary64 pow2_binary64
10×log-prod_binary64
9×sqrt-unprod_binary64 pow-unpow_binary64
7×associate--r+_binary64 inv-pow_binary64
6×neg-mul-1_binary64
5×rem-cbrt-cube_binary64 rem-exp-log_binary64
4×cosh-undef_binary64 pow-pow_binary64 distribute-rgt-out--_binary64 associate--l+_binary64
3×associate--l-_binary64 rem-log-exp_binary64 log-div_binary64 rem-square-sqrt_binary64
2×associate-+r-_binary64 rem-cube-cbrt_binary64 neg-log_binary64 distribute-frac-neg_binary64
1×pow3_binary64 sum-cubes_binary64 sub-div_binary64 unsub-neg_binary64

localize1.2s (0.9%)

bsearch724.0ms (0.6%)

end1.0ms (0.0%)

Profiling

Loading profile data...