Details

Time bar (total: 1.8s)

analyze192.0ms (10.5%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03726
13726
022
122
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
25%74.9%0.1%5
25%74.9%0.1%6
56.2%43.7%0.1%7
56.2%43.7%0.1%8
76.5%23.4%0.1%9
76.5%23.4%0.1%10
87.8%12.1%0.1%11
87.8%12.1%0.1%12
93.8%6.1%0.1%13
93.8%6.1%0.1%14
Compiler

Compiled 10 to 8 computations (20% saved)

sample15.0ms (0.8%)

Algorithm
1×intervals
Results
8.0ms256×body128valid
Compiler

Compiled 19 to 17 computations (10.5% saved)

simplify8.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
03713
13713

prune2.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112
Error
14.7b
Counts
2 → 1
Compiler

Compiled 18 to 14 computations (22.2% saved)

localize10.0ms (0.5%)

Local error

Found 1 expressions with local error:

14.1b
(/.f64 (+.f64 x y) (*.f64 (*.f64 x 2) y))

rewrite11.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
10×add-exp-log_binary64_11710 add-cbrt-cube_binary64_11708
7×*-un-lft-identity_binary64_11672
4×times-frac_binary64_11678 associate-/l*_binary64_11617
3×cbrt-undiv_binary64_11706 cbrt-unprod_binary64_11705 div-exp_binary64_11723 add-cube-cbrt_binary64_11707 add-sqr-sqrt_binary64_11694 prod-exp_binary64_11721
2×distribute-lft-out_binary64_11623 associate-/l/_binary64_11619
1×pow1_binary64_11733 clear-num_binary64_11671 add-log-exp_binary64_11711 associate-/r*_binary64_11616 flip-+_binary64_11646 flip3-+_binary64_11675 frac-2neg_binary64_11683 div-inv_binary64_11669
Counts
1 → 27
Calls

1 calls:

9.0ms
(/.f64 (+.f64 x y) (*.f64 (*.f64 x 2) y))

series35.0ms (1.9%)

Counts
1 → 3
Calls

1 calls:

35.0ms
(/.f64 (+.f64 x y) (*.f64 (*.f64 x 2) y))

simplify45.0ms (2.5%)

Algorithm
1×egg-herbie
Counts
30 → 30
Iterations

Useful iterations: 0 (35.0ms)

IterNodesCost
05367451

prune33.0ms (1.8%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New27330
Fresh000
Picked101
Done000
Total28331
Error
0b
Counts
31 → 3
Compiler

Compiled 414 to 207 computations (50% saved)

localize5.0ms (0.3%)

Local error

Found 1 expressions with local error:

0.0b
(+.f64 (/.f64 1/2 x) (/.f64 1/2 y))

rewrite16.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Rules
11×*-un-lft-identity_binary64_11672
6×times-frac_binary64_11678
5×distribute-lft-out_binary64_11623
3×add-log-exp_binary64_11711 add-cube-cbrt_binary64_11707 add-sqr-sqrt_binary64_11694
2×div-inv_binary64_11669
1×pow1_binary64_11733 sum-log_binary64_11763 flip-+_binary64_11646 flip3-+_binary64_11675 +-commutative_binary64_11602 add-exp-log_binary64_11710 frac-add_binary64_11680 add-cbrt-cube_binary64_11708
Counts
1 → 17
Calls

1 calls:

15.0ms
(+.f64 (/.f64 1/2 x) (/.f64 1/2 y))

series19.0ms (1%)

Counts
1 → 3
Calls

1 calls:

19.0ms
(+.f64 (/.f64 1/2 x) (/.f64 1/2 y))

simplify92.0ms (5%)

Algorithm
1×egg-herbie
Counts
20 → 20
Iterations

Useful iterations: 0 (83.0ms)

IterNodesCost
05160274

prune17.0ms (0.9%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New20020
Fresh022
Picked011
Done000
Total20323
Error
0b
Counts
23 → 3
Compiler

Compiled 261 to 201 computations (23% saved)

localize7.0ms (0.4%)

Local error

Found 3 expressions with local error:

0.0b
(/.f64 (+.f64 x y) y)
0.0b
(/.f64 1 (/.f64 (*.f64 x 2) (/.f64 (+.f64 x y) y)))
7.6b
(/.f64 (*.f64 x 2) (/.f64 (+.f64 x y) y))

rewrite51.0ms (2.8%)

Algorithm
1×rewrite-expression-head
Rules
227×times-frac_binary64_11678
130×*-un-lft-identity_binary64_11672
86×add-cube-cbrt_binary64_11707 add-sqr-sqrt_binary64_11694
61×add-exp-log_binary64_11710
40×associate-/r*_binary64_11616
35×div-exp_binary64_11723 add-cbrt-cube_binary64_11708
22×distribute-lft-out_binary64_11623
18×cbrt-undiv_binary64_11706
13×div-inv_binary64_11669
8×prod-exp_binary64_11721 associate-/l*_binary64_11617
6×associate-/r/_binary64_11618
5×1-exp_binary64_11716 rec-exp_binary64_11722
4×cbrt-unprod_binary64_11705 pow1_binary64_11733
3×clear-num_binary64_11671 add-log-exp_binary64_11711 frac-2neg_binary64_11683
2×associate-/l/_binary64_11619
1×inv-pow_binary64_11757 pow-flip_binary64_11746 flip-+_binary64_11646 flip3-+_binary64_11675
Counts
3 → 205
Calls

3 calls:

14.0ms
(/.f64 1 (/.f64 (*.f64 x 2) (/.f64 (+.f64 x y) y)))
12.0ms
(/.f64 (*.f64 x 2) (/.f64 (+.f64 x y) y))
6.0ms
(/.f64 (+.f64 x y) y)

series89.0ms (4.9%)

Counts
3 → 9
Calls

3 calls:

39.0ms
(/.f64 (*.f64 x 2) (/.f64 (+.f64 x y) y))
33.0ms
(/.f64 1 (/.f64 (*.f64 x 2) (/.f64 (+.f64 x y) y)))
17.0ms
(/.f64 (+.f64 x y) y)

simplify98.0ms (5.4%)

Algorithm
1×egg-herbie
Counts
214 → 214
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
050414028

prune156.0ms (8.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New2140214
Fresh011
Picked011
Done011
Total2143217
Error
0b
Counts
217 → 3
Compiler

Compiled 3594 to 1447 computations (59.7% saved)

localize6.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.0b
(/.f64 (+.f64 x y) y)
7.7b
(*.f64 (/.f64 1/2 x) (/.f64 (+.f64 x y) y))

rewrite30.0ms (1.6%)

Algorithm
1×rewrite-expression-head
Rules
40×*-un-lft-identity_binary64_11672
38×add-sqr-sqrt_binary64_11694
37×times-frac_binary64_11678
26×add-cube-cbrt_binary64_11707
16×associate-*r*_binary64_11612 add-exp-log_binary64_11710 add-cbrt-cube_binary64_11708
13×associate-*l*_binary64_11613
7×distribute-lft-out_binary64_11623
5×cbrt-undiv_binary64_11706 div-exp_binary64_11723
4×cbrt-unprod_binary64_11705 pow1_binary64_11733 unswap-sqr_binary64_11640 prod-exp_binary64_11721 associate-/l*_binary64_11617
3×associate-/r*_binary64_11616 div-inv_binary64_11669
2×add-log-exp_binary64_11711 associate-/l/_binary64_11619
1×clear-num_binary64_11671 frac-times_binary64_11682 associate-*l/_binary64_11615 flip-+_binary64_11646 flip3-+_binary64_11675 associate-*r/_binary64_11614 frac-2neg_binary64_11683 *-commutative_binary64_11603 pow-prod-down_binary64_11743
Counts
2 → 86
Calls

2 calls:

17.0ms
(*.f64 (/.f64 1/2 x) (/.f64 (+.f64 x y) y))
6.0ms
(/.f64 (+.f64 x y) y)

series53.0ms (2.9%)

Counts
2 → 6
Calls

2 calls:

35.0ms
(*.f64 (/.f64 1/2 x) (/.f64 (+.f64 x y) y))
18.0ms
(/.f64 (+.f64 x y) y)

simplify58.0ms (3.1%)

Algorithm
1×egg-herbie
Counts
92 → 92
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
053611356

prune64.0ms (3.5%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New92092
Fresh000
Picked011
Done022
Total92395
Error
0b
Counts
95 → 3
Compiler

Compiled 1376 to 542 computations (60.6% saved)

regimes71.0ms (3.9%)

Accuracy

Total 0.0b remaining (86.5%)

Threshold costs 0.0b (86.5%)

Compiler

Compiled 544 to 391 computations (28.1% saved)

bsearch0.0ms (0%)

simplify4.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0810
1810
Compiler

Compiled 14 to 14 computations (0% saved)

end0.0ms (0%)

sample644.0ms (35.2%)

Algorithm
1×intervals
Results
242.0ms8000×body128valid
0.0ms1×body128invalid
Compiler

Compiled 198 to 147 computations (25.8% saved)

Profiling

Loading profile data...