Details

Time bar (total: 3.9s)

analyze305.0ms (7.9%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0172340
1172340
033
133
Search
TrueOtherFalseIter
0%0%100%0
0%0%100%1
Compiler

Compiled 14 to 11 computations (21.4% saved)

sample98.0ms (2.5%)

Algorithm
1×intervals
Results
7.0ms256×body128valid
5.0ms256×pre128true
Compiler

Compiled 3605 to 3604 computations (0% saved)

simplify75.0ms (1.9%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (70.0ms)

IterNodesCost
0100310
1100310

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 14 to 12 computations (14.3% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

62.0b
(/.f64 (-.f64 x lo) (-.f64 hi lo))

rewrite50.0ms (1.3%)

Algorithm
1×rewrite-expression-head
Error
62.0b
Rules
37×add-sqr-sqrt_binary64_100 *-un-lft-identity_binary64_78
25×times-frac_binary64_84
13×add-cube-cbrt_binary64_113
12×difference-of-squares_binary64_47 distribute-lft-out--_binary64_30
5×associate-/l*_binary64_23 associate-/r*_binary64_22
3×add-exp-log_binary64_116 add-cbrt-cube_binary64_114
2×flip3--_binary64_82 associate-/l/_binary64_25 flip--_binary64_53 associate-/r/_binary64_24
1×pow1_binary64_139 div-exp_binary64_129 add-log-exp_binary64_117 cbrt-undiv_binary64_112 frac-2neg_binary64_89 div-sub_binary64_83 clear-num_binary64_77 div-inv_binary64_75
Counts
1 → 52
Calls

1 calls:

8.0ms
(/.f64 (-.f64 x lo) (-.f64 hi lo))
Compiler

Compiled 844 to 193 computations (77.1% saved)

series99.0ms (2.6%)

Error
51.8b
Counts
1 → 10
Calls

1 calls:

88.0ms
(/.f64 (-.f64 x lo) (-.f64 hi lo))
Compiler

Compiled 255 to 188 computations (26.3% saved)

simplify57.0ms (1.5%)

Algorithm
1×egg-herbie
Counts
62 → 62
Iterations

Useful iterations: 0 (42.0ms)

IterNodesCost
051141055

prune50.0ms (1.3%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New60262
Fresh000
Picked101
Done000
Total61263
Error
51.8b
Counts
63 → 2
Compiler

Compiled 842 to 177 computations (79% saved)

localize4.0ms (0.1%)

rewrite0.0ms (0%)

Algorithm
1×rewrite-expression-head
Error
51.8b
Counts
0 → 0
Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

Error
51.8b
Counts
0 → 0
Compiler

Compiled 0 to 0 computations (0% saved)

simplify7.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

prune1.0ms (0%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New000
Fresh011
Picked011
Done000
Total022
Error
51.8b
Counts
2 → 2
Compiler

Compiled 1 to 4 computations (-300% saved)

localize0.0ms (0%)

rewrite0.0ms (0%)

Algorithm
1×rewrite-expression-head
Error
51.8b
Counts
0 → 0
Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

Error
51.8b
Counts
0 → 0
Compiler

Compiled 0 to 0 computations (0% saved)

simplify6.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

prune1.0ms (0%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done011
Total022
Error
51.8b
Counts
2 → 2
Compiler

Compiled 0 to 0 computations (0% saved)

regimes65.0ms (1.7%)

Accuracy

Total 0.2b remaining (0.3%)

Threshold costs 0.2b (0.3%)

Compiler

Compiled 310 to 304 computations (1.9% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0167
1167

end0.0ms (0%)

sample3.0s (78.6%)

Algorithm
1×intervals
Results
212.0ms8000×body128valid
151.0ms8000×pre128true
Compiler

Compiled 112086 to 112082 computations (0% saved)

Profiling

Loading profile data...