Details

Time bar (total: 2.7s)

analyze4.0ms (0.1%)

Algorithm
1×search
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)

sample12.0ms (0.4%)

Algorithm
1×intervals
Results
7.0ms256×body128valid
Compiler

Compiled 9 to 8 computations (11.1% saved)

simplify87.0ms (3.3%)

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)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

rewrite6.0ms (0.2%)

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

1 calls:

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

series74.0ms (2.8%)

Counts
1 → 3
Calls

1 calls:

74.0ms
(*.f64 x (log.f64 x))

simplify75.0ms (2.8%)

Algorithm
1×egg-herbie
Counts
28 → 28
Iterations

Useful iterations: 0 (67.0ms)

IterNodesCost
04864265
14864265

prune20.0ms (0.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New24428
Fresh000
Picked011
Done000
Total24529
Error
0.0b
Counts
29 → 5
Compiler

Compiled 275 to 89 computations (67.6% saved)

localize9.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

rewrite17.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
15×add-sqr-sqrt_binary64_441
13×*-un-lft-identity_binary64_419 add-cube-cbrt_binary64_454
12×log-prod_binary64_505 cbrt-prod_binary64_450 pow1_binary64_480
11×add-cbrt-cube_binary64_455 add-exp-log_binary64_457
6×distribute-rgt-in_binary64_369 associate-*r*_binary64_359 distribute-lft-in_binary64_368 associate-*l*_binary64_360
4×pow-prod-down_binary64_490 add-log-exp_binary64_458 prod-exp_binary64_468 cbrt-unprod_binary64_452
3×pow1/3_binary64_501
2×log-pow_binary64_508 *-commutative_binary64_350
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)

series510.0ms (19.2%)

Counts
4 → 12
Calls

4 calls:

178.0ms
(*.f64 x (log.f64 (cbrt.f64 x)))
171.0ms
(*.f64 x (*.f64 (log.f64 (cbrt.f64 x)) 2))
85.0ms
(cbrt.f64 x)
75.0ms
(cbrt.f64 x)

simplify43.0ms (1.6%)

Algorithm
1×egg-herbie
Counts
84 → 84
Iterations

Useful iterations: 0 (28.0ms)

IterNodesCost
04974850
14974850

prune74.0ms (2.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New80484
Fresh213
Picked101
Done011
Total83689
Error
0.0b
Counts
89 → 6
Compiler

Compiled 1503 to 621 computations (58.7% saved)

localize20.0ms (0.8%)

Local error

Found 4 expressions with local error:

0.5b
(cbrt.f64 x)
0.6b
(cbrt.f64 (pow.f64 x 2/3))
0.6b
(cbrt.f64 (cbrt.f64 x))
6.1b
(pow.f64 x 2/3)

rewrite12.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
19×cbrt-prod_binary64_450
11×*-un-lft-identity_binary64_419 add-cube-cbrt_binary64_454 add-sqr-sqrt_binary64_441
6×unpow-prod-down_binary64_498
5×add-exp-log_binary64_457 pow1_binary64_480
4×add-log-exp_binary64_458 add-cbrt-cube_binary64_455
3×pow1/3_binary64_501 pow-unpow_binary64_496
2×sqr-pow_binary64_391
1×pow-exp_binary64_487 pow-to-exp_binary64_488 pow-pow_binary64_491
Counts
4 → 57
Calls

4 calls:

2.0ms
(pow.f64 x 2/3)
2.0ms
(cbrt.f64 (pow.f64 x 2/3))
2.0ms
(cbrt.f64 (cbrt.f64 x))
1.0ms
(cbrt.f64 x)

series341.0ms (12.8%)

Counts
4 → 12
Calls

4 calls:

104.0ms
(cbrt.f64 (cbrt.f64 x))
85.0ms
(cbrt.f64 (pow.f64 x 2/3))
78.0ms
(pow.f64 x 2/3)
73.0ms
(cbrt.f64 x)

simplify52.0ms (1.9%)

Algorithm
1×egg-herbie
Counts
69 → 69
Iterations

Useful iterations: 0 (40.0ms)

IterNodesCost
05512498

prune82.0ms (3.1%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New69069
Fresh044
Picked011
Done011
Total69675
Error
0.0b
Counts
75 → 6
Compiler

Compiled 1803 to 922 computations (48.9% saved)

localize15.0ms (0.6%)

Local error

Found 4 expressions with local error:

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

rewrite11.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
30×cbrt-prod_binary64_450
11×*-un-lft-identity_binary64_419 add-cube-cbrt_binary64_454 add-sqr-sqrt_binary64_441
4×pow1/3_binary64_501 add-log-exp_binary64_458 add-cbrt-cube_binary64_455 add-exp-log_binary64_457 pow1_binary64_480
Counts
4 → 53
Calls

4 calls:

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

series385.0ms (14.5%)

Counts
4 → 12
Calls

4 calls:

111.0ms
(cbrt.f64 (cbrt.f64 x))
100.0ms
(cbrt.f64 (cbrt.f64 x))
99.0ms
(cbrt.f64 (cbrt.f64 x))
74.0ms
(cbrt.f64 x)

simplify32.0ms (1.2%)

Algorithm
1×egg-herbie
Counts
65 → 65
Iterations

Useful iterations: 0 (21.0ms)

IterNodesCost
04984541
14984541

prune65.0ms (2.4%)

Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New65065
Fresh033
Picked011
Done022
Total65671
Error
0.0b
Counts
71 → 6
Compiler

Compiled 1669 to 644 computations (61.4% saved)

regimes74.0ms (2.8%)

Accuracy

Total 0.3b remaining (95.9%)

Threshold costs 0.3b (95.9%)

Compiler

Compiled 589 to 352 computations (40.2% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02336
12336

end0.0ms (0%)

sample633.0ms (23.8%)

Algorithm
1×intervals
Results
228.0ms8000×body128valid
0.0ms3×body128nan
Compiler

Compiled 293 to 180 computations (38.6% saved)

Profiling

Loading profile data...