Details

Time bar (total: 6.5s)

analyze1.1s (16.4%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02950133
12950133
044
144
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
0%99.8%0.2%6
0%99.8%0.2%7
0%99.8%0.2%8
6.2%93.6%0.2%9
6.2%82.7%11.1%10
12.5%73.7%13.8%11
15.6%59.5%25%12
17.9%53.3%28.8%13
22.4%47.2%30.4%14
Compiler

Compiled 14 to 12 computations (14.3% saved)

sample27.0ms (0.4%)

Algorithm
1×intervals
Results
9.0ms256×body128valid
3.0ms91×body128invalid
Compiler

Compiled 27 to 27 computations (0% saved)

simplify50.0ms (0.8%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
070419
170419

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 26 to 22 computations (15.4% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b
(-.f64 (*.f64 z z) t)
0.0b
(-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) (-.f64 (*.f64 z z) t)))
5.3b
(*.f64 (*.f64 y 4) (-.f64 (*.f64 z z) t))

rewrite85.0ms (1.3%)

Algorithm
1×rewrite-expression-head
Error
2.0b
Rules
16×cancel-sign-sub-inv_binary64_17776
11×add-sqr-sqrt_binary64_17832
9×add-cube-cbrt_binary64_17845 *-un-lft-identity_binary64_17810
8×pow1_binary64_17871 add-exp-log_binary64_17848 add-cbrt-cube_binary64_17846 distribute-rgt-in_binary64_17760 distribute-lft-in_binary64_17759 associate--r+_binary64_17746
7×add-log-exp_binary64_17849
6×sub-neg_binary64_17803
4×associate-*r*_binary64_17750
3×pow-prod-down_binary64_17881 prod-exp_binary64_17859 cbrt-unprod_binary64_17843 flip3--_binary64_17814 flip--_binary64_17785
2×associate-*r/_binary64_17752 difference-of-squares_binary64_17779 diff-log_binary64_17902
1×associate-*l*_binary64_17751 *-commutative_binary64_17741
Counts
3 → 64
Calls

3 calls:

10.0ms
(*.f64 (*.f64 y 4) (-.f64 (*.f64 z z) t))
5.0ms
(-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) (-.f64 (*.f64 z z) t)))
4.0ms
(-.f64 (*.f64 z z) t)
Compiler

Compiled 1409 to 532 computations (62.2% saved)

series635.0ms (9.8%)

Error
4.7b
Counts
3 → 51
Calls

3 calls:

354.0ms
(-.f64 (*.f64 x x) (*.f64 (*.f64 y 4) (-.f64 (*.f64 z z) t)))
184.0ms
(*.f64 (*.f64 y 4) (-.f64 (*.f64 z z) t))
61.0ms
(-.f64 (*.f64 z z) t)
Compiler

Compiled 1707 to 1400 computations (18% saved)

simplify79.0ms (1.2%)

Algorithm
1×egg-herbie
Counts
115 → 115
Iterations

Useful iterations: 0 (59.0ms)

IterNodesCost
049241628
149241628

prune93.0ms (1.4%)

Pruning

8 alts after pruning (7 fresh and 1 done)

PrunedKeptTotal
New1087115
Fresh000
Picked011
Done000
Total1088116
Error
1.7b
Counts
116 → 8
Compiler

Compiled 1890 to 717 computations (62.1% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b
(cbrt.f64 t)
0.6b
(cbrt.f64 t)
0.6b
(cbrt.f64 t)
8.8b
(*.f64 y (*.f64 z z))

rewrite72.0ms (1.1%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
9×pow1_binary64_17871 add-exp-log_binary64_17848 add-cbrt-cube_binary64_17846 add-sqr-sqrt_binary64_17832 cbrt-prod_binary64_17841
8×add-cube-cbrt_binary64_17845 *-un-lft-identity_binary64_17810
4×add-log-exp_binary64_17849
3×pow-prod-down_binary64_17881 prod-exp_binary64_17859 cbrt-unprod_binary64_17843 associate-*l*_binary64_17751 pow1/3_binary64_17892
1×unswap-sqr_binary64_17778 associate-*r*_binary64_17750 *-commutative_binary64_17741
Counts
4 → 52
Calls

4 calls:

6.0ms
(*.f64 y (*.f64 z z))
1.0ms
(cbrt.f64 t)
1.0ms
(cbrt.f64 t)
1.0ms
(cbrt.f64 t)
Compiler

Compiled 1536 to 547 computations (64.4% saved)

series304.0ms (4.7%)

Error
1.7b
Counts
4 → 15
Calls

4 calls:

81.0ms
(cbrt.f64 t)
72.0ms
(cbrt.f64 t)
71.0ms
(cbrt.f64 t)
65.0ms
(*.f64 y (*.f64 z z))
Compiler

Compiled 1197 to 806 computations (32.7% saved)

simplify79.0ms (1.2%)

Algorithm
1×egg-herbie
Counts
67 → 67
Iterations

Useful iterations: 0 (68.0ms)

IterNodesCost
04800453
14800453

prune75.0ms (1.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New64367
Fresh426
Picked101
Done011
Total69675
Error
0.0b
Counts
75 → 6
Compiler

Compiled 1999 to 749 computations (62.5% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b
(*.f64 (cbrt.f64 t) (cbrt.f64 t))
0.6b
(cbrt.f64 t)
0.6b
(cbrt.f64 t)
0.6b
(cbrt.f64 t)

rewrite98.0ms (1.5%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
25×cbrt-prod_binary64_17841
23×add-sqr-sqrt_binary64_17832
15×add-cube-cbrt_binary64_17845 *-un-lft-identity_binary64_17810
11×pow1_binary64_17871
9×pow1/3_binary64_17892
6×add-exp-log_binary64_17848 swap-sqr_binary64_17777 associate-*l*_binary64_17751 associate-*r*_binary64_17750
4×add-log-exp_binary64_17849 add-cbrt-cube_binary64_17846 unswap-sqr_binary64_17778
2×pow-prod-down_binary64_17881 pow-prod-up_binary64_17880 pow-sqr_binary64_17783
1×pow2_binary64_17891 pow-plus_binary64_17873 prod-exp_binary64_17859 cbrt-unprod_binary64_17843 *-commutative_binary64_17741
Counts
4 → 73
Calls

4 calls:

7.0ms
(*.f64 (cbrt.f64 t) (cbrt.f64 t))
1.0ms
(cbrt.f64 t)
1.0ms
(cbrt.f64 t)
1.0ms
(cbrt.f64 t)
Compiler

Compiled 2181 to 807 computations (63% saved)

series334.0ms (5.2%)

Error
0.0b
Counts
4 → 12
Calls

4 calls:

88.0ms
(*.f64 (cbrt.f64 t) (cbrt.f64 t))
82.0ms
(cbrt.f64 t)
80.0ms
(cbrt.f64 t)
72.0ms
(cbrt.f64 t)
Compiler

Compiled 987 to 697 computations (29.4% saved)

simplify75.0ms (1.2%)

Algorithm
1×egg-herbie
Counts
85 → 85
Iterations

Useful iterations: 0 (62.0ms)

IterNodesCost
04873548
14873548

prune93.0ms (1.4%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New85085
Fresh044
Picked011
Done011
Total85691
Error
0.0b
Counts
91 → 6
Compiler

Compiled 2449 to 1016 computations (58.5% saved)

localize20.0ms (0.3%)

Local error

Found 4 expressions with local error:

8.8b
(*.f64 (*.f64 z z) y)
18.3b
(cbrt.f64 (*.f64 (*.f64 z z) y))
18.3b
(cbrt.f64 (*.f64 (*.f64 z z) y))
18.3b
(cbrt.f64 (*.f64 (*.f64 z z) y))

rewrite81.0ms (1.2%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
9×pow1_binary64_17871 add-exp-log_binary64_17848 add-cbrt-cube_binary64_17846
6×add-sqr-sqrt_binary64_17832
5×add-cube-cbrt_binary64_17845 *-un-lft-identity_binary64_17810
4×add-log-exp_binary64_17849
3×pow1/3_binary64_17892 cbrt-prod_binary64_17841 pow-prod-down_binary64_17881 prod-exp_binary64_17859 cbrt-unprod_binary64_17843 associate-*r*_binary64_17750
1×unswap-sqr_binary64_17778 associate-*l*_binary64_17751 *-commutative_binary64_17741
Counts
4 → 46
Calls

4 calls:

7.0ms
(*.f64 (*.f64 z z) y)
5.0ms
(cbrt.f64 (*.f64 (*.f64 z z) y))
5.0ms
(cbrt.f64 (*.f64 (*.f64 z z) y))
5.0ms
(cbrt.f64 (*.f64 (*.f64 z z) y))
Compiler

Compiled 2091 to 497 computations (76.2% saved)

series707.0ms (10.9%)

Error
0.0b
Counts
4 → 24
Calls

4 calls:

211.0ms
(cbrt.f64 (*.f64 (*.f64 z z) y))
200.0ms
(cbrt.f64 (*.f64 (*.f64 z z) y))
199.0ms
(cbrt.f64 (*.f64 (*.f64 z z) y))
61.0ms
(*.f64 (*.f64 z z) y)
Compiler

Compiled 3195 to 1815 computations (43.2% saved)

simplify57.0ms (0.9%)

Algorithm
1×egg-herbie
Counts
70 → 70
Iterations

Useful iterations: 0 (44.0ms)

IterNodesCost
05076667

prune83.0ms (1.3%)

Pruning

6 alts after pruning (3 fresh and 3 done)

PrunedKeptTotal
New70070
Fresh033
Picked011
Done022
Total70676
Error
0.0b
Counts
76 → 6
Compiler

Compiled 2977 to 677 computations (77.3% saved)

regimes813.0ms (12.5%)

Accuracy

Total 0.6b remaining (95.9%)

Threshold costs 0.6b (95.9%)

Compiler

Compiled 9879 to 7071 computations (28.4% saved)

bsearch0.0ms (0%)

simplify13.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (11.0ms)

IterNodesCost
028837
128837

end0.0ms (0%)

sample1.5s (23.2%)

Algorithm
1×intervals
Results
312.0ms8000×body128valid
109.0ms2997×body128invalid
Compiler

Compiled 887 to 638 computations (28.1% saved)

Profiling

Loading profile data...