Details

Time bar (total: 5.9s)

analyze124.0ms (2.1%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02018
12018
022
122
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
50%50%0.1%3
50%50%0.1%4
74.9%25%0.1%5
74.9%25%0.1%6
87.4%12.5%0.1%7
87.4%12.5%0.1%8
93.7%6.2%0.1%9
93.7%6.2%0.1%10
96.8%3.1%0.1%11
96.8%3.1%0.1%12
98.3%1.6%0.1%13
98.3%1.6%0.1%14
Compiler

Compiled 7 to 7 computations (0% saved)

sample16.0ms (0.3%)

Algorithm
1×intervals
Results
7.0ms256×body128valid
Compiler

Compiled 13 to 15 computations (-15.4% saved)

simplify7.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0129
1129

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 12 to 12 computations (0% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

16.9b
(cbrt.f64 (/.f64 g (*.f64 2 a)))

rewrite27.0ms (0.5%)

Algorithm
1×rewrite-expression-head
Error
0.4b
Rules
7×cbrt-prod_binary64_1473
3×add-cube-cbrt_binary64_1477 add-sqr-sqrt_binary64_1464 times-frac_binary64_1448 *-un-lft-identity_binary64_1442
1×pow1/3_binary64_1524 pow1_binary64_1503 add-log-exp_binary64_1481 add-exp-log_binary64_1480 add-cbrt-cube_binary64_1478 cbrt-div_binary64_1474 div-inv_binary64_1439
Counts
1 → 16
Calls

1 calls:

3.0ms
(cbrt.f64 (/.f64 g (*.f64 2 a)))
Compiler

Compiled 194 to 140 computations (27.8% saved)

series239.0ms (4.1%)

Error
5.2b
Counts
1 → 6
Calls

1 calls:

231.0ms
(cbrt.f64 (/.f64 g (*.f64 2 a)))
Compiler

Compiled 240 to 227 computations (5.4% saved)

simplify105.0ms (1.8%)

Algorithm
1×egg-herbie
Counts
22 → 22
Iterations

Useful iterations: 0 (96.0ms)

IterNodesCost
04788281
14788281

prune29.0ms (0.5%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New15722
Fresh000
Picked011
Done000
Total15823
Error
0.2b
Counts
23 → 8
Compiler

Compiled 308 to 225 computations (26.9% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.4b
(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))
0.6b
(cbrt.f64 g)
0.6b
(cbrt.f64 (/.f64 1/2 a))

rewrite96.0ms (1.6%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
39×cbrt-prod_binary64_1473
35×add-sqr-sqrt_binary64_1464
21×add-cube-cbrt_binary64_1477 *-un-lft-identity_binary64_1442
20×times-frac_binary64_1448
16×associate-*r*_binary64_1382
6×unswap-sqr_binary64_1410 associate-*l*_binary64_1383
5×pow1_binary64_1503 add-exp-log_binary64_1480
4×pow1/3_binary64_1524
3×add-log-exp_binary64_1481 add-cbrt-cube_binary64_1478
2×cbrt-div_binary64_1474 div-inv_binary64_1439 pow-prod-down_binary64_1513
1×prod-exp_binary64_1491 cbrt-unprod_binary64_1475 associate-*r/_binary64_1384 *-commutative_binary64_1373
Counts
3 → 74
Calls

3 calls:

11.0ms
(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))
2.0ms
(cbrt.f64 (/.f64 1/2 a))
1.0ms
(cbrt.f64 g)
Compiler

Compiled 1018 to 641 computations (37% saved)

series396.0ms (6.7%)

Error
0.2b
Counts
3 → 12
Calls

3 calls:

234.0ms
(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))
81.0ms
(cbrt.f64 (/.f64 1/2 a))
71.0ms
(cbrt.f64 g)
Compiler

Compiled 435 to 408 computations (6.2% saved)

simplify64.0ms (1.1%)

Algorithm
1×egg-herbie
Counts
86 → 86
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
051851121

prune93.0ms (1.6%)

Pruning

15 alts after pruning (14 fresh and 1 done)

PrunedKeptTotal
New761086
Fresh246
Picked101
Done011
Total791594
Error
0.0b
Counts
94 → 15
Compiler

Compiled 1254 to 830 computations (33.8% saved)

localize7.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.4b
(/.f64 (*.f64 (cbrt.f64 1/2) (cbrt.f64 g)) (cbrt.f64 a))
0.5b
(*.f64 (cbrt.f64 1/2) (cbrt.f64 g))
0.5b
(cbrt.f64 a)
0.6b
(cbrt.f64 g)

rewrite85.0ms (1.4%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
22×cbrt-prod_binary64_1473 add-sqr-sqrt_binary64_1464
14×add-cube-cbrt_binary64_1477 *-un-lft-identity_binary64_1442
11×add-exp-log_binary64_1480
6×pow1_binary64_1503 associate-*l*_binary64_1383 associate-*r*_binary64_1382 times-frac_binary64_1448 associate-/r*_binary64_1386
5×add-cbrt-cube_binary64_1478
4×pow1/3_binary64_1524 add-log-exp_binary64_1481 unswap-sqr_binary64_1410
2×pow-prod-down_binary64_1513 prod-exp_binary64_1491 cbrt-unprod_binary64_1475 div-exp_binary64_1493 cbrt-undiv_binary64_1476
1×*-commutative_binary64_1373 frac-2neg_binary64_1453 clear-num_binary64_1441 div-inv_binary64_1439 associate-/l*_binary64_1387
Counts
4 → 77
Calls

4 calls:

6.0ms
(*.f64 (cbrt.f64 1/2) (cbrt.f64 g))
6.0ms
(/.f64 (*.f64 (cbrt.f64 1/2) (cbrt.f64 g)) (cbrt.f64 a))
1.0ms
(cbrt.f64 g)
1.0ms
(cbrt.f64 a)
Compiler

Compiled 1006 to 542 computations (46.1% saved)

series502.0ms (8.5%)

Error
0.0b
Counts
4 → 15
Calls

4 calls:

250.0ms
(/.f64 (*.f64 (cbrt.f64 1/2) (cbrt.f64 g)) (cbrt.f64 a))
95.0ms
(*.f64 (cbrt.f64 1/2) (cbrt.f64 g))
73.0ms
(cbrt.f64 g)
71.0ms
(cbrt.f64 a)
Compiler

Compiled 546 to 508 computations (7% saved)

simplify59.0ms (1%)

Algorithm
1×egg-herbie
Counts
92 → 92
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
049561023
149561023

prune85.0ms (1.4%)

Pruning

16 alts after pruning (14 fresh and 2 done)

PrunedKeptTotal
New88492
Fresh31013
Picked011
Done011
Total9116107
Error
0.0b
Counts
107 → 16
Compiler

Compiled 1262 to 756 computations (40.1% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.4b
(/.f64 (cbrt.f64 (*.f64 g (pow.f64 (cbrt.f64 1/2) 3))) (cbrt.f64 a))
0.5b
(cbrt.f64 a)
0.6b
(cbrt.f64 (*.f64 g (pow.f64 (cbrt.f64 1/2) 3)))
1.0b
(pow.f64 (cbrt.f64 1/2) 3)

rewrite127.0ms (2.2%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
32×cbrt-prod_binary64_1473
27×add-cube-cbrt_binary64_1477 add-sqr-sqrt_binary64_1464 *-un-lft-identity_binary64_1442
24×times-frac_binary64_1448
7×add-exp-log_binary64_1480
6×unpow-prod-down_binary64_1521 cube-prod_binary64_1470 associate-/r*_binary64_1386
5×pow1_binary64_1503
4×add-log-exp_binary64_1481 add-cbrt-cube_binary64_1478 associate-/l*_binary64_1387
3×pow-unpow_binary64_1519 pow1/3_binary64_1524
2×pow-pow_binary64_1514
1×pow-to-exp_binary64_1511 pow-exp_binary64_1510 unpow3_binary64_1508 cube-mult_binary64_1472 rem-cube-cbrt_binary64_1465 sqr-pow_binary64_1414 div-exp_binary64_1493 cbrt-undiv_binary64_1476 frac-2neg_binary64_1453 clear-num_binary64_1441 div-inv_binary64_1439
Counts
4 → 96
Calls

4 calls:

7.0ms
(cbrt.f64 (*.f64 g (pow.f64 (cbrt.f64 1/2) 3)))
5.0ms
(/.f64 (cbrt.f64 (*.f64 g (pow.f64 (cbrt.f64 1/2) 3))) (cbrt.f64 a))
3.0ms
(pow.f64 (cbrt.f64 1/2) 3)
1.0ms
(cbrt.f64 a)
Compiler

Compiled 1684 to 1216 computations (27.8% saved)

series445.0ms (7.6%)

Error
0.0b
Counts
4 → 12
Calls

4 calls:

255.0ms
(/.f64 (cbrt.f64 (*.f64 g (pow.f64 (cbrt.f64 1/2) 3))) (cbrt.f64 a))
97.0ms
(cbrt.f64 (*.f64 g (pow.f64 (cbrt.f64 1/2) 3)))
83.0ms
(cbrt.f64 a)
0.0ms
(pow.f64 (cbrt.f64 1/2) 3)
Compiler

Compiled 468 to 441 computations (5.8% saved)

simplify51.0ms (0.9%)

Algorithm
1×egg-herbie
Counts
108 → 108
Iterations

Useful iterations: 0 (31.0ms)

IterNodesCost
049381338
149381338

prune88.0ms (1.5%)

Pruning

15 alts after pruning (13 fresh and 2 done)

PrunedKeptTotal
New1062108
Fresh21113
Picked011
Done112
Total10915124
Error
0.0b
Counts
124 → 15
Compiler

Compiled 1387 to 925 computations (33.3% saved)

regimes1.0s (17.7%)

Accuracy

Total 0.8b remaining (99%)

Threshold costs 0.8b (99%)

Compiler

Compiled 6995 to 6292 computations (10.1% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01214
11214

end0.0ms (0%)

sample2.2s (37%)

Algorithm
1×intervals
Results
232.0ms8000×body128valid
Compiler

Compiled 1334 to 1203 computations (9.8% saved)

Profiling

Loading profile data...