Details

Time bar (total: 2.4s)

analyze159.0ms (6.5%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
06726
16726
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
25%50%25.1%6
25%31.2%43.8%7
31.2%25%43.8%8
39%17.2%43.8%9
42.9%13.3%43.8%10
47.2%9%43.8%11
49.4%6.8%43.8%12
51.6%4.6%43.8%13
52.7%3.5%43.8%14
Compiler

Compiled 16 to 8 computations (50% saved)

sample15.0ms (0.6%)

Algorithm
1×intervals
Results
7.0ms256×body128valid
Compiler

Compiled 31 to 17 computations (45.2% saved)

simplify8.0ms (0.3%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
03913
13913

prune4.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 33 to 21 computations (36.4% saved)

localize9.0ms (0.4%)

Local error

Found 1 expressions with local error:

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

rewrite22.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
6×pow1_binary64_14802 add-exp-log_binary64_14779 add-cbrt-cube_binary64_14777
3×pow-prod-down_binary64_14812 prod-exp_binary64_14790 cbrt-unprod_binary64_14774 associate-*l*_binary64_14682
2×add-cube-cbrt_binary64_14776 add-sqr-sqrt_binary64_14763 *-un-lft-identity_binary64_14741
1×add-log-exp_binary64_14780 associate-*r*_binary64_14681 *-commutative_binary64_14672
Counts
1 → 18
Calls

1 calls:

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

Compiled 256 to 138 computations (46.1% saved)

series29.0ms (1.2%)

Error
0.0b
Counts
1 → 3
Calls

1 calls:

26.0ms
(*.f64 y (*.f64 y 3))
Compiler

Compiled 81 to 66 computations (18.5% saved)

simplify64.0ms (2.6%)

Algorithm
1×egg-herbie
Counts
21 → 21
Iterations

Useful iterations: 0 (56.0ms)

IterNodesCost
04830166
14830166

prune22.0ms (0.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New16521
Fresh101
Picked011
Done000
Total17623
Error
0.0b
Counts
23 → 6
Compiler

Compiled 321 to 174 computations (45.8% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

rewrite19.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
6×pow1_binary64_14802 add-exp-log_binary64_14779 add-cbrt-cube_binary64_14777
3×pow-prod-down_binary64_14812 prod-exp_binary64_14790 cbrt-unprod_binary64_14774 add-sqr-sqrt_binary64_14763 associate-*l*_binary64_14682
2×add-cube-cbrt_binary64_14776 *-un-lft-identity_binary64_14741
1×add-log-exp_binary64_14780 unswap-sqr_binary64_14709 associate-*r*_binary64_14681 *-commutative_binary64_14672
Counts
1 → 19
Calls

1 calls:

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

Compiled 269 to 134 computations (50.2% saved)

series27.0ms (1.1%)

Error
0.0b
Counts
1 → 3
Calls

1 calls:

25.0ms
(*.f64 3 (*.f64 y y))
Compiler

Compiled 81 to 66 computations (18.5% saved)

simplify61.0ms (2.5%)

Algorithm
1×egg-herbie
Counts
22 → 22
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
04886180
14886180

prune19.0ms (0.8%)

Pruning

7 alts after pruning (5 fresh and 2 done)

PrunedKeptTotal
New21122
Fresh044
Picked011
Done011
Total21728
Error
0.0b
Counts
28 → 7
Compiler

Compiled 339 to 188 computations (44.5% saved)

localize8.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.2b
(*.f64 3 (*.f64 y y))
0.3b
(*.f64 (sqrt.f64 (*.f64 3 (*.f64 y y))) (sqrt.f64 (*.f64 3 (*.f64 y y))))
22.6b
(sqrt.f64 (*.f64 3 (*.f64 y y)))
22.6b
(sqrt.f64 (*.f64 3 (*.f64 y y)))

rewrite142.0ms (5.8%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
148×pow1_binary64_14802
80×pow-prod-down_binary64_14812
66×sqrt-pow1_binary64_14759
17×pow-prod-up_binary64_14811
14×pow1/2_binary64_14821
12×add-sqr-sqrt_binary64_14763
11×add-exp-log_binary64_14779 add-cbrt-cube_binary64_14777 pow-sqr_binary64_14714
9×add-cube-cbrt_binary64_14776 *-un-lft-identity_binary64_14741
7×associate-*l*_binary64_14682
6×sqrt-prod_binary64_14757
5×associate-*r*_binary64_14681
4×add-log-exp_binary64_14780 prod-exp_binary64_14790 cbrt-unprod_binary64_14774 swap-sqr_binary64_14708
2×unswap-sqr_binary64_14709 *-commutative_binary64_14672
1×pow2_binary64_14822 pow-plus_binary64_14804 sqrt-unprod_binary64_14761 rem-square-sqrt_binary64_14753
Counts
4 → 109
Calls

4 calls:

13.0ms
(*.f64 (sqrt.f64 (*.f64 3 (*.f64 y y))) (sqrt.f64 (*.f64 3 (*.f64 y y))))
5.0ms
(*.f64 3 (*.f64 y y))
4.0ms
(sqrt.f64 (*.f64 3 (*.f64 y y)))
4.0ms
(sqrt.f64 (*.f64 3 (*.f64 y y)))
Compiler

Compiled 2280 to 1252 computations (45.1% saved)

series138.0ms (5.6%)

Error
0.0b
Counts
4 → 12
Calls

4 calls:

45.0ms
(*.f64 (sqrt.f64 (*.f64 3 (*.f64 y y))) (sqrt.f64 (*.f64 3 (*.f64 y y))))
32.0ms
(sqrt.f64 (*.f64 3 (*.f64 y y)))
30.0ms
(sqrt.f64 (*.f64 3 (*.f64 y y)))
23.0ms
(*.f64 3 (*.f64 y y))
Compiler

Compiled 543 to 412 computations (24.1% saved)

simplify81.0ms (3.3%)

Algorithm
1×egg-herbie
Counts
121 → 121
Iterations

Useful iterations: 0 (63.0ms)

IterNodesCost
04997772
14997772

prune98.0ms (4%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New1192121
Fresh224
Picked101
Done022
Total1226128
Error
0.0b
Counts
128 → 6
Compiler

Compiled 1941 to 1033 computations (46.8% saved)

localize9.0ms (0.4%)

Local error

Found 4 expressions with local error:

0.4b
(*.f64 (cbrt.f64 y) (cbrt.f64 y))
0.7b
(cbrt.f64 y)
0.7b
(cbrt.f64 y)
0.7b
(cbrt.f64 y)

rewrite77.0ms (3.1%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
25×cbrt-prod_binary64_14772
23×add-sqr-sqrt_binary64_14763
15×add-cube-cbrt_binary64_14776 *-un-lft-identity_binary64_14741
11×pow1_binary64_14802
9×pow1/3_binary64_14823
6×add-exp-log_binary64_14779 swap-sqr_binary64_14708 associate-*l*_binary64_14682 associate-*r*_binary64_14681
4×add-log-exp_binary64_14780 add-cbrt-cube_binary64_14777 unswap-sqr_binary64_14709
2×pow-prod-down_binary64_14812 pow-prod-up_binary64_14811 pow-sqr_binary64_14714
1×pow2_binary64_14822 pow-plus_binary64_14804 prod-exp_binary64_14790 cbrt-unprod_binary64_14774 *-commutative_binary64_14672
Counts
4 → 73
Calls

4 calls:

9.0ms
(*.f64 (cbrt.f64 y) (cbrt.f64 y))
1.0ms
(cbrt.f64 y)
1.0ms
(cbrt.f64 y)
1.0ms
(cbrt.f64 y)
Compiler

Compiled 1524 to 526 computations (65.5% saved)

series326.0ms (13.3%)

Error
0.0b
Counts
4 → 12
Calls

4 calls:

101.0ms
(*.f64 (cbrt.f64 y) (cbrt.f64 y))
73.0ms
(cbrt.f64 y)
71.0ms
(cbrt.f64 y)
71.0ms
(cbrt.f64 y)
Compiler

Compiled 663 to 455 computations (31.4% saved)

simplify76.0ms (3.1%)

Algorithm
1×egg-herbie
Counts
85 → 85
Iterations

Useful iterations: 0 (64.0ms)

IterNodesCost
04873548
14873548

prune66.0ms (2.7%)

Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New85085
Fresh033
Picked011
Done022
Total85691
Error
0.0b
Counts
91 → 6
Compiler

Compiled 1573 to 641 computations (59.2% saved)

regimes184.0ms (7.5%)

Accuracy

Total 0.1b remaining (93.4%)

Threshold costs 0.1b (93.4%)

Compiler

Compiled 1863 to 1374 computations (26.2% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01113
11113

end0.0ms (0%)

sample777.0ms (31.7%)

Algorithm
1×intervals
Results
219.0ms8000×body128valid
0.0ms5×body128invalid
Compiler

Compiled 377 to 276 computations (26.8% saved)

Profiling

Loading profile data...