Date:Tuesday, February 9th, 2021
Commit:057d048d on mpmf-cost-time-plots
Hostname:warfa with Racket 7.9
Seed:2021040
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:fallback
default

Details

Time bar (total: 12.9min)

prune5.8min (45.1%)

Compiler

Compiled 492122 to 290765 computations (40.9% saved)

sample3.7min (29.1%)

Algorithm
18×intervals
Results
3.2s70274×body128valid
769.0ms4030×body2048valid
113.0ms1961×body128invalid
112.0ms1352×body128nan
Compiler

Compiled 277997 to 190041 computations (31.6% saved)

regimes2.0min (15.9%)

Accuracy

Total 3.5b remaining (24.4%)

Threshold costs 0.8b (5.3%)

1.5b90%jeff quadratic root 2
1.3b90.9%jeff quadratic root 1
0.4b0%sqrt times
0.3b56.6%fabs fraction 1
0.0b0%subtraction fraction

Compiler

Compiled 1112431 to 769406 computations (30.8% saved)

series38.8s (5%)

Calls

352 calls:

1.9s
(log.f64 (exp.f64 (/.f64 (-.f64 (+.f64 x 4) (*.f64 x z)) y)))
458.0ms
(sqrt.f64 (+.f64 (*.f64 c (*.f64 a -4)) (*.f64 b (+.f64 b (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))))))
407.0ms
(cbrt.f64 (pow.f64 (*.f64 a (+.f64 (/.f64 c b) (*.f64 (/.f64 (*.f64 c a) (pow.f64 b 3)) c))) 3))
404.0ms
(+.f64 (/.f64 (*.f64 c a) b) (/.f64 (*.f64 (/.f64 (*.f64 c a) (*.f64 b b)) (*.f64 c a)) (pow.f64 (cbrt.f64 b) 3)))
365.0ms
(/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))) 3) (pow.f64 b 3)) (+.f64 (*.f64 c (*.f64 a -4)) (*.f64 b (+.f64 (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))) b))))
Compiler

Compiled 196873 to 146936 computations (25.4% saved)

simplify21.4s (2.8%)

Algorithm
162×egg-herbie

rewrite10.2s (1.3%)

Algorithm
135×rewrite-expression-head
Rules
8420×sqrt-prod_binary64_435
6991×times-frac_binary64_425
6068×add-sqr-sqrt_binary64_441
3824×add-sqr-sqrt_binary64
3566×*-un-lft-identity_binary64_419
3481×*-un-lft-identity_binary64
3267×times-frac_binary64
3223×sqrt-prod_binary64
2646×add-cube-cbrt_binary64_454
1907×add-cube-cbrt_binary64
1269×associate-*r*_binary64_359
897×difference-of-squares_binary64
751×cbrt-prod_binary64
719×associate-*l*_binary64_360
672×add-sqr-sqrt_binary64_100
662×unswap-sqr_binary64_387
626×*-un-lft-identity_binary64_78
523×cbrt-prod_binary64_450
500×add-exp-log_binary64
455×associate-*r*_binary64
445×add-cube-cbrt_binary64_113
439×distribute-lft-out_binary64_370
414×sqrt-prod_binary64_94
411×distribute-lft-out--_binary64
410×pow1_binary64
407×add-cbrt-cube_binary64
383×associate-*l*_binary64
363×times-frac_binary64_84
312×sqr-pow_binary64
304×unpow-prod-down_binary64
292×distribute-lft-out_binary64
287×add-exp-log_binary64_457
278×sqrt-div_binary64
274×associate-/l*_binary64
253×log-prod_binary64
236×add-cbrt-cube_binary64_455
235×add-log-exp_binary64
201×cbrt-div_binary64
199×distribute-rgt-neg-in_binary64
197×cube-prod_binary64
191×distribute-lft-neg-in_binary64
184×associate-/r*_binary64
173×cbrt-div_binary64_451
163×pow1_binary64_139
158×flip3--_binary64 flip--_binary64 add-log-exp_binary64_117
145×add-exp-log_binary64_116
144×pow1_binary64_480
142×difference-of-squares_binary64_47
135×difference-of-sqr-1_binary64
124×add-cbrt-cube_binary64_114
115×unpow-prod-down_binary64_157
103×cbrt-prod_binary64_109
102×unswap-sqr_binary64 div-inv_binary64
100×pow-unpow_binary64_155 exp-prod_binary64_130
99×flip3-+_binary64 prod-exp_binary64 flip-+_binary64
98×add-log-exp_binary64_458
94×div-inv_binary64_416 sqrt-div_binary64_95
91×div-exp_binary64
87×sqr-pow_binary64_50
86×associate-*l/_binary64_362 associate-*r/_binary64 frac-times_binary64_429 associate-/l*_binary64_364
84×associate-*r/_binary64_361
82×swap-sqr_binary64
80×div-exp_binary64_470
78×sqrt-pow1_binary64
77×cancel-sign-sub-inv_binary64 cbrt-unprod_binary64
75×pow1/3_binary64 associate-/r*_binary64_363
71×associate-/r/_binary64 cbrt-undiv_binary64
70×frac-sub_binary64_428
66×pow-prod-down_binary64 pow1/2_binary64 associate-*r*_binary64_18
63×prod-exp_binary64_468
61×distribute-lft-out_binary64_29
60×log-pow_binary64
58×cbrt-undiv_binary64_453
55×flip--_binary64_53 sqrt-pow1_binary64_96 flip3--_binary64_82
54×cancel-sign-sub-inv_binary64_44
53×associate-/l*_binary64_23 frac-times_binary64
47×rem-sqrt-square_binary64
45×cbrt-unprod_binary64_452
44×associate-/l/_binary64 pow1/3_binary64_501
43×associate-/r*_binary64_22
41×pow1/2_binary64_158
40×associate-*l/_binary64
39×distribute-rgt-neg-in_binary64_36
37×distribute-lft-neg-in_binary64_35 rem-sqrt-square_binary64_91
36×sqrt-div_binary64_436
35×neg-mul-1_binary64
34×pow-pow_binary64_150 cube-prod_binary64_106 log-div_binary64
33×exp-prod_binary64_471
31×clear-num_binary64 frac-2neg_binary64
28×*-commutative_binary64
26×associate-*l*_binary64_19
25×distribute-lft-out--_binary64_30
23×exp-prod_binary64
22×div-exp_binary64_129 sub-neg_binary64_71
21×flip-+_binary64_52 associate-/l/_binary64_366 pow-exp_binary64_146 flip3-+_binary64_81
19×log-pow_binary64_508 unpow-prod-up_binary64_156 exp-sum_binary64 associate--l+_binary64
18×pow-prod-down_binary64_490 cbrt-div_binary64_110 exp-sum_binary64_124 diff-log_binary64_170 unpow3_binary64 pow1/3_binary64_160
17×associate-+r+_binary64 log-pow_binary64_167 log-prod_binary64_505
16×swap-sqr_binary64_386 sum-log_binary64 cube-mult_binary64 distribute-rgt-in_binary64 distribute-lft-in_binary64 div-inv_binary64_75
15×swap-sqr_binary64_45 rem-exp-log_binary64_118 rem-log-exp_binary64 sqrt-pow1_binary64_437
14×sub-neg_binary64 *-commutative_binary64_350 cbrt-undiv_binary64_112
13×unpow-prod-down_binary64_498 unswap-sqr_binary64_46 pow-prod-up_binary64_489
12×clear-num_binary64_418 pow-to-exp_binary64_147 flip3--_binary64_423 diff-log_binary64 frac-2neg_binary64_430 flip--_binary64_394 associate-/l/_binary64_25 distribute-neg-frac_binary64
11×1-exp_binary64_463 pow-to-exp_binary64 neg-sub0_binary64 exp-sum_binary64_465 pow-exp_binary64 rec-exp_binary64_469 +-commutative_binary64
10×sqrt-unprod_binary64 sub-neg_binary64_412 prod-exp_binary64_127 cancel-sign-sub-inv_binary64_385 pow-sqr_binary64 pow-prod-up_binary64 sum-log_binary64_169
9×pow-prod-up_binary64_148 distribute-rgt-out_binary64_31 frac-2neg_binary64_89 clear-num_binary64_77 cube-div_binary64 pow-prod-down_binary64_149 diff-log_binary64_511
8×pow-flip_binary64_493 neg-log_binary64 e-exp-1_binary64_123 frac-times_binary64_88
7×+-commutative_binary64_8 sqrt-undiv_binary64 flip3-+_binary64_422 cbrt-unprod_binary64_111 associate-/r/_binary64_24 pow-sqr_binary64_51 neg-sub0_binary64_73 flip-+_binary64_393
6×pow-sub_binary64_154 distribute-lft-neg-in_binary64_376 associate--l-_binary64 cube-div_binary64_107 neg-mul-1_binary64_74 inv-pow_binary64_504 rem-exp-log_binary64 pow-unpow_binary64 sqrt-undiv_binary64_440 associate-*r/_binary64_20 pow-pow_binary64 distribute-rgt-neg-in_binary64_377 neg-log_binary64_171
5×associate--r+_binary64 sum-cubes_binary64_79 div-sub_binary64 pow-plus_binary64 pow-sqr_binary64_392 distribute-frac-neg_binary64 pow2_binary64 div-sub_binary64_424
4×difference-cubes_binary64 *-commutative_binary64_9 associate-*l/_binary64_21 associate-+l-_binary64 distribute-neg-in_binary64_39 frac-add_binary64 pow2_binary64_500 distribute-rgt-out_binary64 exp-diff_binary64_126 pow-plus_binary64_482 exp-diff_binary64 pow-exp_binary64_487
3×log-prod_binary64_164 pow-pow_binary64_491 exp-diff_binary64_467 count-2_binary64_26 pow-plus_binary64_141 pow-unpow_binary64_496 distribute-lft1-in_binary64_33 distribute-rgt1-in_binary64_34 unpow3_binary64_144 pow-flip_binary64 pow2_binary64_159 cube-mult_binary64_108 inv-pow_binary64 pow-neg_binary64_151 sub-div_binary64_426
2×associate-+l-_binary64_13 rem-cbrt-cube_binary64_102 distribute-rgt1-in_binary64 pow-div_binary64 distribute-rgt-neg-out_binary64 rec-exp_binary64 associate-+r-_binary64 rem-cbrt-cube_binary64 1-exp_binary64 rem-exp-log_binary64_459 log-div_binary64_506 exp-neg_binary64_125 sqrt-undiv_binary64_99 rem-log-exp_binary64_460 neg-mul-1_binary64_415 associate--r-_binary64 pow1/2_binary64_499 exp-to-pow_binary64_140
1×count-2_binary64 rec-exp_binary64_128 sqrt-pow2_binary64 un-div-inv_binary64_76 1-exp_binary64_122 frac-sub_binary64 sqr-pow_binary64_391 distribute-lft-neg-out_binary64_37 rem-log-exp_binary64_119 distribute-lft1-in_binary64 pow-to-exp_binary64_488 rem-cube-cbrt_binary64 sqrt-unprod_binary64_439 un-div-inv_binary64 difference-of-sqr-1_binary64_48 difference-of-sqr--1_binary64_49 distribute-lft-neg-out_binary64 rem-sqrt-square_binary64_432
Calls

704 calls:

4.8s
(*.f64 (/.f64 (/.f64 (sqrt.f64 (+.f64 x 4)) (sqrt.f64 (sqrt.f64 (sqrt.f64 y)))) (sqrt.f64 y)) (/.f64 (/.f64 (sqrt.f64 (+.f64 x 4)) (sqrt.f64 (sqrt.f64 (sqrt.f64 y)))) (sqrt.f64 (sqrt.f64 y))))
188.0ms
(*.f64 (/.f64 1 (sqrt.f64 y)) (/.f64 (/.f64 (+.f64 x 4) (sqrt.f64 (sqrt.f64 y))) (sqrt.f64 (sqrt.f64 y))))
163.0ms
(*.f64 (/.f64 (sqrt.f64 (+.f64 f n)) (sqrt.f64 (-.f64 f n))) (/.f64 (neg.f64 (sqrt.f64 (+.f64 f n))) (sqrt.f64 (-.f64 f n))))
51.0ms
(*.f64 (/.f64 (neg.f64 (cbrt.f64 (+.f64 f n))) (sqrt.f64 (-.f64 f n))) (cbrt.f64 (+.f64 f n)))
47.0ms
(+.f64 b (exp.f64 (log.f64 (/.f64 (sqrt.f64 (-.f64 (pow.f64 b 6) (pow.f64 (*.f64 (*.f64 4 a) c) 3))) (sqrt.f64 (+.f64 (pow.f64 b 4) (*.f64 4 (*.f64 (+.f64 (*.f64 (*.f64 4 a) c) (*.f64 b b)) (*.f64 a c)))))))))

analyze2.3s (0.3%)

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
Compiler

Compiled 144 to 110 computations (23.6% saved)

localize2.1s (0.3%)

Compiler

Compiled 26010 to 43350 computations (-66.7% saved)

bsearch1.7s (0.2%)

Compiler

Compiled 1847 to 1293 computations (30% saved)

end2.0ms (0%)

Profiling

Loading profile data...