Details

Time bar (total: 2.9s)

analyze99.0ms (3.5%)

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)

sample17.0ms (0.6%)

Algorithm
1×intervals
Results
9.0ms256×body128valid
0.0ms3×body128invalid
Compiler

Compiled 11 to 13 computations (-18.2% saved)

simplify159.0ms (5.5%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
0117
1117

prune3.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.2b

Counts
2 → 1
Compiler

Compiled 10 to 10 computations (0% saved)

localize7.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

rewrite11.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
6×add-cbrt-cube_binary64_20574 add-exp-log_binary64_20576
3×associate-/l*_binary64_20483 *-un-lft-identity_binary64_20538 times-frac_binary64_20544 add-cube-cbrt_binary64_20573 add-sqr-sqrt_binary64_20560
2×div-exp_binary64_20589 cbrt-undiv_binary64_20572
1×clear-num_binary64_20537 cbrt-unprod_binary64_20571 pow1_binary64_20599 frac-2neg_binary64_20549 add-log-exp_binary64_20577 prod-exp_binary64_20587 associate-/r*_binary64_20482 div-inv_binary64_20535
Counts
1 → 21
Calls

1 calls:

8.0ms
(/.f64 x (*.f64 y 3))

series22.0ms (0.8%)

Counts
1 → 3
Calls

1 calls:

22.0ms
(/.f64 x (*.f64 y 3))

simplify207.0ms (7.2%)

Algorithm
1×egg-herbie
Counts
24 → 24
Iterations

Useful iterations: 0 (193.0ms)

IterNodesCost
04849217
14849217

prune46.0ms (1.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New20424
Fresh000
Picked011
Done000
Total20525

Merged error: 0.0b

Counts
25 → 5
Compiler

Compiled 229 to 157 computations (31.4% saved)

localize7.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

rewrite24.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
75×times-frac_binary64_20544
43×*-un-lft-identity_binary64_20538 add-cube-cbrt_binary64_20573 add-sqr-sqrt_binary64_20560
13×associate-/l*_binary64_20483
6×add-cbrt-cube_binary64_20574 add-exp-log_binary64_20576
5×div-inv_binary64_20535
3×associate-/r*_binary64_20482 div-exp_binary64_20589 cbrt-undiv_binary64_20572
1×clear-num_binary64_20537 associate-/l/_binary64_20485 pow1_binary64_20599 frac-2neg_binary64_20549 add-log-exp_binary64_20577
Counts
1 → 70
Calls

1 calls:

12.0ms
(/.f64 (/.f64 x y) 3)

series25.0ms (0.9%)

Counts
1 → 3
Calls

1 calls:

25.0ms
(/.f64 (/.f64 x y) 3)

simplify166.0ms (5.8%)

Algorithm
1×egg-herbie
Counts
73 → 73
Iterations

Useful iterations: 0 (134.0ms)

IterNodesCost
049901205
149901205

prune78.0ms (2.7%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New72173
Fresh123
Picked011
Done011
Total73578

Merged error: 0b

Counts
78 → 5
Compiler

Compiled 965 to 473 computations (51% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

rewrite16.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
32×add-sqr-sqrt_binary64_20560
25×times-frac_binary64_20544
23×add-exp-log_binary64_20576
17×*-un-lft-identity_binary64_20538
15×add-cube-cbrt_binary64_20573
13×add-cbrt-cube_binary64_20574 associate-*r*_binary64_20478 associate-*l*_binary64_20479
8×prod-exp_binary64_20587 div-exp_binary64_20589
6×unswap-sqr_binary64_20506
4×cbrt-unprod_binary64_20571 cbrt-undiv_binary64_20572
3×pow1_binary64_20599
2×rec-exp_binary64_20588 div-inv_binary64_20535 1-exp_binary64_20582
1×associate-*l/_binary64_20481 associate-*r/_binary64_20480 pow-prod-down_binary64_20609 *-commutative_binary64_20469 add-log-exp_binary64_20577 frac-times_binary64_20548
Counts
1 → 56
Calls

1 calls:

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

series24.0ms (0.8%)

Counts
1 → 3
Calls

1 calls:

23.0ms
(*.f64 (/.f64 1 y) (/.f64 x 3))

simplify168.0ms (5.8%)

Algorithm
1×egg-herbie
Counts
59 → 59
Iterations

Useful iterations: 0 (140.0ms)

IterNodesCost
04988653
14988653

prune77.0ms (2.7%)

Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New59059
Fresh022
Picked011
Done022
Total59564

Merged error: 0b

Counts
64 → 5
Compiler

Compiled 656 to 452 computations (31.1% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite26.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Rules
23×add-sqr-sqrt_binary64_20560
19×times-frac_binary64_20544
18×*-un-lft-identity_binary64_20538 add-cube-cbrt_binary64_20573
13×associate-*r*_binary64_20478
9×add-cbrt-cube_binary64_20574 add-exp-log_binary64_20576
4×pow1_binary64_20599
3×associate-/l*_binary64_20483 associate-/r*_binary64_20482 associate-*l*_binary64_20479
2×cbrt-unprod_binary64_20571 add-log-exp_binary64_20577 prod-exp_binary64_20587 unswap-sqr_binary64_20506 div-inv_binary64_20535 div-exp_binary64_20589 cbrt-undiv_binary64_20572
1×clear-num_binary64_20537 associate-*r/_binary64_20480 pow-prod-down_binary64_20609 frac-2neg_binary64_20549 *-commutative_binary64_20469
Counts
2 → 59
Calls

2 calls:

15.0ms
(*.f64 x (/.f64 1/3 y))
5.0ms
(/.f64 1/3 y)

series38.0ms (1.3%)

Counts
2 → 6
Calls

2 calls:

20.0ms
(*.f64 x (/.f64 1/3 y))
18.0ms
(/.f64 1/3 y)

simplify194.0ms (6.8%)

Algorithm
1×egg-herbie
Counts
65 → 65
Iterations

Useful iterations: 0 (174.0ms)

IterNodesCost
04846610
14846610

prune58.0ms (2%)

Pruning

5 alts after pruning (1 fresh and 4 done)

PrunedKeptTotal
New65065
Fresh011
Picked011
Done033
Total65570

Merged error: 0b

Counts
70 → 5
Compiler

Compiled 624 to 405 computations (35.1% saved)

regimes307.0ms (10.7%)

Compiler

Compiled 1140 to 968 computations (15.1% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
067
167

end0.0ms (0%)

sample1.1s (37.5%)

Algorithm
1×intervals
Results
276.0ms8000×body128valid
7.0ms204×body128invalid
Compiler

Compiled 269 to 229 computations (14.9% saved)

Profiling

Loading profile data...