Details

sample196.0ms

Algorithm

intervals

Results

85.0ms	74×	body	1280	valid
46.0ms	62×	body	640	valid
13.0ms	85×	body	80	valid
12.0ms	23×	body	320	valid
4.0ms	12×	body	160	valid

simplify52.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

prune8.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

localize33.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))

rewrite35.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)))))
11.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
4.0ms	(- 3.0 (sqrt 5.0))
7.0ms	(- (cos x) (cos y))

series262.0ms

Counts

4 → 10

Calls

4 calls:

240.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)))))
12.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.0ms	(- 3.0 (sqrt 5.0))
9.0ms	(- (cos x) (cos y))

simplify91.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.1s

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

localize37.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)))

rewrite25.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:

10.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)))

series34.0ms

Counts

4 → 10

Calls

4 calls:

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

simplify41.0ms

Algorithm

egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 2 (34.0ms)

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

prune1.2s

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

localize42.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))

series30.0ms

Counts

4 → 10

Calls

4 calls:

0.0ms	(- 3.0 (sqrt 5.0))
13.0ms	(- (cos x) (cos y))
8.0ms	(- (cos x) (cos y))
9.0ms	(- (cos x) (cos y))

simplify54.0ms

Algorithm

egg-herbie

Counts

70 → 70

Iterations

Useful iterations: 2 (15.0ms)

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

prune480.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

localize61.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)))))

rewrite34.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))))
9.0ms	(- (+ (* 0.5 (* (sqrt 5.0) (cos x))) 1.0) (* 0.5 (+ (cos x) (* (sqrt 5.0) (cos y)))))

series63.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(* (sqrt 2.0) (* (sin y) (sin x)))
6.0ms	(+ (* 0.5 (* (sqrt 5.0) (cos x))) 1.0)
19.0ms	(* (sqrt 2.0) (* (sin y) (* (sin x) (cos x))))
26.0ms	(- (+ (* 0.5 (* (sqrt 5.0) (cos x))) 1.0) (* 0.5 (+ (cos x) (* (sqrt 5.0) (cos y)))))

simplify68.0ms

Algorithm

egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 2 (58.0ms)

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

prune858.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

regimes608.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify1.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
402.0ms	761×	body	320	valid
370.0ms	2325×	body	80	valid
125.0ms	333×	body	160	valid

Details

sample196.0ms

simplify52.0ms

prune8.0ms

localize33.0ms

rewrite35.0ms

series262.0ms

simplify91.0ms

prune1.1s

localize37.0ms

rewrite25.0ms

series34.0ms

simplify41.0ms

prune1.2s

localize42.0ms

rewrite18.0ms

series30.0ms

simplify54.0ms

prune480.0ms

localize61.0ms

rewrite34.0ms

series63.0ms

simplify68.0ms

prune858.0ms

regimes608.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample5.9s

Profiling