Details

Time bar (total: 3.4s)

analyze92.0ms (2.7%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
056
156
011
111
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
25%50%25%3
37.5%25%37.5%4
43.7%12.5%43.8%5
46.9%6.2%46.9%6
48.4%3.1%48.5%7
49.2%1.6%49.2%8
49.6%0.8%49.6%9
49.6%0.4%50%10
49.7%0.2%50.1%11
49.7%0.1%50.2%12
49.7%0%50.2%13
49.7%0%50.2%14
Compiler

Compiled 5 to 4 computations (20% saved)

sample19.0ms (0.5%)

Algorithm
1×intervals
Results
11.0ms256×body128valid
Compiler

Compiled 9 to 8 computations (11.1% saved)

simplify7.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
056
156

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 8 to 6 computations (25% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.3b
(*.f64 x (log.f64 x))

rewrite23.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
7×add-sqr-sqrt_binary64_441
6×log-prod_binary64_505
5×add-cube-cbrt_binary64_454 *-un-lft-identity_binary64_419
4×pow1_binary64_480 associate-*r*_binary64_359
3×add-exp-log_binary64_457 add-cbrt-cube_binary64_455 distribute-rgt-in_binary64_369 distribute-lft-in_binary64_368 associate-*l*_binary64_360
1×pow-prod-down_binary64_490 prod-exp_binary64_468 add-log-exp_binary64_458 cbrt-unprod_binary64_452 unswap-sqr_binary64_387 log-pow_binary64_508 *-commutative_binary64_350
Counts
1 → 25
Calls

1 calls:

5.0ms
(*.f64 x (log.f64 x))
Compiler

Compiled 239 to 76 computations (68.2% saved)

series75.0ms (2.2%)

Error
0.3b
Counts
1 → 3
Calls

1 calls:

73.0ms
(*.f64 x (log.f64 x))
Compiler

Compiled 63 to 52 computations (17.5% saved)

simplify72.0ms (2.1%)

Algorithm
1×egg-herbie
Counts
28 → 28
Iterations

Useful iterations: 0 (65.0ms)

IterNodesCost
04864265
14864265

prune21.0ms (0.6%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New22628
Fresh000
Picked011
Done000
Total22729
Error
0.0b
Counts
29 → 7
Compiler

Compiled 297 to 99 computations (66.7% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b
(*.f64 x (log.f64 (cbrt.f64 x)))
0.3b
(*.f64 x (*.f64 (log.f64 (cbrt.f64 x)) 2))
0.5b
(cbrt.f64 x)
0.5b
(cbrt.f64 x)

rewrite81.0ms (2.4%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
15×add-sqr-sqrt_binary64_441
13×add-cube-cbrt_binary64_454 *-un-lft-identity_binary64_419
12×pow1_binary64_480 cbrt-prod_binary64_450 log-prod_binary64_505
11×add-exp-log_binary64_457 add-cbrt-cube_binary64_455
6×associate-*l*_binary64_360 associate-*r*_binary64_359 distribute-rgt-in_binary64_369 distribute-lft-in_binary64_368
4×add-log-exp_binary64_458 pow-prod-down_binary64_490 prod-exp_binary64_468 cbrt-unprod_binary64_452
3×pow1/3_binary64_501
2×*-commutative_binary64_350 log-pow_binary64_508
1×unswap-sqr_binary64_387
Counts
4 → 72
Calls

4 calls:

5.0ms
(*.f64 x (log.f64 (cbrt.f64 x)))
5.0ms
(*.f64 x (*.f64 (log.f64 (cbrt.f64 x)) 2))
1.0ms
(cbrt.f64 x)
1.0ms
(cbrt.f64 x)
Compiler

Compiled 1347 to 503 computations (62.7% saved)

series487.0ms (14.3%)

Error
0.0b
Counts
4 → 12
Calls

4 calls:

168.0ms
(*.f64 x (*.f64 (log.f64 (cbrt.f64 x)) 2))
150.0ms
(*.f64 x (log.f64 (cbrt.f64 x)))
81.0ms
(cbrt.f64 x)
76.0ms
(cbrt.f64 x)
Compiler

Compiled 576 to 430 computations (25.3% saved)

simplify45.0ms (1.3%)

Algorithm
1×egg-herbie
Counts
84 → 84
Iterations

Useful iterations: 0 (32.0ms)

IterNodesCost
04974842
14974842

prune77.0ms (2.3%)

Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New78684
Fresh235
Picked101
Done011
Total811091
Error
0.0b
Counts
91 → 10
Compiler

Compiled 1541 to 624 computations (59.5% saved)

localize13.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.3b
(*.f64 x (*.f64 (log.f64 (cbrt.f64 x)) 2))
0.3b
(*.f64 x (log.f64 (pow.f64 x 1/3)))
0.5b
(cbrt.f64 x)
5.1b
(pow.f64 x 1/3)

rewrite105.0ms (3.1%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
16×add-sqr-sqrt_binary64_441
14×add-cube-cbrt_binary64_454 *-un-lft-identity_binary64_419 log-prod_binary64_505
12×pow1_binary64_480 add-exp-log_binary64_457
11×add-cbrt-cube_binary64_455
9×unpow-prod-down_binary64_498
7×distribute-rgt-in_binary64_369 distribute-lft-in_binary64_368
6×associate-*l*_binary64_360
5×associate-*r*_binary64_359
4×add-log-exp_binary64_458 pow-prod-down_binary64_490 prod-exp_binary64_468 cbrt-unprod_binary64_452
3×pow-unpow_binary64_496 sqr-pow_binary64_391 cbrt-prod_binary64_450
2×*-commutative_binary64_350
1×pow-pow_binary64_491 pow-to-exp_binary64_488 pow-exp_binary64_487 unpow1/3_binary64_486 pow1/3_binary64_501 unswap-sqr_binary64_387 log-pow_binary64_508
Counts
4 → 80
Calls

4 calls:

8.0ms
(*.f64 x (*.f64 (log.f64 (cbrt.f64 x)) 2))
6.0ms
(*.f64 x (log.f64 (pow.f64 x 1/3)))
2.0ms
(pow.f64 x 1/3)
1.0ms
(cbrt.f64 x)
Compiler

Compiled 1606 to 977 computations (39.2% saved)

series463.0ms (13.6%)

Error
0.0b
Counts
4 → 12
Calls

4 calls:

163.0ms
(*.f64 x (*.f64 (log.f64 (cbrt.f64 x)) 2))
149.0ms
(*.f64 x (log.f64 (pow.f64 x 1/3)))
70.0ms
(cbrt.f64 x)
69.0ms
(pow.f64 x 1/3)
Compiler

Compiled 606 to 477 computations (21.3% saved)

simplify75.0ms (2.2%)

Algorithm
1×egg-herbie
Counts
92 → 92
Iterations

Useful iterations: 0 (61.0ms)

IterNodesCost
05098861

prune85.0ms (2.5%)

Pruning

11 alts after pruning (10 fresh and 1 done)

PrunedKeptTotal
New90292
Fresh088
Picked101
Done011
Total9111102
Error
0.0b
Counts
102 → 11
Compiler

Compiled 1735 to 923 computations (46.8% saved)

localize16.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.5b
(cbrt.f64 x)
0.5b
(cbrt.f64 x)
0.6b
(cbrt.f64 (cbrt.f64 x))
0.6b
(cbrt.f64 (cbrt.f64 x))

rewrite61.0ms (1.8%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
24×cbrt-prod_binary64_450
10×add-cube-cbrt_binary64_454 add-sqr-sqrt_binary64_441 *-un-lft-identity_binary64_419
4×pow1/3_binary64_501 pow1_binary64_480 add-log-exp_binary64_458 add-exp-log_binary64_457 add-cbrt-cube_binary64_455
Counts
4 → 50
Calls

4 calls:

2.0ms
(cbrt.f64 (cbrt.f64 x))
2.0ms
(cbrt.f64 (cbrt.f64 x))
1.0ms
(cbrt.f64 x)
1.0ms
(cbrt.f64 x)
Compiler

Compiled 1388 to 553 computations (60.2% saved)

series360.0ms (10.5%)

Error
0.0b
Counts
4 → 12
Calls

4 calls:

103.0ms
(cbrt.f64 (cbrt.f64 x))
98.0ms
(cbrt.f64 (cbrt.f64 x))
73.0ms
(cbrt.f64 x)
71.0ms
(cbrt.f64 x)
Compiler

Compiled 918 to 642 computations (30.1% saved)

simplify78.0ms (2.3%)

Algorithm
1×egg-herbie
Counts
62 → 62
Iterations

Useful iterations: 0 (68.0ms)

IterNodesCost
04718452
14718452

prune65.0ms (1.9%)

Pruning

11 alts after pruning (9 fresh and 2 done)

PrunedKeptTotal
New62062
Fresh099
Picked011
Done011
Total621173
Error
0.0b
Counts
73 → 11
Compiler

Compiled 1630 to 719 computations (55.9% saved)

regimes122.0ms (3.6%)

Accuracy

Total 0.3b remaining (96.8%)

Threshold costs 0.3b (96.8%)

Compiler

Compiled 1208 to 746 computations (38.2% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
056
156

end0.0ms (0%)

sample951.0ms (27.9%)

Algorithm
1×intervals
Results
218.0ms8000×body128valid
0.0ms1×body128nan
Compiler

Compiled 608 to 377 computations (38% saved)

Profiling

Loading profile data...