Details

Time bar (total: 3.6s)

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

sample80.0ms

Algorithm
intervals
Results
44.0ms97×body1280valid
22.0ms90×body640valid
6.0ms40×body320valid
2.0ms22×body160valid
0.0ms7×body80valid

simplify2.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0138
1138

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 58.2b

Counts
2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

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

rewrite16.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:
7.0ms
(/ (- 1.0 eps) (+ 1.0 eps))
6.0ms
(log (/ (- 1.0 eps) (+ 1.0 eps)))

series8.0ms

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

simplify49.0ms

Algorithm
egg-herbie
Counts
89 → 89
Iterations

Useful iterations: 0 (37.0ms)

IterNodesCost
049671108
149671108

prune136.0ms

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

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New84589
Fresh000
Picked101
Done000
Total85590

Merged error: 0.2b

Counts
90 → 5

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

prune11.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New000
Fresh044
Picked011
Done000
Total055

Merged error: 0.2b

Counts
5 → 5

localize6.0ms

Local error

Found 4 expressions with local error:

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

rewrite58.0ms

Algorithm
rewrite-expression-head
Rules
91×*-un-lft-identity
56×times-frac
51×add-sqr-sqrt
27×add-cube-cbrt
17×log-prod
16×distribute-lft-out
14×distribute-lft-out--
12×associate-/r/
9×add-exp-log
8×associate-/r* add-cbrt-cube difference-of-squares
6×distribute-rgt-out-- flip3-+ flip-+ div-inv associate-/l* add-log-exp
5×pow1
4×log-div
2×cbrt-undiv flip3-- frac-2neg div-exp clear-num frac-sub flip-- sub-div
1×sub-neg diff-log rem-log-exp log-pow
Counts
4 → 123
Calls
4 calls:
5.0ms
(/ eps (+ 1.0 eps))
5.0ms
(/ 1.0 (+ 1.0 eps))
21.0ms
(- (/ 1.0 (+ 1.0 eps)) (/ eps (+ 1.0 eps)))
21.0ms
(log (- (/ 1.0 (+ 1.0 eps)) (/ eps (+ 1.0 eps))))

series16.0ms

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

simplify51.0ms

Algorithm
egg-herbie
Counts
135 → 135
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
051571730

prune179.0ms

Filtered
99 candidates to 135 candidates (-36.4%)
Pruning

6 alts after pruning (5 fresh and 1 done)

PrunedKeptTotal
New1332135
Fresh033
Picked101
Done011
Total1346140

Merged error: 0.2b

Counts
140 → 6

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b
(/ 1.0 (- (* 1.0 1.0) (* eps eps)))
0.0b
(- (/ 1.0 (- (* 1.0 1.0) (* eps eps))) (/ eps (- (* 1.0 1.0) (* eps eps))))
6.0b
(log (- (/ 1.0 (- (* 1.0 1.0) (* eps eps))) (/ eps (- (* 1.0 1.0) (* eps eps)))))
6.0b
(log (- 1.0 eps))

rewrite57.0ms

Algorithm
rewrite-expression-head
Rules
45×add-sqr-sqrt
41×*-un-lft-identity
36×times-frac
20×log-prod
19×add-cube-cbrt
17×difference-of-squares
11×distribute-lft-out--
10×associate-/r/
8×add-exp-log flip3-- flip--
6×pow1 log-div distribute-rgt-out-- add-cbrt-cube add-log-exp
5×div-inv
4×associate-/r*
3×associate-/l*
2×rem-log-exp log-pow frac-sub sub-div
1×cbrt-undiv sub-neg frac-2neg diff-log div-exp clear-num
Counts
4 → 102
Calls
4 calls:
5.0ms
(/ 1.0 (- (* 1.0 1.0) (* eps eps)))
22.0ms
(- (/ 1.0 (- (* 1.0 1.0) (* eps eps))) (/ eps (- (* 1.0 1.0) (* eps eps))))
23.0ms
(log (- (/ 1.0 (- (* 1.0 1.0) (* eps eps))) (/ eps (- (* 1.0 1.0) (* eps eps)))))
3.0ms
(log (- 1.0 eps))

series18.0ms

Counts
4 → 12
Calls
4 calls:
4.0ms
(/ 1.0 (- (* 1.0 1.0) (* eps eps)))
5.0ms
(- (/ 1.0 (- (* 1.0 1.0) (* eps eps))) (/ eps (- (* 1.0 1.0) (* eps eps))))
7.0ms
(log (- (/ 1.0 (- (* 1.0 1.0) (* eps eps))) (/ eps (- (* 1.0 1.0) (* eps eps)))))
3.0ms
(log (- 1.0 eps))

simplify79.0ms

Algorithm
egg-herbie
Counts
114 → 114
Iterations

Useful iterations: 0 (64.0ms)

IterNodesCost
049652242
149652242

prune226.0ms

Filtered
96 candidates to 114 candidates (-18.8%)
Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New1104114
Fresh224
Picked101
Done011
Total1137120

Merged error: 0.2b

Counts
120 → 7

regimes43.0ms

Accuracy

0% (0.5b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01416
11416

end0.0ms

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

sample2.5s

Algorithm
intervals
Results
1.5s3428×body1280valid
608.0ms2466×body640valid
187.0ms1274×body320valid
57.0ms638×body160valid
8.0ms194×body80valid

Profiling

Loading profile data...