Details

Time bar (total: 4.5s)

analyze4.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
0%50%50%3
25%25%50%4
37.5%12.5%50%5
43.7%6.2%50%6
46.9%3.1%50%7
48.4%1.6%50%8
49.2%0.8%50%9
49.6%0.4%50%10
49.8%0.2%50%11
49.9%0.1%50%12
49.9%0%50%13
49.9%0%50%14

sample85.0ms

Algorithm
intervals
Results
52.0ms115×body1280valid
18.0ms70×body640valid
7.0ms44×body320valid
2.0ms20×body160valid
0.0ms7×body80valid

simplify149.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (148.0ms)

IterNodesCost
050418

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 58.6b

Counts
2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (- 1.0 eps) (+ 1.0 eps))
5.5b
(log (/ (- 1.0 eps) (+ 1.0 eps)))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
63×*-un-lft-identity
41×add-sqr-sqrt
40×times-frac
26×log-prod
23×add-cube-cbrt
11×distribute-lft-out
9×distribute-lft-out-- difference-of-squares
7×add-exp-log
5×associate-/l*
4×associate-/r* associate-/r/ add-cbrt-cube
3×pow1
2×flip3-+ div-exp rem-log-exp flip-+ div-inv associate-/l/ add-log-exp
1×cbrt-undiv log-div flip3-- frac-2neg div-sub clear-num log-pow flip--
Counts
2 → 83
Calls
2 calls:
10.0ms
(/ (- 1.0 eps) (+ 1.0 eps))
6.0ms
(log (/ (- 1.0 eps) (+ 1.0 eps)))

series8.0ms

Counts
2 → 6
Calls
2 calls:
2.0ms
(/ (- 1.0 eps) (+ 1.0 eps))
5.0ms
(log (/ (- 1.0 eps) (+ 1.0 eps)))

simplify59.0ms

Algorithm
egg-herbie
Counts
89 → 89
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
049551113
149551113

prune131.0ms

Filtered
59 candidates to 89 candidates (-50.8%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New85489
Fresh000
Picked101
Done000
Total86490

Merged error: 0.2b

Counts
90 → 4

localize10.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify3.0ms

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
000

prune12.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New000
Fresh033
Picked011
Done000
Total044

Merged error: 0.2b

Counts
4 → 4

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (- 1.0 eps) (+ 1.0 eps))
0.0b
(/ (- 1.0 eps) (+ 1.0 eps))
5.5b
(log (sqrt (/ (- 1.0 eps) (+ 1.0 eps))))
5.5b
(log (sqrt (/ (- 1.0 eps) (+ 1.0 eps))))

rewrite38.0ms

Algorithm
rewrite-expression-head
Rules
128×*-un-lft-identity
84×add-sqr-sqrt
80×times-frac
58×log-prod
52×sqrt-prod
48×add-cube-cbrt
22×distribute-lft-out
18×distribute-lft-out-- difference-of-squares
10×add-exp-log associate-/l*
8×pow1 associate-/r* associate-/r/ add-cbrt-cube
6×log-pow
4×flip3-+ flip-+ div-inv associate-/l/ add-log-exp
2×cbrt-undiv log-div flip3-- frac-2neg sqrt-pow1 pow1/2 sqrt-div div-sub div-exp rem-log-exp clear-num flip--
Counts
4 → 174
Calls
4 calls:
7.0ms
(/ (- 1.0 eps) (+ 1.0 eps))
7.0ms
(/ (- 1.0 eps) (+ 1.0 eps))
8.0ms
(log (sqrt (/ (- 1.0 eps) (+ 1.0 eps))))
8.0ms
(log (sqrt (/ (- 1.0 eps) (+ 1.0 eps))))

series19.0ms

Counts
4 → 12
Calls
4 calls:
2.0ms
(/ (- 1.0 eps) (+ 1.0 eps))
2.0ms
(/ (- 1.0 eps) (+ 1.0 eps))
7.0ms
(log (sqrt (/ (- 1.0 eps) (+ 1.0 eps))))
7.0ms
(log (sqrt (/ (- 1.0 eps) (+ 1.0 eps))))

simplify103.0ms

Algorithm
egg-herbie
Counts
186 → 186
Iterations

Useful iterations: 0 (82.0ms)

IterNodesCost
049092478
149092478

prune346.0ms

Filtered
124 candidates to 186 candidates (-50.0%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New1824186
Fresh202
Picked101
Done011
Total1855190

Merged error: 0.1b

Counts
190 → 5

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ (+ 1.0 eps) (- 1.0 eps))
0.0b
(/ 1 (/ (+ 1.0 eps) (- 1.0 eps)))
5.5b
(log (sqrt (/ (- 1.0 eps) (+ 1.0 eps))))
5.5b
(log (sqrt (/ 1 (/ (+ 1.0 eps) (- 1.0 eps)))))

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
336×times-frac
317×*-un-lft-identity
225×add-sqr-sqrt
151×add-cube-cbrt
115×log-prod
109×sqrt-prod
46×distribute-lft-out
37×distribute-lft-out-- difference-of-squares
31×associate-/r*
20×associate-/r/
19×add-exp-log
11×add-cbrt-cube div-inv
10×pow1
8×flip3-- div-exp log-pow flip--
7×associate-/l*
4×cbrt-undiv sqrt-pow1 add-log-exp
2×log-div rec-exp pow-flip frac-2neg flip3-+ pow1/2 sqrt-div 1-exp rem-log-exp clear-num flip-+ associate-/l/ inv-pow
Counts
4 → 314
Calls
4 calls:
8.0ms
(/ (+ 1.0 eps) (- 1.0 eps))
11.0ms
(/ 1 (/ (+ 1.0 eps) (- 1.0 eps)))
8.0ms
(log (sqrt (/ (- 1.0 eps) (+ 1.0 eps))))
15.0ms
(log (sqrt (/ 1 (/ (+ 1.0 eps) (- 1.0 eps)))))

series19.0ms

Counts
4 → 12
Calls
4 calls:
2.0ms
(/ (+ 1.0 eps) (- 1.0 eps))
2.0ms
(/ 1 (/ (+ 1.0 eps) (- 1.0 eps)))
7.0ms
(log (sqrt (/ (- 1.0 eps) (+ 1.0 eps))))
7.0ms
(log (sqrt (/ 1 (/ (+ 1.0 eps) (- 1.0 eps)))))

simplify96.0ms

Algorithm
egg-herbie
Counts
326 → 326
Iterations

Useful iterations: 0 (59.0ms)

IterNodesCost
049655037
149655037

prune557.0ms

Filtered
173 candidates to 326 candidates (-88.4%)
Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New3251326
Fresh033
Picked011
Done011
Total3256331

Merged error: 0.1b

Counts
331 → 6

regimes84.0ms

Accuracy

0% (0.5b remaining)

Error of 0.7b against oracle of 0.2b and baseline of 0.7b

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04918
14918

end0.0ms

sample2.6s

Algorithm
intervals
Results
1.6s3432×body1280valid
634.0ms2460×body640valid
194.0ms1246×body320valid
61.0ms647×body160valid
12.0ms215×body80valid

Profiling

Loading profile data...