Details

sample45.0ms

Algorithm

intervals

Results

13.0ms	44×	body	1280	valid
8.0ms	234×	body	80	valid
7.0ms	38×	body	640	valid
2.0ms	16×	body	320	valid
1.0ms	13×	body	160	valid

simplify3.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	3
1	6	3

prune3.0ms

Filtered

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

Counts

2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

0.2b	(* (exp re) (sin im))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

5×	`add-sqr-sqrt`
3×	`pow1` `add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l*` `add-cbrt-cube`
2×	`add-exp-log`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `add-log-exp` `unswap-sqr`

Counts

1 → 18

Calls

1 calls:

5.0ms

(* (exp re) (sin im))

series40.0ms

Counts

1 → 3

Calls

1 calls:

40.0ms

(* (exp re) (sin im))

simplify162.0ms

Algorithm

egg-herbie

Counts

21 → 21

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	87	100
1	289	86
2	1099	86
3	4640	86
4	5001	86

prune58.0ms

Filtered

21 candidates to 14 candidates (66.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	18	3	21
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	18	4	22

Merged error: 0.2b

Counts

22 → 4

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (sqrt (exp re)) (* (sqrt (exp re)) (sin im)))
0.0b	(* (sqrt (exp re)) (sin im))
0.2b	(sqrt (exp re))
0.2b	(sqrt (exp re))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-sqr-sqrt`
13×	`pow1` `add-cube-cbrt` `*-un-lft-identity` `sqrt-prod`
12×	`associate-l`
11×	`add-exp-log` `add-cbrt-cube`
8×	`sqrt-pow1`
6×	`exp-prod`
4×	`associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod` `add-log-exp`
2×	`rem-sqrt-square` `pow1/2` `*-commutative` `unswap-sqr`

Counts

4 → 75

Calls

4 calls:

9.0ms	(* (sqrt (exp re)) (* (sqrt (exp re)) (sin im)))
6.0ms	(* (sqrt (exp re)) (sin im))
2.0ms	(sqrt (exp re))
2.0ms	(sqrt (exp re))

series105.0ms

Counts

4 → 12

Calls

4 calls:

35.0ms	(* (sqrt (exp re)) (* (sqrt (exp re)) (sin im)))
47.0ms	(* (sqrt (exp re)) (sin im))
11.0ms	(sqrt (exp re))
12.0ms	(sqrt (exp re))

simplify63.0ms

Algorithm

egg-herbie

Counts

87 → 87

Iterations

Useful iterations: 3 (57.0ms)

Iter	Nodes	Cost
0	173	428
1	642	372
2	2306	370
3	5001	359

prune234.0ms

Filtered

87 candidates to 57 candidates (65.5%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	87	0	87
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	87	4	91

Merged error: 0.2b

Counts

91 → 4

localize9.0ms

Local error

Found 3 expressions with local error:

0.2b	(* (exp re) (sin im))
0.3b	(pow (* (exp re) (sin im)) 3)
13.2b	(cbrt (pow (* (exp re) (sin im)) 3))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-sqr-sqrt`
8×	`pow1` `cbrt-prod` `add-cbrt-cube`
7×	`add-cube-cbrt` `*-un-lft-identity`
6×	`add-exp-log`
3×	`pow-unpow` `associate-r` `associate-l` `add-log-exp`
2×	`cube-mult` `unpow-prod-down` `pow-pow` `unpow3` `cube-prod` `pow-prod-down` `pow-exp` `prod-exp` `cbrt-unprod` `rem-cube-cbrt` `sqr-pow`
1×	`pow-to-exp` `pow1/3` `*-commutative` `rem-cbrt-cube` `unswap-sqr`

Counts

3 → 57

Calls

3 calls:

5.0ms	(* (exp re) (sin im))
5.0ms	(pow (* (exp re) (sin im)) 3)
3.0ms	(cbrt (pow (* (exp re) (sin im)) 3))

series129.0ms

Counts

3 → 9

Calls

3 calls:

39.0ms	(* (exp re) (sin im))
48.0ms	(pow (* (exp re) (sin im)) 3)
41.0ms	(cbrt (pow (* (exp re) (sin im)) 3))

simplify33.0ms

Algorithm

egg-herbie

Counts

66 → 66

Iterations

Useful iterations: 2 (28.0ms)

Iter	Nodes	Cost
0	173	316
1	761	296
2	5001	293

prune164.0ms

Filtered

66 candidates to 41 candidates (62.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	66	0	66
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	66	4	70

Merged error: 0.2b

Counts

70 → 4

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(* 1/2 (pow re 2))
0.0b	(+ (* 1/2 (pow re 2)) (+ re 1))
2.4b	(* im (+ (* 1/2 (pow re 2)) (+ re 1)))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt`
11×	`associate-r`
10×	`add-exp-log`
8×	`add-cube-cbrt` `*-un-lft-identity` `add-log-exp`
7×	`add-cbrt-cube`
6×	`associate-l`
5×	`pow1` `unswap-sqr`
4×	`unpow-prod-down` `prod-exp`
3×	`sum-log`
2×	`flip3-+` `associate-r/` `-commutative` `cbrt-unprod` `flip-+` `unpow2` `sqr-pow`
1×	`+-commutative` `distribute-rgt-in` `pow-to-exp` `associate-+r+` `distribute-lft-in` `pow-prod-down` `pow-exp`

Counts

3 → 62

Calls

3 calls:

5.0ms	(* 1/2 (pow re 2))
6.0ms	(+ (* 1/2 (pow re 2)) (+ re 1))
8.0ms	(* im (+ (* 1/2 (pow re 2)) (+ re 1)))

series86.0ms

Counts

3 → 9

Calls

3 calls:

25.0ms	(* 1/2 (pow re 2))
17.0ms	(+ (* 1/2 (pow re 2)) (+ re 1))
43.0ms	(* im (+ (* 1/2 (pow re 2)) (+ re 1)))

simplify49.0ms

Algorithm

egg-herbie

Counts

71 → 71

Iterations

Useful iterations: 1 (9.0ms)

Iter	Nodes	Cost
0	293	379
1	1474	336
2	5001	336

prune169.0ms

Filtered

71 candidates to 45 candidates (63.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	69	2	71
Fresh	0	0	0
Picked	1	0	1
Done	2	1	3
Total	72	3	75

Merged error: 0.2b

Counts

75 → 3

regimes210.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	3
1	6	3

end0.0ms

sample1.4s

Algorithm

intervals

Results

478.0ms	1521×	body	1280	valid
261.0ms	6988×	body	80	valid
217.0ms	1212×	body	640	valid
75.0ms	639×	body	320	valid
24.0ms	293×	body	160	valid

Details

sample45.0ms

simplify3.0ms

prune3.0ms

localize6.0ms

rewrite5.0ms

series40.0ms

simplify162.0ms

prune58.0ms

localize11.0ms

rewrite21.0ms

series105.0ms

simplify63.0ms

prune234.0ms

localize9.0ms

rewrite14.0ms

series129.0ms

simplify33.0ms

prune164.0ms

localize8.0ms

rewrite22.0ms

series86.0ms

simplify49.0ms

prune169.0ms

regimes210.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.4s

Profiling