Details

analyze760.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
50%	50%	0.1%	4
74.9%	25%	0.1%	5
74.9%	25%	0.1%	6
74.9%	25%	0.1%	7
74.9%	25%	0.1%	8
74.9%	25%	0.1%	9
74.9%	25%	0.1%	10
74.9%	25%	0.1%	11
74.9%	25%	0.1%	12
74.9%	25%	0.1%	13
74.9%	25%	0.1%	14

sample206.0ms

Algorithm

intervals

Results

104.0ms	81×	body	1280	valid
57.0ms	67×	body	640	valid
15.0ms	79×	body	80	valid
15.0ms	21×	body	320	valid
3.0ms	8×	body	160	valid

simplify53.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	1589	48
1	1589	48

prune14.0ms

Filtered

1 candidates to 1 candidates (0.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.4b

Counts

2 → 2

localize35.0ms

Local error

Found 4 expressions with local error:

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

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 105

Calls

4 calls:

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

series69.0ms

Counts

4 → 10

Calls

4 calls:

35.0ms	(* (sqrt 2.0) (* (- (sin x) (/ (sin y) 16.0)) (* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y)))))
25.0ms	(+ (* (cos x) (- (sqrt 5.0) 1.0)) (* (cos y) (- 3.0 (sqrt 5.0))))
0.0ms	(- 3.0 (sqrt 5.0))
9.0ms	(- (cos x) (cos y))

simplify45.0ms

Algorithm

egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5075	2769

prune397.0ms

Filtered

89 candidates to 115 candidates (-29.2%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	105	10	115
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	107	10	117

Merged error: 0.2b

Counts

117 → 10

localize47.0ms

Local error

Found 4 expressions with local error:

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

rewrite79.0ms

Algorithm

rewrite-expression-head

Rules

202×	`associate-*r/`
96×	`frac-times`
82×	`flip3--` `flip--`
64×	`frac-add`
49×	`flip3-+` `flip-+`
42×	`associate-*l/`
21×	`distribute-rgt-in` `distribute-lft-in`
19×	`add-sqr-sqrt`
15×	`pow1` `add-exp-log` `sub-neg` `add-cbrt-cube`
14×	`*-un-lft-identity`
12×	`associate-l`
8×	`add-cube-cbrt` `add-log-exp`
7×	`associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`associate-+l+` `associate-+r+` `difference-of-squares`
3×	`sqrt-prod` `distribute-lft-out--`
2×	`*-commutative` `diff-cos`
1×	`+-commutative` `times-frac` `diff-log` `sum-log` `unswap-sqr`

Counts

4 → 189

Calls

4 calls:

18.0ms	(* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y)))
17.0ms	(+ (* (cos x) (* (+ 5.0 (* 3.0 (+ 3.0 (sqrt 5.0)))) (- 5.0 (* 1.0 1.0)))) (* (cos y) (* (- (pow 3.0 3) (* 5.0 (sqrt 5.0))) (+ (sqrt 5.0) 1.0))))
24.0ms	(* (sqrt 2.0) (* (- (sin x) (/ (sin y) 16.0)) (* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y)))))
4.0ms	(- (cos x) (cos y))

series106.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y)))
45.0ms	(+ (* (cos x) (* (+ 5.0 (* 3.0 (+ 3.0 (sqrt 5.0)))) (- 5.0 (* 1.0 1.0)))) (* (cos y) (* (- (pow 3.0 3) (* 5.0 (sqrt 5.0))) (+ (sqrt 5.0) 1.0))))
35.0ms	(* (sqrt 2.0) (* (- (sin x) (/ (sin y) 16.0)) (* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y)))))
9.0ms	(- (cos x) (cos y))

simplify77.0ms

Algorithm

egg-herbie

Counts

201 → 201

Iterations

Useful iterations: 0 (26.0ms)

Iter	Nodes	Cost
0	6845	10655

prune3.1s

Filtered

175 candidates to 201 candidates (-14.9%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	191	10	201
Fresh	5	4	9
Picked	1	0	1
Done	0	0	0
Total	197	14	211

Merged error: 0.1b

Counts

211 → 14

localize52.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (sqrt 2.0) (* (- (sin x) (/ (sin y) 16.0)) (* (- (sin y) (/ (sin x) 16.0)) (cbrt (pow (- (cos x) (cos y)) 3)))))
0.5b	(cbrt (pow (- (cos x) (cos y)) 3))
0.5b	(pow (- (cos x) (cos y)) 3)
2.2b	(- (cos x) (cos y))

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

40×	`associate-*r/`
30×	`flip3--` `flip--`
28×	`frac-times`
22×	`cube-div` `add-sqr-sqrt` `*-un-lft-identity`
20×	`cbrt-div`
18×	`cbrt-prod`
14×	`pow1` `add-exp-log`
13×	`add-cbrt-cube`
12×	`add-cube-cbrt` `unpow-prod-down` `cube-prod`
8×	`associate-*l/`
6×	`associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod` `add-log-exp`
5×	`diff-cos` `distribute-lft-out--` `difference-of-squares`
3×	`pow-unpow` `sqrt-prod`
2×	`cube-mult` `unpow3` `sqr-pow`
1×	`pow-to-exp` `sub-neg` `pow-pow` `pow1/3` `diff-log` `associate-r` `pow-exp` `*-commutative` `rem-cbrt-cube` `rem-cube-cbrt`

Counts

4 → 124

Calls

4 calls:

28.0ms	(* (sqrt 2.0) (* (- (sin x) (/ (sin y) 16.0)) (* (- (sin y) (/ (sin x) 16.0)) (cbrt (pow (- (cos x) (cos y)) 3)))))
5.0ms	(cbrt (pow (- (cos x) (cos y)) 3))
5.0ms	(pow (- (cos x) (cos y)) 3)
5.0ms	(- (cos x) (cos y))

series72.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(* (sqrt 2.0) (* (- (sin x) (/ (sin y) 16.0)) (* (- (sin y) (/ (sin x) 16.0)) (cbrt (pow (- (cos x) (cos y)) 3)))))
9.0ms	(cbrt (pow (- (cos x) (cos y)) 3))
17.0ms	(pow (- (cos x) (cos y)) 3)
9.0ms	(- (cos x) (cos y))

simplify57.0ms

Algorithm

egg-herbie

Counts

136 → 136

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5036	2376

prune958.0ms

Filtered

89 candidates to 136 candidates (-52.8%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	134	2	136
Fresh	0	13	13
Picked	0	1	1
Done	0	0	0
Total	134	16	150

Merged error: 0.1b

Counts

150 → 16

localize48.0ms

Local error

Found 4 expressions with local error:

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

rewrite70.0ms

Algorithm

rewrite-expression-head

Rules

94×	`associate-*r/`
48×	`flip3--` `flip--`
40×	`frac-times`
21×	`distribute-rgt-in` `distribute-lft-in`
19×	`add-sqr-sqrt` `sub-neg`
16×	`frac-add`
15×	`pow1` `add-exp-log` `add-cbrt-cube`
14×	`-un-lft-identity` `associate-l/`
12×	`associate-l`
8×	`add-cube-cbrt` `add-log-exp`
7×	`flip3-+` `associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod` `flip-+`
4×	`associate-+l+` `associate-+r+` `difference-of-squares`
3×	`sqrt-prod` `distribute-lft-out--`
2×	`*-commutative` `diff-cos`
1×	`+-commutative` `times-frac` `diff-log` `sum-log` `unswap-sqr`

Counts

4 → 141

Calls

4 calls:

14.0ms	(* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y)))
14.0ms	(+ (* (cos x) (* (+ 5.0 (* 3.0 (+ 3.0 (sqrt 5.0)))) (- 5.0 (* 1.0 1.0)))) (* (cos y) (* (sqrt 5.0) (- (pow 3.0 3) (* 5.0 (sqrt 5.0))))))
28.0ms	(* (sqrt 2.0) (* (- (sin x) (/ (sin y) 16.0)) (* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y)))))
5.0ms	(- (cos x) (cos y))

series99.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y)))
36.0ms	(+ (* (cos x) (* (+ 5.0 (* 3.0 (+ 3.0 (sqrt 5.0)))) (- 5.0 (* 1.0 1.0)))) (* (cos y) (* (sqrt 5.0) (- (pow 3.0 3) (* 5.0 (sqrt 5.0))))))
36.0ms	(* (sqrt 2.0) (* (- (sin x) (/ (sin y) 16.0)) (* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y)))))
9.0ms	(- (cos x) (cos y))

simplify54.0ms

Algorithm

egg-herbie

Counts

153 → 153

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5215	5160

prune1.2s

Filtered

123 candidates to 153 candidates (-24.4%)

Pruning

16 alts after pruning (14 fresh and 2 done)

	Pruned	Kept	Total
New	153	0	153
Fresh	0	14	14
Picked	0	1	1
Done	0	1	1
Total	153	16	169

Merged error: 0.1b

Counts

169 → 16

regimes338.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	62	84
1	62	84

end0.0ms

analyze766.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
50%	50%	0.1%	4
74.9%	25%	0.1%	5
74.9%	25%	0.1%	6
74.9%	25%	0.1%	7
74.9%	25%	0.1%	8
74.9%	25%	0.1%	9
74.9%	25%	0.1%	10
74.9%	25%	0.1%	11
74.9%	25%	0.1%	12
74.9%	25%	0.1%	13
74.9%	25%	0.1%	14

sample6.4s

Algorithm

intervals

Results

3.6s	2723×	body	1280	valid
1.6s	1875×	body	640	valid
456.0ms	2353×	body	80	valid
438.0ms	710×	body	320	valid
133.0ms	339×	body	160	valid

Details

analyze760.0ms

sample206.0ms

simplify53.0ms

prune14.0ms

localize35.0ms

rewrite48.0ms

series69.0ms

simplify45.0ms

prune397.0ms

localize47.0ms

rewrite79.0ms

series106.0ms

simplify77.0ms

prune3.1s

localize52.0ms

rewrite49.0ms

series72.0ms

simplify57.0ms

prune958.0ms

localize48.0ms

rewrite70.0ms

series99.0ms

simplify54.0ms

prune1.2s

regimes338.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

analyze766.0ms

sample6.4s

Profiling