Details

Time bar (total: 10.3s)

sample181.0ms

Algorithm
intervals
Results
99.0ms91×body1280valid
37.0ms57×body640valid
11.0ms23×body320valid
10.0ms73×body80valid
4.0ms12×body160valid

simplify56.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 1 (3.0ms)

IterNodesCost
07430
119327
270427
3299427
4500127

prune16.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.3b

Counts
2 → 2

localize36.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
0.4b
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
1.0b
(- 3.0 (sqrt 5.0))
1.3b
(- (cos x) (cos y))

rewrite65.0ms

Algorithm
rewrite-expression-head
Rules
184×add-sqr-sqrt
183×prod-diff
172×*-un-lft-identity
164×add-cube-cbrt
110×times-frac
82×distribute-rgt-in distribute-lft-in
14×sqrt-prod
12×associate-*r* div-inv
11×pow1 add-exp-log add-cbrt-cube
10×associate-*r/
9×flip3-- flip--
8×add-log-exp
7×associate-*l* difference-of-squares
6×sub-neg fma-neg
4×expm1-log1p-u frac-times pow-prod-down prod-exp cbrt-unprod log1p-expm1-u distribute-lft-out--
2×diff-log associate-*l/ *-commutative unswap-sqr
1×diff-cos
Counts
4 → 291
Calls
4 calls:
20.0ms
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
14.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
5.0ms
(- 3.0 (sqrt 5.0))
5.0ms
(- (cos x) (cos y))

series280.0ms

Counts
4 → 10
Calls
4 calls:
138.0ms
(* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0)))
90.0ms
(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.0ms
(- 3.0 (sqrt 5.0))
52.0ms
(- (cos x) (cos y))

simplify97.0ms

Algorithm
egg-herbie
Counts
301 → 301
Iterations

Useful iterations: 1 (37.0ms)

IterNodesCost
017307731
150016094

prune1.0s

Filtered
301 candidates to 127 candidates (42.2%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New2929301
Fresh011
Picked101
Done000
Total29310303

Merged error: 0.1b

Counts
303 → 10

localize52.0ms

Local error

Found 4 expressions with local error:

1.0b
(cbrt 16.0)
1.0b
(cbrt 16.0)
1.0b
(cbrt 16.0)
1.3b
(- (cos x) (cos y))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt *-un-lft-identity
14×add-cube-cbrt
9×cbrt-prod prod-diff
6×add-log-exp
4×pow1 add-exp-log expm1-log1p-u add-cbrt-cube log1p-expm1-u
3×fma-neg pow1/3
1×sub-neg flip3-- diff-log flip-- diff-cos distribute-lft-out-- difference-of-squares
Counts
4 → 68
Calls
4 calls:
1.0ms
(cbrt 16.0)
1.0ms
(cbrt 16.0)
1.0ms
(cbrt 16.0)
5.0ms
(- (cos x) (cos y))

series51.0ms

Counts
4 → 6
Calls
4 calls:
0.0ms
(cbrt 16.0)
0.0ms
(cbrt 16.0)
0.0ms
(cbrt 16.0)
51.0ms
(- (cos x) (cos y))

simplify141.0ms

Algorithm
egg-herbie
Counts
74 → 74
Iterations

Useful iterations: 3 (129.0ms)

IterNodesCost
0274573
1837456
24703438
35001429

prune832.0ms

Filtered
74 candidates to 54 candidates (73.0%)
Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New71374
Fresh369
Picked101
Done000
Total75984

Merged error: 0.1b

Counts
84 → 9

localize53.0ms

Local error

Found 4 expressions with local error:

1.0b
(cbrt 16.0)
1.0b
(cbrt 16.0)
1.0b
(- 3.0 (sqrt 5.0))
1.0b
(- (pow (cos x) 3) (pow (cos y) 3))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
162×prod-diff
122×add-sqr-sqrt
106×*-un-lft-identity
94×add-cube-cbrt
87×unpow-prod-down cube-prod
33×sqr-pow
25×cube-mult unpow3
18×difference-of-squares
15×fma-neg
10×sqrt-prod
8×add-log-exp
6×cbrt-prod distribute-lft-out--
4×pow1 add-exp-log expm1-log1p-u add-cbrt-cube log1p-expm1-u
2×sub-neg flip3-- pow1/3 diff-log flip--
1×difference-cubes
Counts
4 → 256
Calls
4 calls:
1.0ms
(cbrt 16.0)
1.0ms
(cbrt 16.0)
5.0ms
(- 3.0 (sqrt 5.0))
17.0ms
(- (pow (cos x) 3) (pow (cos y) 3))

series84.0ms

Counts
4 → 6
Calls
4 calls:
0.0ms
(cbrt 16.0)
0.0ms
(cbrt 16.0)
0.0ms
(- 3.0 (sqrt 5.0))
83.0ms
(- (pow (cos x) 3) (pow (cos y) 3))

simplify104.0ms

Algorithm
egg-herbie
Counts
262 → 262
Iterations

Useful iterations: 2 (71.0ms)

IterNodesCost
07143434
122942342
250022336

prune970.0ms

Filtered
262 candidates to 77 candidates (29.4%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New2593262
Fresh358
Picked101
Done000
Total2638271

Merged error: 0.1b

Counts
271 → 8

localize44.0ms

Local error

Found 4 expressions with local error:

1.0b
(cbrt 16.0)
1.0b
(cbrt 16.0)
1.0b
(cbrt 16.0)
1.3b
(- (cos x) (cos y))

rewrite10.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt *-un-lft-identity
14×add-cube-cbrt
9×cbrt-prod prod-diff
6×add-log-exp
4×pow1 add-exp-log expm1-log1p-u add-cbrt-cube log1p-expm1-u
3×fma-neg pow1/3
1×sub-neg flip3-- diff-log flip-- diff-cos distribute-lft-out-- difference-of-squares
Counts
4 → 68
Calls
4 calls:
1.0ms
(cbrt 16.0)
1.0ms
(cbrt 16.0)
1.0ms
(cbrt 16.0)
5.0ms
(- (cos x) (cos y))

series54.0ms

Counts
4 → 6
Calls
4 calls:
0.0ms
(cbrt 16.0)
0.0ms
(cbrt 16.0)
0.0ms
(cbrt 16.0)
54.0ms
(- (cos x) (cos y))

simplify122.0ms

Algorithm
egg-herbie
Counts
74 → 74
Iterations

Useful iterations: 3 (115.0ms)

IterNodesCost
0254561
1750456
24068438
35001428

prune515.0ms

Filtered
74 candidates to 53 candidates (71.6%)
Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New73174
Fresh077
Picked011
Done000
Total73982

Merged error: 0.1b

Counts
82 → 9

regimes219.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
05354
15754
25754

end0.0ms

sample5.2s

Algorithm
intervals
Results
3.0s2781×body1280valid
1.2s1840×body640valid
363.0ms756×body320valid
327.0ms2310×body80valid
99.0ms313×body160valid