Details

Time bar (total: 2.1s)

analyze52.0ms (2.4%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
50%50%0.1%5
56.2%43.7%0.1%6
71.8%28.1%0.1%7
73.4%25%1.7%8
80.4%16.4%3.2%9
80.8%14%5.2%10
84.1%8.8%7.1%11
84.2%7.4%8.4%12
85.8%4.5%9.7%13
85.8%3.8%10.4%14
Compiler

Compiled 6 to 6 computations (0% saved)

sample18.0ms (0.8%)

Algorithm
1×intervals
Results
11.0ms256×body128valid
0.0ms8×body128invalid
Compiler

Compiled 11 to 13 computations (-18.2% saved)

simplify98.0ms (4.6%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0117
1117

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0.2b
Counts
2 → 1
Compiler

Compiled 10 to 10 computations (0% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.2b
(/.f64 x (*.f64 y 3))
0.2b
(/.f64 x (*.f64 y 3))

rewrite6.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
6×add-cbrt-cube_binary64_21256 add-exp-log_binary64_21258
3×add-cube-cbrt_binary64_21255 times-frac_binary64_21226 associate-/l*_binary64_21165 *-un-lft-identity_binary64_21220 add-sqr-sqrt_binary64_21242
2×div-exp_binary64_21271 cbrt-undiv_binary64_21254
1×pow1_binary64_21281 add-log-exp_binary64_21259 prod-exp_binary64_21269 div-inv_binary64_21217 associate-/r*_binary64_21164 clear-num_binary64_21219 cbrt-unprod_binary64_21253 frac-2neg_binary64_21231
Counts
1 → 21
Calls

2 calls:

5.0ms
(/.f64 x (*.f64 y 3))
0.0ms
(/.f64 x (*.f64 y 3))

series62.0ms (2.9%)

Counts
1 → 6
Calls

1 calls:

62.0ms
(/.f64 x (*.f64 y 3))
Compiler

Compiled 60 to 60 computations (0% saved)

simplify120.0ms (5.6%)

Algorithm
1×egg-herbie
Counts
27 → 27
Iterations

Useful iterations: 0 (112.0ms)

IterNodesCost
04849238
14849238

prune25.0ms (1.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New23427
Fresh000
Picked011
Done000
Total23528
Error
0b
Counts
28 → 5
Compiler

Compiled 234 to 160 computations (31.6% saved)

localize4.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.2b
(/.f64 (/.f64 x y) 3)
0.2b
(/.f64 (/.f64 x y) 3)

rewrite12.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
75×times-frac_binary64_21226
43×add-cube-cbrt_binary64_21255 *-un-lft-identity_binary64_21220 add-sqr-sqrt_binary64_21242
13×associate-/l*_binary64_21165
6×add-cbrt-cube_binary64_21256 add-exp-log_binary64_21258
5×div-inv_binary64_21217
3×div-exp_binary64_21271 cbrt-undiv_binary64_21254 associate-/r*_binary64_21164
1×pow1_binary64_21281 add-log-exp_binary64_21259 associate-/l/_binary64_21167 clear-num_binary64_21219 frac-2neg_binary64_21231
Counts
1 → 70
Calls

2 calls:

6.0ms
(/.f64 (/.f64 x y) 3)
0.0ms
(/.f64 (/.f64 x y) 3)

series58.0ms (2.7%)

Counts
1 → 6
Calls

1 calls:

58.0ms
(/.f64 (/.f64 x y) 3)
Compiler

Compiled 60 to 60 computations (0% saved)

simplify92.0ms (4.3%)

Algorithm
1×egg-herbie
Counts
76 → 76
Iterations

Useful iterations: 0 (75.0ms)

IterNodesCost
049901226
149901226

prune52.0ms (2.4%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New76076
Fresh033
Picked011
Done011
Total76581
Error
0b
Counts
81 → 5
Compiler

Compiled 976 to 475 computations (51.3% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

0.3b
(*.f64 (/.f64 1 y) (/.f64 x 3))
0.3b
(*.f64 (/.f64 1 y) (/.f64 x 3))

rewrite17.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
32×add-sqr-sqrt_binary64_21242
25×times-frac_binary64_21226
23×add-exp-log_binary64_21258
17×*-un-lft-identity_binary64_21220
15×add-cube-cbrt_binary64_21255
13×associate-*r*_binary64_21160 add-cbrt-cube_binary64_21256 associate-*l*_binary64_21161
8×div-exp_binary64_21271 prod-exp_binary64_21269
6×unswap-sqr_binary64_21188
4×cbrt-undiv_binary64_21254 cbrt-unprod_binary64_21253
3×pow1_binary64_21281
2×1-exp_binary64_21264 div-inv_binary64_21217 rec-exp_binary64_21270
1×frac-times_binary64_21230 add-log-exp_binary64_21259 associate-*l/_binary64_21163 *-commutative_binary64_21151 associate-*r/_binary64_21162 pow-prod-down_binary64_21291
Counts
1 → 56
Calls

2 calls:

12.0ms
(*.f64 (/.f64 1 y) (/.f64 x 3))
0.0ms
(*.f64 (/.f64 1 y) (/.f64 x 3))

series57.0ms (2.6%)

Counts
1 → 6
Calls

1 calls:

56.0ms
(*.f64 (/.f64 1 y) (/.f64 x 3))
Compiler

Compiled 60 to 60 computations (0% saved)

simplify97.0ms (4.5%)

Algorithm
1×egg-herbie
Counts
62 → 62
Iterations

Useful iterations: 0 (81.0ms)

IterNodesCost
04988674
14988674

prune42.0ms (2%)

Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New62062
Fresh022
Picked011
Done022
Total62567
Error
0b
Counts
67 → 5
Compiler

Compiled 667 to 457 computations (31.5% saved)

localize5.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b
(/.f64 1 (/.f64 y (/.f64 x 3)))
0.2b
(/.f64 y (/.f64 x 3))
0.2b
(/.f64 y (/.f64 x 3))
0.3b
(/.f64 1 (/.f64 y (/.f64 x 3)))

rewrite53.0ms (2.5%)

Algorithm
1×rewrite-expression-head
Rules
471×times-frac_binary64_21226
229×add-cube-cbrt_binary64_21255 *-un-lft-identity_binary64_21220 add-sqr-sqrt_binary64_21242
57×associate-/r*_binary64_21164
28×add-exp-log_binary64_21258
22×div-inv_binary64_21217
18×div-exp_binary64_21271
16×add-cbrt-cube_binary64_21256
9×cbrt-undiv_binary64_21254
6×associate-/l*_binary64_21165 associate-/r/_binary64_21166
3×pow1_binary64_21281 1-exp_binary64_21264 rec-exp_binary64_21270
2×add-log-exp_binary64_21259 clear-num_binary64_21219 frac-2neg_binary64_21231
1×inv-pow_binary64_21305 pow-flip_binary64_21294
Counts
2 → 274
Calls

4 calls:

16.0ms
(/.f64 1 (/.f64 y (/.f64 x 3)))
6.0ms
(/.f64 y (/.f64 x 3))
0.0ms
(/.f64 y (/.f64 x 3))
0.0ms
(/.f64 1 (/.f64 y (/.f64 x 3)))

series115.0ms (5.4%)

Counts
2 → 12
Calls

2 calls:

59.0ms
(/.f64 y (/.f64 x 3))
56.0ms
(/.f64 1 (/.f64 y (/.f64 x 3)))
Compiler

Compiled 144 to 144 computations (0% saved)

simplify158.0ms (7.4%)

Algorithm
1×egg-herbie
Counts
286 → 286
Iterations

Useful iterations: 0 (96.0ms)

IterNodesCost
049075609
149075609

prune244.0ms (11.4%)

Pruning

5 alts after pruning (1 fresh and 4 done)

PrunedKeptTotal
New2860286
Fresh011
Picked011
Done033
Total2865291
Error
0b
Counts
291 → 5
Compiler

Compiled 4392 to 2696 computations (38.6% saved)

simplify4.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
050167
150167

regimes127.0ms (5.9%)

Compiler

Compiled 594 to 578 computations (2.7% saved)

bsearch0.0ms (0%)

regimes19.0ms (0.9%)

Compiler

Compiled 30 to 46 computations (-53.3% saved)

bsearch0.0ms (0%)

regimes18.0ms (0.9%)

Accuracy

Total 0.2b remaining (99.2%)

Threshold costs 0.2b (99.2%)

Compiler

Compiled 10 to 26 computations (-160% saved)

bsearch2.0ms (0.1%)

Compiler

Compiled 12 to 16 computations (-33.3% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01016
11016

end0.0ms (0%)

sample573.0ms (26.7%)

Algorithm
1×intervals
Results
168.0ms8000×body128valid
4.0ms198×body128invalid
Compiler

Compiled 138 to 138 computations (0% saved)

Pareto

0.0

Profiling

Loading profile data...