Date:Thursday, August 6th, 2020
Commit:83ea4c9e on refactor-reprify
Hostname:warfa with Racket 7.5
Seed:2020219
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

sample1.2min (62.2%)

Algorithm
56×intervals
Results
26.9s69748×body1280valid
18.4s17198×body2560valid
9.7s43668×body640valid
3.0s21220×body320valid
2.9s68580×body80valid
1.2s1105×body1280nan
940.0ms10322×body160valid
694.0ms43061×pre80true
646.0ms913×body640nan
502.0ms2974×body80overflowed
289.0ms693×body1280overflowed
208.0ms489×body320nan
170.0ms247×body640invalid
167.0ms3378×body80nan
163.0ms432×body5120valid
154.0ms116×body1280invalid
109.0ms380×body640overflowed
109.0ms166×body2560overflowed
101.0ms1621×body80invalid
77.0ms192×body320invalid
58.0ms242×body160nan
39.0ms188×body320overflowed
18.0ms76×body160invalid
14.0ms105×body160overflowed
1.0ms1×body2560invalid

analyze10.7s (9.4%)

Algorithm
28×search
Search
TrueOtherFalseIter
0%90.9%9.1%0
14.3%76.7%9.1%1
21.4%67.8%10.9%2
33.2%51.7%15.1%3
37.6%44.1%18.2%4
43.8%36.2%19.9%5
46.6%32.5%20.9%6
48.1%29.6%22.3%7
49.9%27.4%22.7%8
51.1%25.4%23.5%9
51.5%24.3%24.2%10
52.4%22.9%24.7%11
53.2%21.5%25.2%12
53.5%20.9%25.6%13
53.9%20.1%26%14

prune10.2s (8.9%)

Filtered
9763 candidates to 6488 candidates (33.5%)

simplify8.9s (7.8%)

Algorithm
159×egg-herbie

series5.4s (4.8%)

Calls

333 calls:

940.0ms
(/.f64 (*.f64 eps (-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)) (*.f64 (-.f64 (exp.f64 (*.f64 a eps)) 1) (+.f64 (*.f64 1/6 (*.f64 (pow.f64 eps 3) (pow.f64 b 3))) (*.f64 b (+.f64 eps (*.f64 b (*.f64 1/2 (*.f64 eps eps))))))))
212.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))
106.0ms
(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (tan.f64 x))
105.0ms
(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (/.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (*.f64 (cos.f64 x) (cos.f64 eps))))) (tan.f64 x))
66.0ms
(/.f64 (*.f64 a c) (-.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))) b_2))

regimes3.0s (2.7%)

Accuracy

Total 21.7b remaining (24.1%)

Threshold costs 4.0b (4.4%)

3.3b88.3%quadm (p42, negative)
3.2b0%expq3 (problem 3.4.2)
3.1b87.3%expax (section 3.5)
2.5b90.4%quadp (p42, positive)
1.7b84.1%2nthrt (problem 3.4.6)

rewrite3.0s (2.6%)

Algorithm
103×rewrite-expression-head
Calls

333 calls:

57.0ms
(+.f64 (/.f64 2 (pow.f64 x 7)) (+.f64 (/.f64 2 (pow.f64 x 5)) (/.f64 2 (pow.f64 x 3))))
42.0ms
(*.f64 (sqrt.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))) (sqrt.f64 (/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))))
36.0ms
(-.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 x 1))))
36.0ms
(+.f64 (-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 2 x)) (/.f64 1 (-.f64 x 1)))
32.0ms
(-.f64 (+.f64 (/.f64 1 N) (/.f64 1/3 (pow.f64 N 3))) (/.f64 1/2 (*.f64 N N)))
Rules
3606×*-un-lft-identity_binary64
3239×add-sqr-sqrt_binary64
2637×times-frac_binary64
1899×add-cube-cbrt_binary64
1137×add-exp-log_binary64
916×add-cbrt-cube_binary64
761×sqrt-prod_binary64
677×pow1_binary64
559×add-log-exp_binary64
543×distribute-lft-out_binary64
516×cbrt-prod_binary64
474×difference-of-squares_binary64
400×unpow-prod-down_binary64
379×associate-*r*_binary64
344×distribute-lft-out--_binary64
337×associate-/r*_binary64
323×associate-/l*_binary64
315×associate-*l*_binary64
260×prod-exp_binary64
243×div-exp_binary64
213×log-prod_binary64
202×associate-/r/_binary64
185×cbrt-unprod_binary64
184×cbrt-undiv_binary64
176×flip3--_binary64 flip--_binary64 div-inv_binary64
167×flip3-+_binary64 flip-+_binary64
165×unswap-sqr_binary64
155×cube-prod_binary64 sqr-pow_binary64
149×pow-unpow_binary64
123×associate-*r/_binary64
114×cbrt-div_binary64
110×log-pow_binary64
93×swap-sqr_binary64
91×difference-of-sqr--1_binary64
90×pow-prod-down_binary64
75×sqrt-pow1_binary64
73×sqrt-div_binary64
72×frac-times_binary64
69×sub-neg_binary64 frac-add_binary64
68×associate-/l/_binary64
66×clear-num_binary64 frac-2neg_binary64
64×diff-log_binary64 *-commutative_binary64
57×pow1/2_binary64
54×sum-log_binary64
53×pow1/3_binary64
52×associate-*l/_binary64
51×pow-exp_binary64
48×pow-to-exp_binary64
41×exp-prod_binary64
39×log-div_binary64
36×+-commutative_binary64
35×tan-quot_binary64
33×distribute-rgt-in_binary64 distribute-lft-in_binary64
32×rem-sqrt-square_binary64
29×pow-pow_binary64
27×rec-exp_binary64 1-exp_binary64 difference-of-sqr-1_binary64 pow-flip_binary64
26×unpow3_binary64 distribute-rgt-neg-in_binary64
25×unpow2_binary64
23×inv-pow_binary64 pow-prod-up_binary64
22×rem-log-exp_binary64 cube-mult_binary64
21×distribute-lft-neg-in_binary64 neg-mul-1_binary64 div-sub_binary64
20×frac-sub_binary64 associate--l+_binary64
17×pow-sqr_binary64
13×associate--r+_binary64
12×sin-mult_binary64
8×associate-+r+_binary64
7×exp-sum_binary64 pow-plus_binary64 distribute-rgt-out--_binary64 pow2_binary64
6×associate--l-_binary64 associate-+l+_binary64
5×sqrt-unprod_binary64 neg-sub0_binary64 exp-diff_binary64
4×unpow-prod-up_binary64 rem-exp-log_binary64
3×associate-+l-_binary64 rem-cbrt-cube_binary64 cos-mult_binary64 rem-cube-cbrt_binary64 sqr-sin-a_binary64 distribute-frac-neg_binary64
2×sqrt-pow2_binary64 exp-to-pow_binary64 cube-div_binary64 tan-sum_binary64 exp-neg_binary64 associate--r-_binary64 rem-square-sqrt_binary64 cos-sum_binary64 sin-sum_binary64
1×e-exp-1_binary64 neg-log_binary64 sin-cos-mult_binary64 diff-sin_binary64 sub-div_binary64 un-div-inv_binary64 diff-atan_binary64 diff-cos_binary64

localize1.2s (1.1%)

bsearch637.0ms (0.6%)

end0.0ms (0.0%)

Profiling

Loading profile data...