Date:Tuesday, August 18th, 2020
Commit:fbcf5934 on scaleup-plugins
Hostname:warfa with Racket 7.5
Seed:2020231
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

simplify4.4s (30.0%)

Algorithm
30×egg-herbie

sample3.5s (23.7%)

Algorithm
15×intervals
Results
1.5s46223×body80valid
796.0ms4081×body1280valid
50.0ms1291×body80invalid
4.0ms58×body80nan

prune2.4s (16.4%)

Filtered
996 candidates to 679 candidates (31.8%)

analyze1.7s (11.8%)

Algorithm
9×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
11.1%88.8%0.1%1
11.1%83.3%5.6%2
19.4%69.4%11.2%3
31.9%51.3%16.8%4
35.4%45.1%19.5%5
45.1%34%20.9%6
50.7%26.4%23%7
53.3%23.4%23.3%8
57.6%18.3%24.1%9
59.6%15.1%25.4%10
61.3%12.9%25.8%11
63.2%10%26.8%12
64.2%8.2%27.6%13
64.9%6.9%28.2%14

series1.7s (11.4%)

Calls

31 calls:

141.0ms
(cbrt.f64 x)
104.0ms
(log.f64 (sqrt.f64 (exp.f64 (/.f64 (+.f64 n f) (-.f64 n f)))))
101.0ms
(log.f64 (sqrt.f64 (exp.f64 (/.f64 (+.f64 n f) (-.f64 n f)))))
89.0ms
(cbrt.f64 y)
87.0ms
(cbrt.f64 y)

regimes437.0ms (3.0%)

Accuracy

Total 0.7b remaining (95%)

Threshold costs 0.7b (95%)

0.7b80.8%fabs fraction 1
0.0b0%subtraction fraction

rewrite265.0ms (1.8%)

Algorithm
15×rewrite-expression-head
Calls

31 calls:

13.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))
12.0ms
(log.f64 (sqrt.f64 (exp.f64 (/.f64 (+.f64 n f) (-.f64 n f)))))
12.0ms
(log.f64 (sqrt.f64 (exp.f64 (/.f64 (+.f64 n f) (-.f64 n f)))))
11.0ms
(*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 x))
11.0ms
(/.f64 1 (/.f64 (-.f64 n f) (+.f64 n f)))
Rules
447×*-un-lft-identity_binary64
338×times-frac_binary64
316×add-sqr-sqrt_binary64
188×add-cube-cbrt_binary64
104×exp-prod_binary64
85×log-pow_binary64
74×*-un-lft-identity_binary64_1216
71×distribute-lft-out_binary64
68×add-sqr-sqrt_binary64_1201
59×difference-of-squares_binary64
58×distribute-lft-out--_binary64 add-cube-cbrt_binary64_1187 sqrt-pow1_binary64
53×times-frac_binary64_1211
50×associate-/r*_binary64
37×add-exp-log_binary64
32×add-cbrt-cube_binary64
28×add-exp-log_binary64_1180 add-cbrt-cube_binary64_1188
27×pow1_binary64 associate-/r/_binary64
26×sqrt-prod_binary64
24×associate-/l*_binary64
21×add-log-exp_binary64_1181
20×add-log-exp_binary64
16×pow1_binary64_1162 associate-*l*_binary64_1276 associate-*r*_binary64_1275
15×log-prod_binary64
14×div-inv_binary64
13×flip3--_binary64 flip--_binary64
12×cbrt-prod_binary64_1183
11×associate-/l*_binary64_1280
10×flip3-+_binary64 associate-/l/_binary64 associate-*l*_binary64 flip-+_binary64
9×associate-/r*_binary64_1279 div-exp_binary64
8×cbrt-undiv_binary64 add-sqr-sqrt_binary64_559 add-log-exp_binary64_539 distribute-lft-out_binary64_1260
6×*-un-lft-identity_binary64_574 pow1_binary64_520 associate-*r*_binary64 pow1/2_binary64 clear-num_binary64 add-cube-cbrt_binary64_545 sqrt-prod_binary64_553 frac-2neg_binary64 associate-/l/_binary64_1282 sqrt-div_binary64
5×div-exp_binary64_1169 cbrt-undiv_binary64_1186 div-inv_binary64_1217
4×flip3--_binary64_573 flip3--_binary64_1215 add-cbrt-cube_binary64_546 unswap-sqr_binary64_1244 sqrt-div_binary64_554 add-exp-log_binary64_538 unswap-sqr_binary64 prod-exp_binary64_1167 cbrt-unprod_binary64_1185 flip--_binary64_600 flip--_binary64_1242 pow1/3_binary64_1154 diff-log_binary64_1132
3×pow-prod-down_binary64 associate-*l/_binary64_1278 clear-num_binary64_1219 rem-log-exp_binary64 associate-*r/_binary64_1277 sub-neg_binary64_1220 frac-2neg_binary64_1209
2×rem-sqrt-square_binary64_562 diff-log_binary64_490 pow-prod-down_binary64_1143 rec-exp_binary64 flip3-+_binary64_1214 pow1/2_binary64_510 frac-sub_binary64_1207 rem-sqrt-square_binary64 *-commutative_binary64_1284 sub-neg_binary64_578 sub-div_binary64_1205 sqrt-pow1_binary64_555 flip-+_binary64_1241 associate-*l/_binary64
1×sqrt-unprod_binary64 sub-neg_binary64 sum-log_binary64_1131 diff-log_binary64 prod-exp_binary64 div-sub_binary64_1210 difference-of-sqr-1_binary64 sum-log_binary64 pow-flip_binary64 rem-exp-log_binary64 div-sub_binary64 inv-pow_binary64 associate--l+_binary64_1272 cbrt-unprod_binary64 +-commutative_binary64 *-commutative_binary64

localize241.0ms (1.6%)

bsearch48.0ms (0.3%)

end0.0ms (0.0%)

Profiling

Loading profile data...