Details

Time bar (total: 1.1s)

analyze154.0ms (13.5%)

Algorithm
2×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0197
1197
011
111
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%0
0%100%0%1
0%100%0%1
0%100%0%2
0%100%0%2
50%50%0%3
50%50%0%3
50%37.5%12.5%4
50%37.5%12.5%4
62.5%12.5%25%5
62.5%12.5%25%5
68.7%6.2%25%6
68.7%6.2%25%6
71.8%3.1%25%7
71.8%3.1%25%7
73.4%1.6%25%8
73.4%1.6%25%8
74.2%0.8%25%9
74.2%0.8%25%9
74.6%0.4%25%10
74.6%0.4%25%10
74.8%0.2%25%11
74.8%0.2%25%11
74.9%0.1%25%12
74.9%0.1%25%12
74.9%0%25%13
74.9%0%25%13
74.9%0%25%14
74.9%0%25%14
Compiler

Compiled 12 to 8 computations (33.3% saved)

sample78.0ms (6.9%)

Algorithm
2×intervals
Results
7.0ms512×body128valid
3.0ms174×body128invalid
Compiler

Compiled 2177 to 1813 computations (16.7% saved)

simplify7.0ms (0.6%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0197
1197

prune2.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 10 to 6 computations (40% saved)

localize3.0ms (0.3%)

Local error

Found 1 expressions with local error:

0.0b
(+.f64 x (*.f64 x x))

rewrite18.0ms (1.6%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
3×add-log-exp_binary64_4209
2×*-un-lft-identity_binary64_4170
1×sum-log_binary64_4261 pow1_binary64_4231 add-exp-log_binary64_4208 add-cbrt-cube_binary64_4206 add-cube-cbrt_binary64_4205 add-sqr-sqrt_binary64_4192 flip3-+_binary64_4173 flip-+_binary64_4144 distribute-rgt1-in_binary64_4126 distribute-rgt-out_binary64_4123 +-commutative_binary64_4100
Counts
1 → 13
Calls

1 calls:

3.0ms
(+.f64 x (*.f64 x x))
Compiler

Compiled 146 to 43 computations (70.5% saved)

series57.0ms (5%)

Error
0.0b
Counts
1 → 6
Calls

1 calls:

53.0ms
(+.f64 x (*.f64 x x))
Compiler

Compiled 59 to 45 computations (23.7% saved)

simplify78.0ms (6.8%)

Algorithm
1×egg-herbie
Counts
19 → 19
Iterations

Useful iterations: 0 (71.0ms)

IterNodesCost
05054165

prune13.0ms (1.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New18119
Fresh000
Picked011
Done000
Total18220
Error
0b
Counts
20 → 2
Compiler

Compiled 150 to 47 computations (68.7% saved)

localize3.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.0b
(*.f64 (+.f64 x 1) x)

rewrite24.0ms (2.1%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
5×add-sqr-sqrt_binary64_4192 *-un-lft-identity_binary64_4170
4×associate-*l*_binary64_4111
3×pow1_binary64_4231 add-exp-log_binary64_4208 add-cbrt-cube_binary64_4206 add-cube-cbrt_binary64_4205 associate-*r*_binary64_4110
2×associate-*l/_binary64_4113
1×pow-prod-down_binary64_4241 prod-exp_binary64_4219 add-log-exp_binary64_4209 cbrt-unprod_binary64_4203 unswap-sqr_binary64_4138 flip3-+_binary64_4173 flip-+_binary64_4144 distribute-lft-out_binary64_4121 *-commutative_binary64_4101
Counts
1 → 21
Calls

1 calls:

6.0ms
(*.f64 (+.f64 x 1) x)
Compiler

Compiled 235 to 160 computations (31.9% saved)

series57.0ms (5%)

Error
0b
Counts
1 → 6
Calls

1 calls:

54.0ms
(*.f64 (+.f64 x 1) x)
Compiler

Compiled 59 to 45 computations (23.7% saved)

simplify77.0ms (6.8%)

Algorithm
1×egg-herbie
Counts
27 → 27
Iterations

Useful iterations: 0 (68.0ms)

IterNodesCost
04973226
14973226

prune14.0ms (1.3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New27027
Fresh000
Picked011
Done011
Total27229
Error
0b
Counts
29 → 2
Compiler

Compiled 226 to 97 computations (57.1% saved)

regimes43.0ms (3.7%)

Accuracy

Total 0.0b remaining (100%)

Threshold costs 0.0b (100%)

Compiler

Compiled 218 to 124 computations (43.1% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.2%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
087
187

end0.0ms (0%)

sample510.0ms (44.7%)

Algorithm
1×intervals
Results
127.0ms8000×body128valid
37.0ms2626×body128invalid
Compiler

Compiled 100 to 60 computations (40% saved)

Profiling

Loading profile data...