Details

Time bar (total: 1.8s)

analyze325.0ms (18.4%)

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)

sample23.0ms (1.3%)

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

Compiled 21 to 20 computations (4.8% saved)

simplify91.0ms (5.2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (85.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.3%)

Local error

Found 1 expressions with local error:

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

rewrite57.0ms (3.2%)

Algorithm
1×rewrite-expression-head
Error
62.0b
Rules
37×add-sqr-sqrt_binary64_782 *-un-lft-identity_binary64_760
25×times-frac_binary64_766
13×add-cube-cbrt_binary64_795
12×difference-of-squares_binary64_729 distribute-lft-out--_binary64_712
5×associate-/l*_binary64_705 associate-/r*_binary64_704
3×add-exp-log_binary64_798 add-cbrt-cube_binary64_796
2×flip3--_binary64_764 associate-/l/_binary64_707 flip--_binary64_735 associate-/r/_binary64_706
1×pow1_binary64_821 div-exp_binary64_811 add-log-exp_binary64_799 cbrt-undiv_binary64_794 frac-2neg_binary64_771 div-sub_binary64_765 clear-num_binary64_759 div-inv_binary64_757
Counts
1 → 52
Calls

1 calls:

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

Compiled 844 to 193 computations (77.1% saved)

series71.0ms (4%)

Error
51.8b
Counts
1 → 10
Calls

1 calls:

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

Compiled 255 to 188 computations (26.3% saved)

simplify66.0ms (3.7%)

Algorithm
1×egg-herbie
Counts
62 → 62
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
051141055

prune52.0ms (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 846 to 179 computations (78.8% saved)

localize4.0ms (0.2%)

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.4%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

prune1.0ms (0.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Compiled 5 to 6 computations (-20% saved)

localize5.0ms (0.3%)

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.4%)

Algorithm
1×egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
000

prune1.0ms (0.1%)

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)

regimes68.0ms (3.9%)

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%)

sample971.0ms (55.2%)

Algorithm
1×intervals
Results
244.0ms8000×body128valid
184.0ms8000×pre128true
Compiler

Compiled 86 to 82 computations (4.7% saved)

Profiling

Loading profile data...