Details

sample399.0ms

Algorithm

intervals

Results

66.0ms	84×	body	1280	valid
35.0ms	47×	body	640	valid
27.0ms	255×	body	80	valid
3.0ms	2×	body	2560	valid
3.0ms	9×	body	320	valid
2.0ms	8×	body	160	valid

simplify41.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	35	21
1	63	17
2	98	17
3	217	17
4	895	17
5	5001	17

prune14.0ms

Filtered

1 candidates to 1 candidates (100.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 34.1b

Counts

2 → 1

localize23.0ms

Local error

Found 4 expressions with local error:

1.9b	(* (atan2 x.im x.re) y.im)
30.5b	(sqrt (+ (* x.re x.re) (* x.im x.im)))
30.5b	(sqrt (+ (* x.re x.re) (* x.im x.im)))
33.2b	(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt`
8×	`pow1` `add-cube-cbrt` `*-un-lft-identity`
6×	`add-exp-log` `sqrt-prod` `add-cbrt-cube`
4×	`expm1-log1p-u` `sqrt-div` `log1p-expm1-u` `add-log-exp`
3×	`associate-r` `associate-l`
2×	`rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `flip-+` `hypot-def`
1×	`sin-sum` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 66

Calls

4 calls:

3.0ms	(* (atan2 x.im x.re) y.im)
4.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))
4.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))
8.0ms	(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))

series251.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(* (atan2 x.im x.re) y.im)
37.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))
35.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))
163.0ms	(sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))

simplify83.0ms

Algorithm

egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 2 (15.0ms)

Iter	Nodes	Cost
0	213	458
1	565	417
2	1299	415
3	2889	415
4	5003	415

prune350.0ms

Filtered

78 candidates to 66 candidates (84.6%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	72	6	78
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	73	6	79

Merged error: 18.3b

Counts

79 → 6

localize24.0ms

Local error

Found 4 expressions with local error:

1.4b	(* (atan2 x.im x.re) y.re)
1.9b	(* (atan2 x.im x.re) y.im)
30.5b	(sqrt (+ (* x.re x.re) (* x.im x.im)))
33.2b	(sin (+ (* (log (hypot x.re x.im)) y.im) (* (atan2 x.im x.re) y.re)))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

14×	`add-sqr-sqrt`
9×	`pow1` `add-cube-cbrt` `*-un-lft-identity`
8×	`add-exp-log` `add-cbrt-cube`
6×	`associate-r` `associate-l`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`sqrt-prod`
2×	`sqrt-div` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `sin-sum` `flip-+` `hypot-def`

Counts

4 → 68

Calls

4 calls:

3.0ms	(* (atan2 x.im x.re) y.re)
3.0ms	(* (atan2 x.im x.re) y.im)
4.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))
5.0ms	(sin (+ (* (log (hypot x.re x.im)) y.im) (* (atan2 x.im x.re) y.re)))

series221.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(* (atan2 x.im x.re) y.re)
16.0ms	(* (atan2 x.im x.re) y.im)
35.0ms	(sqrt (+ (* x.re x.re) (* x.im x.im)))
153.0ms	(sin (+ (* (log (hypot x.re x.im)) y.im) (* (atan2 x.im x.re) y.re)))

simplify96.0ms

Algorithm

egg-herbie

Counts

80 → 80

Iterations

Useful iterations: 2 (18.0ms)

Iter	Nodes	Cost
0	259	390
1	731	350
2	1732	349
3	3569	349
4	5002	349

prune347.0ms

Filtered

80 candidates to 62 candidates (77.5%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	74	6	80
Fresh	4	1	5
Picked	1	0	1
Done	0	0	0
Total	79	7	86

Merged error: 3.3b

Counts

86 → 7

localize18.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (log (hypot x.re x.im)) y.im)
1.4b	(* (atan2 x.im x.re) y.re)
1.9b	(* (atan2 x.im x.re) y.im)
33.2b	(sin (+ (* (log (hypot x.re x.im)) y.im) (* (atan2 x.im x.re) y.re)))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt`
11×	`pow1`
10×	`add-exp-log` `add-cube-cbrt` `-un-lft-identity` `associate-l*` `add-cbrt-cube`
9×	`associate-r`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`sin-sum` `log-pow`

Counts

4 → 71

Calls

4 calls:

4.0ms	(* (log (hypot x.re x.im)) y.im)
3.0ms	(* (atan2 x.im x.re) y.re)
3.0ms	(* (atan2 x.im x.re) y.im)
5.0ms	(sin (+ (* (log (hypot x.re x.im)) y.im) (* (atan2 x.im x.re) y.re)))

series283.0ms

Counts

4 → 12

Calls

4 calls:

101.0ms	(* (log (hypot x.re x.im)) y.im)
17.0ms	(* (atan2 x.im x.re) y.re)
16.0ms	(* (atan2 x.im x.re) y.im)
149.0ms	(sin (+ (* (log (hypot x.re x.im)) y.im) (* (atan2 x.im x.re) y.re)))

simplify75.0ms

Algorithm

egg-herbie

Counts

83 → 83

Iterations

Useful iterations: 2 (17.0ms)

Iter	Nodes	Cost
0	223	400
1	696	351
2	1619	349
3	2891	349
4	5001	349

prune315.0ms

Filtered

83 candidates to 61 candidates (73.5%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	71	12	83
Fresh	5	1	6
Picked	1	0	1
Done	0	0	0
Total	77	13	90

Merged error: 3.0b

Counts

90 → 13

localize22.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (log (hypot x.re x.im)) y.im)
1.4b	(* (atan2 x.im x.re) y.re)
1.9b	(* (atan2 x.im x.re) y.im)
33.2b	(sin (+ (* (log (hypot x.re x.im)) y.im) (* (atan2 x.im x.re) y.re)))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt`
11×	`pow1`
10×	`add-exp-log` `add-cube-cbrt` `-un-lft-identity` `associate-l*` `add-cbrt-cube`
9×	`associate-r`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`sin-sum` `log-pow`

Counts

4 → 71

Calls

4 calls:

4.0ms	(* (log (hypot x.re x.im)) y.im)
3.0ms	(* (atan2 x.im x.re) y.re)
3.0ms	(* (atan2 x.im x.re) y.im)
5.0ms	(sin (+ (* (log (hypot x.re x.im)) y.im) (* (atan2 x.im x.re) y.re)))

series282.0ms

Counts

4 → 12

Calls

4 calls:

99.0ms	(* (log (hypot x.re x.im)) y.im)
16.0ms	(* (atan2 x.im x.re) y.re)
16.0ms	(* (atan2 x.im x.re) y.im)
151.0ms	(sin (+ (* (log (hypot x.re x.im)) y.im) (* (atan2 x.im x.re) y.re)))

simplify74.0ms

Algorithm

egg-herbie

Counts

83 → 83

Iterations

Useful iterations: 2 (17.0ms)

Iter	Nodes	Cost
0	223	400
1	696	351
2	1619	349
3	2891	349
4	5001	349

prune285.0ms

Filtered

83 candidates to 61 candidates (73.5%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	81	2	83
Fresh	2	10	12
Picked	0	1	1
Done	0	0	0
Total	83	13	96

Merged error: 3.0b

Counts

96 → 13

regimes290.0ms

Accuracy

0% (0.3b remaining)

Error of 3.3b against oracle of 2.9b and baseline of 3.3b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	17
1	24	17

end0.0ms

sample3.9s

Algorithm

intervals

Results

1.6s	2249×	body	1280	valid
856.0ms	7979×	body	80	valid
691.0ms	1419×	body	640	valid
186.0ms	552×	body	320	valid
68.0ms	41×	body	2560	valid
68.0ms	262×	body	160	valid

Details

sample399.0ms

simplify41.0ms

prune14.0ms

localize23.0ms

rewrite22.0ms

series251.0ms

simplify83.0ms

prune350.0ms

localize24.0ms

rewrite17.0ms

series221.0ms

simplify96.0ms

prune347.0ms

localize18.0ms

rewrite17.0ms

series283.0ms

simplify75.0ms

prune315.0ms

localize22.0ms

rewrite17.0ms

series282.0ms

simplify74.0ms

prune285.0ms

regimes290.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample3.9s

Profiling