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
46.0ms105×body1280valid
19.0ms77×body640valid
6.0ms39×body320valid
3.0ms30×body160valid
0.0ms5×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: 59.0b

Counts
2 → 1

localize9.0ms

Local error

Found 2 expressions with local error:

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

simplify46.0ms

Algorithm
egg-herbie
Counts
89 → 89
Iterations

Useful iterations: 0 (38.0ms)

IterNodesCost
049671108
149671108

prune143.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 3 expressions with local error:

0.0b
(/ 1 (/ (+ 1.0 eps) (- 1.0 eps)))
0.0b
(/ (+ 1.0 eps) (- 1.0 eps))
7.5b
(log (/ 1 (/ (+ 1.0 eps) (- 1.0 eps))))

rewrite48.0ms

Algorithm
rewrite-expression-head
Rules
316×times-frac
286×*-un-lft-identity
204×add-sqr-sqrt
138×add-cube-cbrt
83×log-prod
41×distribute-lft-out
33×distribute-lft-out-- difference-of-squares
31×associate-/r*
28×add-exp-log
18×associate-/r/
15×div-exp
10×add-cbrt-cube div-inv
8×flip3-- flip--
7×rem-log-exp associate-/l*
6×pow1
4×cbrt-undiv rec-exp 1-exp
3×log-pow add-log-exp
2×pow-flip frac-2neg clear-num associate-/l/ inv-pow
1×log-div flip3-+ log-rec flip-+
Counts
3 → 275
Calls
3 calls:
13.0ms
(/ 1 (/ (+ 1.0 eps) (- 1.0 eps)))
7.0ms
(/ (+ 1.0 eps) (- 1.0 eps))
12.0ms
(log (/ 1 (/ (+ 1.0 eps) (- 1.0 eps))))

series11.0ms

Counts
3 → 9
Calls
3 calls:
3.0ms
(/ 1 (/ (+ 1.0 eps) (- 1.0 eps)))
3.0ms
(/ (+ 1.0 eps) (- 1.0 eps))
5.0ms
(log (/ 1 (/ (+ 1.0 eps) (- 1.0 eps))))

simplify80.0ms

Algorithm
egg-herbie
Counts
284 → 284
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
050824135

prune309.0ms

Filtered
146 candidates to 284 candidates (-94.5%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New2804284
Fresh303
Picked101
Done011
Total2845289

Merged error: 0.1b

Counts
289 → 5

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (cbrt 1) (+ 1.0 eps))
7.6b
(log (- 1.0 eps))
7.6b
(log (/ (cbrt 1) (+ 1.0 eps)))

rewrite18.0ms

Algorithm
rewrite-expression-head
Rules
64×*-un-lft-identity
48×times-frac
38×add-sqr-sqrt
36×add-cube-cbrt
35×log-prod
27×cbrt-prod
13×distribute-lft-out
9×add-exp-log
6×associate-/l*
5×pow1
4×associate-/r* associate-/r/ add-cbrt-cube
3×log-div rem-log-exp add-log-exp
2×flip3-+ div-exp log-pow flip-+ div-inv
1×cbrt-undiv flip3-- frac-2neg clear-num flip-- distribute-lft-out-- difference-of-squares
Counts
3 → 105
Calls
3 calls:
6.0ms
(/ (cbrt 1) (+ 1.0 eps))
3.0ms
(log (- 1.0 eps))
5.0ms
(log (/ (cbrt 1) (+ 1.0 eps)))

series8.0ms

Counts
3 → 9
Calls
3 calls:
2.0ms
(/ (cbrt 1) (+ 1.0 eps))
3.0ms
(log (- 1.0 eps))
3.0ms
(log (/ (cbrt 1) (+ 1.0 eps)))

simplify49.0ms

Algorithm
egg-herbie
Counts
114 → 114
Iterations

Useful iterations: 0 (39.0ms)

IterNodesCost
051081296

prune223.0ms

Filtered
80 candidates to 114 candidates (-42.5%)
Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New1131114
Fresh033
Picked101
Done011
Total1145119

Merged error: 0.1b

Counts
119 → 5

regimes39.0ms

Accuracy

0% (0.4b remaining)

Error of 0.6b against oracle of 0.2b 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.5s3411×body1280valid
614.0ms2524×body640valid
183.0ms1245×body320valid
57.0ms617×body160valid
8.0ms203×body80valid

Profiling

Loading profile data...