Details

Time bar (total: 3.5s)

analyze256.0ms (7.3%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05420
15420
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
37.5%62.4%0.1%6
50%37.5%12.6%7
56.2%31.2%12.6%8
62.4%18.7%18.8%9
65.6%15.6%18.8%10
68.7%9.4%22%11
70.2%7.8%22%12
71.8%4.7%23.5%13
72.6%3.9%23.5%14
Compiler

Compiled 8 to 7 computations (12.5% saved)

sample26.0ms (0.7%)

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

Compiled 15 to 15 computations (0% saved)

simplify15.0ms (0.4%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (4.0ms)

IterNodesCost
03510
13510

prune9.0ms (0.3%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Compiled 14 to 12 computations (14.3% saved)

localize10.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

rewrite51.0ms (1.5%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
16×pow1_binary64_19576 add-exp-log_binary64_19553 add-cbrt-cube_binary64_19551
9×pow-prod-down_binary64_19586 prod-exp_binary64_19564 cbrt-unprod_binary64_19548
6×associate-*r*_binary64_19455
4×add-cube-cbrt_binary64_19550 add-sqr-sqrt_binary64_19537 *-un-lft-identity_binary64_19515
2×add-log-exp_binary64_19554 associate-*l*_binary64_19456 *-commutative_binary64_19446
Counts
2 → 39
Calls

2 calls:

7.0ms
(*.f64 (*.f64 (*.f64 x 3) y) y)
5.0ms
(*.f64 (*.f64 x 3) y)
Compiler

Compiled 503 to 300 computations (40.4% saved)

series139.0ms (4%)

Error
0.1b
Counts
2 → 12
Calls

2 calls:

77.0ms
(*.f64 (*.f64 (*.f64 x 3) y) y)
56.0ms
(*.f64 (*.f64 x 3) y)
Compiler

Compiled 252 to 207 computations (17.9% saved)

simplify52.0ms (1.5%)

Algorithm
1×egg-herbie
Counts
51 → 51
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
05058502

prune52.0ms (1.5%)

Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New43851
Fresh000
Picked011
Done000
Total43952
Error
0.0b
Counts
52 → 9
Compiler

Compiled 571 to 310 computations (45.7% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite47.0ms (1.3%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
16×pow1_binary64_19576 add-exp-log_binary64_19553 add-cbrt-cube_binary64_19551
9×pow-prod-down_binary64_19586 prod-exp_binary64_19564 cbrt-unprod_binary64_19548
4×add-cube-cbrt_binary64_19550 add-sqr-sqrt_binary64_19537 *-un-lft-identity_binary64_19515 associate-*l*_binary64_19456 associate-*r*_binary64_19455
2×add-log-exp_binary64_19554 *-commutative_binary64_19446
Counts
2 → 39
Calls

2 calls:

9.0ms
(*.f64 (*.f64 x (*.f64 3 y)) y)
5.0ms
(*.f64 x (*.f64 3 y))
Compiler

Compiled 503 to 304 computations (39.6% saved)

series142.0ms (4%)

Error
0.0b
Counts
2 → 12
Calls

2 calls:

76.0ms
(*.f64 (*.f64 x (*.f64 3 y)) y)
60.0ms
(*.f64 x (*.f64 3 y))
Compiler

Compiled 252 to 207 computations (17.9% saved)

simplify58.0ms (1.7%)

Algorithm
1×egg-herbie
Counts
51 → 51
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
04936503
14936503

prune40.0ms (1.1%)

Pruning

8 alts after pruning (6 fresh and 2 done)

PrunedKeptTotal
New50151
Fresh257
Picked011
Done011
Total52860
Error
0.0b
Counts
60 → 8
Compiler

Compiled 556 to 298 computations (46.4% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.1b
(*.f64 (*.f64 3 (*.f64 x y)) y)
0.3b
(*.f64 3 (*.f64 x y))

rewrite40.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
16×pow1_binary64_19576 add-exp-log_binary64_19553 add-cbrt-cube_binary64_19551
9×pow-prod-down_binary64_19586 prod-exp_binary64_19564 cbrt-unprod_binary64_19548
4×add-cube-cbrt_binary64_19550 add-sqr-sqrt_binary64_19537 *-un-lft-identity_binary64_19515 associate-*l*_binary64_19456 associate-*r*_binary64_19455
2×add-log-exp_binary64_19554 *-commutative_binary64_19446
Counts
2 → 39
Calls

2 calls:

7.0ms
(*.f64 (*.f64 3 (*.f64 x y)) y)
5.0ms
(*.f64 3 (*.f64 x y))
Compiler

Compiled 503 to 262 computations (47.9% saved)

series170.0ms (4.8%)

Error
0.0b
Counts
2 → 12
Calls

2 calls:

93.0ms
(*.f64 (*.f64 3 (*.f64 x y)) y)
65.0ms
(*.f64 3 (*.f64 x y))
Compiler

Compiled 252 to 207 computations (17.9% saved)

simplify69.0ms (2%)

Algorithm
1×egg-herbie
Counts
51 → 51
Iterations

Useful iterations: 0 (55.0ms)

IterNodesCost
04998503
14998503

prune40.0ms (1.1%)

Pruning

7 alts after pruning (4 fresh and 3 done)

PrunedKeptTotal
New50151
Fresh235
Picked011
Done022
Total52759
Error
0.0b
Counts
59 → 7
Compiler

Compiled 524 to 275 computations (47.5% saved)

localize13.0ms (0.4%)

Local error

Found 3 expressions with local error:

0.1b
(*.f64 (*.f64 (sqrt.f64 3) (*.f64 (*.f64 x y) (sqrt.f64 3))) y)
0.3b
(*.f64 (*.f64 x y) (sqrt.f64 3))
0.4b
(*.f64 (sqrt.f64 3) (*.f64 (*.f64 x y) (sqrt.f64 3)))

rewrite110.0ms (3.2%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
31×pow1_binary64_19576 add-exp-log_binary64_19553 add-cbrt-cube_binary64_19551
19×pow-prod-down_binary64_19586 prod-exp_binary64_19564 cbrt-unprod_binary64_19548
10×associate-*r*_binary64_19455
8×add-cube-cbrt_binary64_19550 add-sqr-sqrt_binary64_19537 *-un-lft-identity_binary64_19515 associate-*l*_binary64_19456
6×sqrt-prod_binary64_19531
3×add-log-exp_binary64_19554 *-commutative_binary64_19446
Counts
3 → 69
Calls

3 calls:

12.0ms
(*.f64 (sqrt.f64 3) (*.f64 (*.f64 x y) (sqrt.f64 3)))
12.0ms
(*.f64 (*.f64 (sqrt.f64 3) (*.f64 (*.f64 x y) (sqrt.f64 3))) y)
6.0ms
(*.f64 (*.f64 x y) (sqrt.f64 3))
Compiler

Compiled 1271 to 859 computations (32.4% saved)

series407.0ms (11.6%)

Error
0.0b
Counts
3 → 18
Calls

3 calls:

154.0ms
(*.f64 (*.f64 (sqrt.f64 3) (*.f64 (*.f64 x y) (sqrt.f64 3))) y)
133.0ms
(*.f64 (sqrt.f64 3) (*.f64 (*.f64 x y) (sqrt.f64 3)))
108.0ms
(*.f64 (*.f64 x y) (sqrt.f64 3))
Compiler

Compiled 558 to 488 computations (12.5% saved)

simplify80.0ms (2.3%)

Algorithm
1×egg-herbie
Counts
87 → 87
Iterations

Useful iterations: 0 (60.0ms)

IterNodesCost
04984895
14984895

prune90.0ms (2.6%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New85287
Fresh123
Picked101
Done123
Total88694
Error
0.0b
Counts
94 → 6
Compiler

Compiled 1002 to 676 computations (32.5% saved)

regimes468.0ms (13.4%)

Accuracy

Total 0.3b remaining (99%)

Threshold costs 0.3b (99%)

Compiler

Compiled 2012 to 1600 computations (20.5% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01010
11010

end0.0ms (0%)

sample1.1s (31.6%)

Algorithm
1×intervals
Results
217.0ms8000×body128valid
5.0ms194×body128invalid
Compiler

Compiled 519 to 414 computations (20.2% saved)

Profiling

Loading profile data...