Details

sample203.0ms

Algorithm

intervals

Results

90.0ms	74×	body	1280	valid
52.0ms	62×	body	640	valid
15.0ms	85×	body	80	valid
14.0ms	23×	body	320	valid
5.0ms	12×	body	160	valid

simplify50.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	74	30
1	182	30
2	657	30
3	2727	30
4	5001	30

prune7.0ms

Filtered

1 candidates to 0 candidates (100.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 0.5b

Counts

2 → 1

localize39.0ms

Local error

Found 4 expressions with local error:

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

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt`
15×	`*-un-lft-identity`
11×	`add-exp-log` `add-cbrt-cube`
9×	`add-cube-cbrt`
8×	`add-log-exp`
6×	`pow1` `associate-r/` `associate-r` `associate-l*`
5×	`sqrt-prod` `difference-of-squares`
4×	`sub-neg` `times-frac` `associate-/r/`
3×	`flip3--` `flip3-+` `flip--` `flip-+` `associate-/l*` `distribute-lft-out--`
2×	`cbrt-undiv` `distribute-rgt-in` `distribute-lft-in` `diff-log` `div-exp` `associate-*l/` `frac-add` `prod-exp` `cbrt-unprod` `associate-/l/` `unswap-sqr`
1×	`frac-2neg` `pow-prod-down` `clear-num` `associate-/r` `-commutative` `div-inv` `diff-cos`

Counts

4 → 88

Calls

4 calls:

11.0ms	(/ (+ 2.0 (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))) (* 3.0 (+ (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))) (* (/ (- 3.0 (sqrt 5.0)) 2.0) (cos y)))))
15.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
4.0ms	(- 3.0 (sqrt 5.0))
5.0ms	(- (cos x) (cos y))

series1.8s

Counts

4 → 10

Calls

4 calls:

1.6s	(/ (+ 2.0 (* (* (* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0))) (- (sin y) (/ (sin x) 16.0))) (- (cos x) (cos y)))) (* 3.0 (+ (+ 1.0 (* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))) (* (/ (- 3.0 (sqrt 5.0)) 2.0) (cos y)))))
111.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.0ms	(- 3.0 (sqrt 5.0))
92.0ms	(- (cos x) (cos y))

simplify89.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 1 (19.0ms)

Iter	Nodes	Cost
0	852	1769
1	3560	1553
2	5002	1553

prune1.3s

Filtered

98 candidates to 70 candidates (28.6%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	87	11	98
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	88	11	99

Merged error: 0.0b

Counts

99 → 11

localize40.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.6b	(+ (cos x) (cos y))
1.0b	(- 3.0 (sqrt 5.0))
2.6b	(- (* (cos x) (cos x)) (* (cos y) (cos y)))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt`
13×	`*-un-lft-identity`
10×	`add-log-exp`
7×	`add-cube-cbrt`
6×	`pow1` `add-exp-log` `associate-r` `associate-l` `add-cbrt-cube`
5×	`sqrt-prod` `difference-of-squares`
4×	`sub-neg` `cos-mult`
3×	`flip3--` `flip--`
2×	`distribute-rgt-in` `sqr-cos` `distribute-lft-in` `diff-log` `associate-*r/` `distribute-lft-out--` `unswap-sqr`
1×	`+-commutative` `flip3-+` `times-frac` `sum-cos` `pow-prod-down` `prod-exp` `associate--l+` `sum-log` `*-commutative` `frac-sub` `cbrt-unprod` `flip-+` `distribute-lft-out` `associate--r+` `sub-div`

Counts

4 → 76

Calls

4 calls:

12.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
4.0ms	(+ (cos x) (cos y))
4.0ms	(- 3.0 (sqrt 5.0))
5.0ms	(- (* (cos x) (cos x)) (* (cos y) (cos y)))

series250.0ms

Counts

4 → 10

Calls

4 calls:

115.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
47.0ms	(+ (cos x) (cos y))
0.0ms	(- 3.0 (sqrt 5.0))
87.0ms	(- (* (cos x) (cos x)) (* (cos y) (cos y)))

simplify46.0ms

Algorithm

egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 2 (39.0ms)

Iter	Nodes	Cost
0	457	636
1	1591	568
2	5001	563

prune963.0ms

Filtered

86 candidates to 62 candidates (27.9%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	86	0	86
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	86	11	97

Merged error: 0.0b

Counts

97 → 11

localize46.0ms

Local error

Found 4 expressions with local error:

1.0b	(- 3.0 (sqrt 5.0))
2.4b	(- (cos x) (cos y))
2.4b	(- (cos x) (cos y))
2.4b	(- (cos x) (cos y))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt`
12×	`*-un-lft-identity` `add-log-exp`
5×	`difference-of-squares`
4×	`pow1` `add-exp-log` `add-cube-cbrt` `sub-neg` `flip3--` `diff-log` `add-cbrt-cube` `flip--` `distribute-lft-out--`
3×	`diff-cos`
1×	`sqrt-prod`

Counts

4 → 60

Calls

4 calls:

4.0ms	(- 3.0 (sqrt 5.0))
4.0ms	(- (cos x) (cos y))
4.0ms	(- (cos x) (cos y))
4.0ms	(- (cos x) (cos y))

series206.0ms

Counts

4 → 10

Calls

4 calls:

0.0ms	(- 3.0 (sqrt 5.0))
66.0ms	(- (cos x) (cos y))
70.0ms	(- (cos x) (cos y))
70.0ms	(- (cos x) (cos y))

simplify57.0ms

Algorithm

egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 2 (16.0ms)

Iter	Nodes	Cost
0	218	417
1	571	391
2	2054	387
3	5001	387

prune461.0ms

Filtered

70 candidates to 50 candidates (28.6%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	69	1	70
Fresh	0	9	9
Picked	1	0	1
Done	0	1	1
Total	70	11	81

Merged error: 0.0b

Counts

81 → 11

localize67.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (sqrt 2.0) (* (sin y) (sin x)))
0.4b	(+ (* 0.5 (* (sqrt 5.0) (cos x))) 1.0)
0.4b	(* (sqrt 2.0) (* (sin y) (* (sin x) (cos x))))
0.4b	(- (+ (* 0.5 (* (sqrt 5.0) (cos x))) 1.0) (* 0.5 (+ (cos x) (* (sqrt 5.0) (cos y)))))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

18×	`pow1` `add-exp-log` `add-cbrt-cube`
12×	`associate-l`
11×	`add-log-exp`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
8×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
7×	`associate-*r/`
6×	`sqrt-prod`
5×	`flip3-+` `flip-+`
4×	`frac-sub`
2×	`diff-log` `associate-r` `sum-log` `*-commutative` `associate--r+`
1×	`+-commutative` `distribute-rgt-in` `sub-neg` `flip3--` `distribute-lft-in` `associate--l+` `sin-cos-mult` `flip--` `sin-mult`

Counts

4 → 78

Calls

4 calls:

7.0ms	(* (sqrt 2.0) (* (sin y) (sin x)))
6.0ms	(+ (* 0.5 (* (sqrt 5.0) (cos x))) 1.0)
10.0ms	(* (sqrt 2.0) (* (sin y) (* (sin x) (cos x))))
10.0ms	(- (+ (* 0.5 (* (sqrt 5.0) (cos x))) 1.0) (* 0.5 (+ (cos x) (* (sqrt 5.0) (cos y)))))

series585.0ms

Counts

4 → 12

Calls

4 calls:

103.0ms	(* (sqrt 2.0) (* (sin y) (sin x)))
100.0ms	(+ (* 0.5 (* (sqrt 5.0) (cos x))) 1.0)
146.0ms	(* (sqrt 2.0) (* (sin y) (* (sin x) (cos x))))
236.0ms	(- (+ (* 0.5 (* (sqrt 5.0) (cos x))) 1.0) (* 0.5 (+ (cos x) (* (sqrt 5.0) (cos y)))))

simplify72.0ms

Algorithm

egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 2 (60.0ms)

Iter	Nodes	Cost
0	593	1105
1	2482	1001
2	5002	998

prune872.0ms

Filtered

90 candidates to 59 candidates (34.4%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	88	2	90
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	88	13	101

Merged error: 0.0b

Counts

101 → 13

regimes601.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	46	38
1	46	38

end0.0ms

sample5.9s

Algorithm

intervals

Results

3.3s	2769×	body	1280	valid
1.4s	1812×	body	640	valid
411.0ms	761×	body	320	valid
379.0ms	2325×	body	80	valid
127.0ms	333×	body	160	valid

Details

sample203.0ms

simplify50.0ms

prune7.0ms

localize39.0ms

rewrite37.0ms

series1.8s

simplify89.0ms

prune1.3s

localize40.0ms

rewrite27.0ms

series250.0ms

simplify46.0ms

prune963.0ms

localize46.0ms

rewrite18.0ms

series206.0ms

simplify57.0ms

prune461.0ms

localize67.0ms

rewrite41.0ms

series585.0ms

simplify72.0ms

prune872.0ms

regimes601.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample5.9s

Profiling