Details

Time bar (total: 0.0hr)

sample0.0hr

Algorithm
intervals
Results
0.0hr102×body1280valid
0.0hr17×body2560valid
0.0hr61×body640valid
0.0hr25×body320valid
0.0hr37×body80valid
0.0hr14×body160valid

simplify0.0hr

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0hr)

IterNodesCost
094
1104
2104

prune0.0hr

Filtered
1 candidates to 0 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 33.5b

Counts
2 → 1

localize0.0hr

Local error

Found 2 expressions with local error:

0.5b
(- (sin (+ x eps)) (sin x))
4.7b
(sin (+ x eps))

rewrite0.0hr

Algorithm
rewrite-expression-head
Rules
4×add-sqr-sqrt *-un-lft-identity add-log-exp
2×pow1 add-exp-log add-cube-cbrt sin-sum add-cbrt-cube
1×sub-neg flip3-- diff-log diff-sin associate--l+ flip-- distribute-lft-out-- difference-of-squares
Counts
2 → 24
Calls
2 calls:
0.0hr
(- (sin (+ x eps)) (sin x))
0.0hr
(sin (+ x eps))

series0.0hr

Counts
2 → 6
Calls
2 calls:
0.0hr
(- (sin (+ x eps)) (sin x))
0.0hr
(sin (+ x eps))

simplify0.0hr

Algorithm
egg-herbie
Counts
30 → 30
Iterations

Useful iterations: 2 (0.0hr)

IterNodesCost
0133175
1301165
2937164
33445164
45001164

prune0.0hr

Filtered
30 candidates to 23 candidates (23.3%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New21930
Fresh000
Picked101
Done000
Total22931

Merged error: 14.7b

Counts
31 → 9

localize0.0hr

Local error

Found 4 expressions with local error:

0.1b
(* (cos x) (sin eps))
0.1b
(- (* (cos x) (sin eps)) (sin x))
0.1b
(* (sin x) (cos eps))
1.6b
(+ (* (sin x) (cos eps)) (- (* (cos x) (sin eps)) (sin x)))

rewrite0.0hr

Algorithm
rewrite-expression-head
Rules
12×add-sqr-sqrt
11×add-log-exp
8×pow1 add-exp-log add-cube-cbrt *-un-lft-identity add-cbrt-cube
6×associate-*r* associate-*l*
3×sin-cos-mult
2×sub-neg associate-+r+ flip3-- diff-log pow-prod-down frac-add prod-exp sum-log *-commutative flip-- cbrt-unprod unswap-sqr
1×+-commutative associate-+r- flip3-+ flip-+
Counts
4 → 66
Calls
4 calls:
0.0hr
(* (cos x) (sin eps))
0.0hr
(- (* (cos x) (sin eps)) (sin x))
0.0hr
(* (sin x) (cos eps))
0.0hr
(+ (* (sin x) (cos eps)) (- (* (cos x) (sin eps)) (sin x)))

series0.0hr

Counts
4 → 12
Calls
4 calls:
0.0hr
(* (cos x) (sin eps))
0.0hr
(- (* (cos x) (sin eps)) (sin x))
0.0hr
(* (sin x) (cos eps))
0.0hr
(+ (* (sin x) (cos eps)) (- (* (cos x) (sin eps)) (sin x)))

simplify0.0hr

Algorithm
egg-herbie
Counts
78 → 78
Iterations

Useful iterations: 2 (0.0hr)

IterNodesCost
0348614
11352580
25002565

prune0.0hr

Filtered
78 candidates to 55 candidates (29.5%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New69978
Fresh808
Picked101
Done000
Total78987

Merged error: 0.1b

Counts
87 → 9

localize0.0hr

Local error

Found 4 expressions with local error:

0.1b
(+ (* (sin x) (- (cos eps) 1)) (* (cos x) (sin eps)))
0.1b
(* (sin x) (- (cos eps) 1))
0.1b
(* (cos x) (sin eps))
1.0b
(- (cos eps) 1)

rewrite0.0hr

Algorithm
rewrite-expression-head
Rules
20×add-sqr-sqrt
14×*-un-lft-identity
10×associate-*r*
8×pow1 add-exp-log add-cube-cbrt add-cbrt-cube add-log-exp
6×associate-*l*
5×sub-neg
4×distribute-rgt-in associate-+l+ distribute-lft-in difference-of-squares
2×flip3-- difference-of-sqr-1 associate-*r/ pow-prod-down prod-exp *-commutative flip-- cbrt-unprod distribute-lft-out-- unswap-sqr
1×+-commutative flip3-+ diff-log sum-log flip-+
Counts
4 → 77
Calls
4 calls:
0.0hr
(+ (* (sin x) (- (cos eps) 1)) (* (cos x) (sin eps)))
0.0hr
(* (sin x) (- (cos eps) 1))
0.0hr
(* (cos x) (sin eps))
0.0hr
(- (cos eps) 1)

series0.0hr

Counts
4 → 12
Calls
4 calls:
0.0hr
(+ (* (sin x) (- (cos eps) 1)) (* (cos x) (sin eps)))
0.0hr
(* (sin x) (- (cos eps) 1))
0.0hr
(* (cos x) (sin eps))
0.0hr
(- (cos eps) 1)

simplify0.0hr

Algorithm
egg-herbie
Counts
89 → 89
Iterations

Useful iterations: 2 (0.0hr)

IterNodesCost
0337546
11279498
25002497

prune0.0hr

Filtered
89 candidates to 56 candidates (37.1%)
Pruning

16 alts after pruning (16 fresh and 0 done)

PrunedKeptTotal
New781189
Fresh358
Picked101
Done000
Total821698

Merged error: 0.0b

Counts
98 → 16

localize0.0hr

Local error

Found 4 expressions with local error:

0.1b
(* (cos x) (sin eps))
0.1b
(* (sin x) (- (cos eps) 1))
1.0b
(- (cos eps) 1)
2.4b
(log (exp (* (sin x) (- (cos eps) 1))))

rewrite0.0hr

Algorithm
rewrite-expression-head
Rules
21×add-sqr-sqrt
15×*-un-lft-identity
10×associate-*r*
9×pow1 add-cube-cbrt
8×add-exp-log add-cbrt-cube
7×log-prod add-log-exp
6×associate-*l*
5×sub-neg
4×distribute-rgt-in distribute-lft-in exp-sum difference-of-squares
3×log-pow
2×flip3-- difference-of-sqr-1 associate-*r/ pow-prod-down prod-exp *-commutative flip-- cbrt-unprod distribute-lft-out-- unswap-sqr
1×exp-prod exp-to-pow diff-log rem-log-exp
Counts
4 → 80
Calls
4 calls:
0.0hr
(* (cos x) (sin eps))
0.0hr
(* (sin x) (- (cos eps) 1))
0.0hr
(- (cos eps) 1)
0.0hr
(log (exp (* (sin x) (- (cos eps) 1))))

series0.0hr

Counts
4 → 12
Calls
4 calls:
0.0hr
(* (cos x) (sin eps))
0.0hr
(* (sin x) (- (cos eps) 1))
0.0hr
(- (cos eps) 1)
0.0hr
(log (exp (* (sin x) (- (cos eps) 1))))

simplify0.0hr

Algorithm
egg-herbie
Counts
92 → 92
Iterations

Useful iterations: 2 (0.0hr)

IterNodesCost
0283480
11031424
24524423
35001423

prune0.0hr

Filtered
92 candidates to 59 candidates (35.9%)
Pruning

15 alts after pruning (14 fresh and 1 done)

PrunedKeptTotal
New91192
Fresh21315
Picked011
Done000
Total9315108

Merged error: 0.0b

Counts
108 → 15

regimes0.0hr

Accuracy

0% (0.4b remaining)

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

bsearch0.0hr

simplify0.0hr

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0hr)

IterNodesCost
01810
11810

end0.0hr

sample0.0hr

Algorithm
intervals
Results
0.0hr3298×body1280valid
0.0hr659×body2560valid
0.0hr1841×body640valid
0.0hr720×body320valid
0.0hr1120×body80valid
0.0hr362×body160valid

Profiling

Loading profile data...