Details

Time bar (total: 2.3s)

analyze153.0ms (6.7%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0104
1104
011
111
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
50%50%0%2
75%25%0%3
87.5%12.5%0%4
93.7%6.2%0%5
96.8%3.1%0%6
98.4%1.6%0%7
99.2%0.8%0%8
99.6%0.4%0%9
99.8%0.2%0%10
99.9%0.1%0%11
99.9%0%0%12
99.9%0%0%13
99.9%0%0%14
Compiler

Compiled 6 to 6 computations (0% saved)

sample24.0ms (1%)

Algorithm
1×intervals
Results
8.0ms256×body128valid
Compiler

Compiled 11 to 12 computations (-9.1% saved)

simplify12.0ms (0.5%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
0104
1104

prune5.0ms (0.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112
Error
0.0b
Counts
2 → 1
Compiler

Compiled 6 to 6 computations (0% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.0b
(-.f64 x 1/3)

rewrite8.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
4×add-sqr-sqrt_binary64_9648 *-un-lft-identity_binary64_9626
3×add-log-exp_binary64_9665 cancel-sign-sub-inv_binary64_9592
2×add-cube-cbrt_binary64_9661
1×flip3--_binary64_9630 sub-neg_binary64_9619 diff-log_binary64_9718 distribute-lft-out--_binary64_9578 difference-of-squares_binary64_9595 flip--_binary64_9601 pow1_binary64_9687 add-exp-log_binary64_9664 add-cbrt-cube_binary64_9662
Counts
1 → 16
Calls

1 calls:

7.0ms
(-.f64 x 1/3)

series31.0ms (1.4%)

Counts
1 → 6
Calls

1 calls:

31.0ms
(-.f64 x 1/3)
Compiler

Compiled 21 to 22 computations (-4.8% saved)

simplify176.0ms (7.8%)

Algorithm
1×egg-herbie
Counts
22 → 22
Iterations

Useful iterations: 0 (163.0ms)

IterNodesCost
04802124
14802124

prune24.0ms (1.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New21122
Fresh000
Picked011
Done000
Total21223
Error
0.0b
Counts
23 → 2
Compiler

Compiled 122 to 93 computations (23.8% saved)

localize9.0ms (0.4%)

Local error

Found 3 expressions with local error:

0.0b
(-.f64 x 1/3)
0.5b
(pow.f64 (-.f64 x 1/3) 3)
21.8b
(cbrt.f64 (pow.f64 (-.f64 x 1/3) 3))

rewrite35.0ms (1.6%)

Algorithm
1×rewrite-expression-head
Rules
20×add-sqr-sqrt_binary64_9648 *-un-lft-identity_binary64_9626
16×cbrt-prod_binary64_9657
10×add-cube-cbrt_binary64_9661 unpow-prod-down_binary64_9705 cube-prod_binary64_9654
5×add-log-exp_binary64_9665 distribute-lft-out--_binary64_9578 difference-of-squares_binary64_9595
4×cube-div_binary64_9655 pow1_binary64_9687 add-exp-log_binary64_9664 add-cbrt-cube_binary64_9662
3×flip3--_binary64_9630 flip--_binary64_9601 pow-unpow_binary64_9703 cancel-sign-sub-inv_binary64_9592
2×unpow3_binary64_9692 sqr-pow_binary64_9598 cbrt-div_binary64_9658 cube-mult_binary64_9656
1×rem-cbrt-cube_binary64_9650 sub-neg_binary64_9619 diff-log_binary64_9718 rem-cube-cbrt_binary64_9649 pow1/3_binary64_9708 pow-to-exp_binary64_9695 pow-pow_binary64_9698 pow-exp_binary64_9694
Counts
3 → 72
Calls

3 calls:

11.0ms
(-.f64 x 1/3)
9.0ms
(pow.f64 (-.f64 x 1/3) 3)
8.0ms
(cbrt.f64 (pow.f64 (-.f64 x 1/3) 3))

series132.0ms (5.8%)

Counts
3 → 24
Calls

3 calls:

51.0ms
(pow.f64 (-.f64 x 1/3) 3)
47.0ms
(cbrt.f64 (pow.f64 (-.f64 x 1/3) 3))
33.0ms
(-.f64 x 1/3)
Compiler

Compiled 194 to 184 computations (5.2% saved)

simplify102.0ms (4.5%)

Algorithm
1×egg-herbie
Counts
96 → 96
Iterations

Useful iterations: 0 (75.0ms)

IterNodesCost
05115837

prune113.0ms (5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New95196
Fresh000
Picked011
Done011
Total95398
Error
0.0b
Counts
98 → 3
Compiler

Compiled 835 to 674 computations (19.3% saved)

localize17.0ms (0.7%)

Local error

Found 4 expressions with local error:

0.0b
(-.f64 x 1/3)
0.0b
(cbrt.f64 (log.f64 (exp.f64 (pow.f64 (-.f64 x 1/3) 3))))
0.5b
(pow.f64 (-.f64 x 1/3) 3)
1.0b
(log.f64 (exp.f64 (pow.f64 (-.f64 x 1/3) 3)))

rewrite52.0ms (2.3%)

Algorithm
1×rewrite-expression-head
Rules
34×log-pow_binary64_9715
32×exp-prod_binary64_9678
30×add-sqr-sqrt_binary64_9648 *-un-lft-identity_binary64_9626
20×cbrt-prod_binary64_9657
16×add-cube-cbrt_binary64_9661
15×unpow-prod-down_binary64_9705 cube-prod_binary64_9654
7×distribute-lft-out--_binary64_9578 difference-of-squares_binary64_9595 pow1_binary64_9687
6×add-log-exp_binary64_9665
5×add-exp-log_binary64_9664 add-cbrt-cube_binary64_9662
3×unpow3_binary64_9692 sqr-pow_binary64_9598 log-prod_binary64_9712 pow-unpow_binary64_9703 cancel-sign-sub-inv_binary64_9592 cube-mult_binary64_9656
2×cube-div_binary64_9655 flip3--_binary64_9630 flip--_binary64_9601
1×sub-neg_binary64_9619 diff-log_binary64_9718 rem-log-exp_binary64_9667 rem-cube-cbrt_binary64_9649 pow1/3_binary64_9708 pow-to-exp_binary64_9695 pow-pow_binary64_9698 pow-exp_binary64_9694
Counts
4 → 101
Calls

4 calls:

12.0ms
(log.f64 (exp.f64 (pow.f64 (-.f64 x 1/3) 3)))
12.0ms
(cbrt.f64 (log.f64 (exp.f64 (pow.f64 (-.f64 x 1/3) 3))))
9.0ms
(pow.f64 (-.f64 x 1/3) 3)
7.0ms
(-.f64 x 1/3)

series437.0ms (19.3%)

Counts
4 → 27
Calls

4 calls:

227.0ms
(cbrt.f64 (log.f64 (exp.f64 (pow.f64 (-.f64 x 1/3) 3))))
113.0ms
(log.f64 (exp.f64 (pow.f64 (-.f64 x 1/3) 3)))
58.0ms
(pow.f64 (-.f64 x 1/3) 3)
39.0ms
(-.f64 x 1/3)
Compiler

Compiled 330 to 318 computations (3.6% saved)

simplify127.0ms (5.6%)

Algorithm
1×egg-herbie
Counts
128 → 128
Iterations

Useful iterations: 0 (93.0ms)

IterNodesCost
048901110
148901110

prune159.0ms (7%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New1280128
Fresh000
Picked011
Done022
Total1283131
Error
0.0b
Counts
131 → 3
Compiler

Compiled 1318 to 1102 computations (16.4% saved)

regimes64.0ms (2.8%)

Accuracy

Total 0.0b remaining (15.4%)

Threshold costs 0.0b (15.4%)

Compiler

Compiled 88 to 94 computations (-6.8% saved)

bsearch0.0ms (0%)

simplify3.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0144
1144

end0.0ms (0%)

sample580.0ms (25.6%)

Algorithm
1×intervals
Results
232.0ms8000×body128valid
Compiler

Compiled 37 to 40 computations (-8.1% saved)

Profiling

Loading profile data...