Details

Time bar (total: 3.8s)

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

sample86.0ms

Algorithm
intervals
Results
52.0ms117×body1280valid
21.0ms87×body640valid
4.0ms28×body320valid
2.0ms21×body160valid
0.0ms3×body80valid

simplify149.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (147.0ms)

IterNodesCost
050418

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 59.0b

Counts
2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (- 1.0 eps) (+ 1.0 eps))
5.0b
(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

prune128.0ms

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

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New87289
Fresh000
Picked101
Done000
Total88290

Merged error: 0.1b

Counts
90 → 2

localize9.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify2.0ms

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
000

prune3.0ms

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New000
Fresh011
Picked011
Done000
Total022

Merged error: 0.1b

Counts
2 → 2

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (+ 1.0 eps))
0.0b
(/ (- 1.0 eps) (sqrt (+ 1.0 eps)))
5.0b
(log (/ (- 1.0 eps) (sqrt (+ 1.0 eps))))
5.1b
(log (sqrt (+ 1.0 eps)))

rewrite28.0ms

Algorithm
rewrite-expression-head
Rules
101×*-un-lft-identity
76×add-sqr-sqrt
70×times-frac
52×sqrt-prod
48×log-prod
45×add-cube-cbrt
15×distribute-lft-out-- difference-of-squares
13×distribute-lft-out
10×add-exp-log
8×pow1 sqrt-div
7×associate-/r*
6×add-cbrt-cube
5×associate-/l*
4×flip3-+ associate-/r/ log-pow flip-+ add-log-exp
3×log-div rem-log-exp
2×sqrt-pow1 pow1/2 div-exp div-inv associate-/l/
1×cbrt-undiv rem-sqrt-square flip3-- frac-2neg div-sub clear-num flip--
Counts
4 → 152
Calls
4 calls:
3.0ms
(sqrt (+ 1.0 eps))
8.0ms
(/ (- 1.0 eps) (sqrt (+ 1.0 eps)))
8.0ms
(log (/ (- 1.0 eps) (sqrt (+ 1.0 eps))))
4.0ms
(log (sqrt (+ 1.0 eps)))

series25.0ms

Counts
4 → 12
Calls
4 calls:
3.0ms
(sqrt (+ 1.0 eps))
6.0ms
(/ (- 1.0 eps) (sqrt (+ 1.0 eps)))
10.0ms
(log (/ (- 1.0 eps) (sqrt (+ 1.0 eps))))
6.0ms
(log (sqrt (+ 1.0 eps)))

simplify38.0ms

Algorithm
egg-herbie
Counts
164 → 164
Iterations

Useful iterations: 0 (20.0ms)

IterNodesCost
050062383

prune276.0ms

Filtered
102 candidates to 164 candidates (-60.8%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1631164
Fresh000
Picked101
Done011
Total1642166

Merged error: 0.0b

Counts
166 → 2

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b
(sqrt (+ (* 1.0 1.0) (* eps (- eps 1.0))))
2.1b
(log (sqrt (+ (pow 1.0 3) (pow eps 3))))
5.0b
(log (/ (- 1.0 eps) (sqrt (+ 1.0 eps))))
5.1b
(log (sqrt (+ (* 1.0 1.0) (* eps (- eps 1.0)))))

rewrite31.0ms

Algorithm
rewrite-expression-head
Rules
61×*-un-lft-identity
59×log-prod
42×add-sqr-sqrt
35×times-frac sqrt-prod
27×add-cube-cbrt
10×pow1 distribute-lft-out
9×add-exp-log
8×sqrt-div
7×log-pow distribute-lft-out-- difference-of-squares
5×log-div
4×unpow-prod-down flip3-+ cube-prod rem-log-exp add-cbrt-cube flip-+ add-log-exp
3×sqrt-pow1 pow1/2
2×associate-/r/
1×rem-sqrt-square div-exp sum-cubes div-inv
Counts
4 → 111
Calls
4 calls:
4.0ms
(sqrt (+ (* 1.0 1.0) (* eps (- eps 1.0))))
11.0ms
(log (sqrt (+ (pow 1.0 3) (pow eps 3))))
8.0ms
(log (/ (- 1.0 eps) (sqrt (+ 1.0 eps))))
4.0ms
(log (sqrt (+ (* 1.0 1.0) (* eps (- eps 1.0)))))

series27.0ms

Counts
4 → 12
Calls
4 calls:
3.0ms
(sqrt (+ (* 1.0 1.0) (* eps (- eps 1.0))))
9.0ms
(log (sqrt (+ (pow 1.0 3) (pow eps 3))))
10.0ms
(log (/ (- 1.0 eps) (sqrt (+ 1.0 eps))))
5.0ms
(log (sqrt (+ (* 1.0 1.0) (* eps (- eps 1.0)))))

simplify62.0ms

Algorithm
egg-herbie
Counts
123 → 123
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
049661955
149661955

prune325.0ms

Filtered
81 candidates to 123 candidates (-51.9%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1221123
Fresh000
Picked101
Done011
Total1232125

Merged error: 0.0b

Counts
125 → 2

regimes27.0ms

Accuracy

0% (0.3b remaining)

Error of 0.6b against oracle of 0.4b and baseline of 0.6b

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04918
14918

end0.0ms

sample2.5s

Algorithm
intervals
Results
1.5s3433×body1280valid
611.0ms2478×body640valid
183.0ms1256×body320valid
56.0ms631×body160valid
10.0ms202×body80valid

Profiling

Loading profile data...