Details

analyze559.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
0%	99.9%	0.1%	4
50%	50%	0.1%	5
50%	50%	0.1%	6
50%	37.5%	12.6%	7
50%	37.5%	12.6%	8
50%	31.2%	18.8%	9
50%	31.2%	18.8%	10
50%	28.1%	22%	11
50%	28.1%	22%	12
50%	26.5%	23.5%	13
50%	26.5%	23.5%	14

sample94.0ms

Algorithm

intervals

Results

21.0ms	38×	body	1280	valid
21.0ms	54×	body	1280	invalid
11.0ms	41×	body	640	valid
10.0ms	39×	body	640	invalid
8.0ms	143×	body	80	valid
4.0ms	21×	body	320	valid
3.0ms	18×	body	320	invalid
2.0ms	15×	body	160	invalid
2.0ms	13×	body	160	valid
2.0ms	25×	body	80	invalid

simplify98.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (96.0ms)

Iter	Nodes	Cost
0	5439	11

prune7.0ms

Filtered

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

Counts

2 → 1

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im)))
0.0b	(+ (exp (neg im)) (exp im))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

7×	`pow1` `add-exp-log` `*-un-lft-identity` `add-cbrt-cube`
4×	`associate-r` `add-log-exp`
3×	`add-sqr-sqrt` `add-cube-cbrt` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`flip3-+` `associate-*r/` `flip-+` `distribute-lft-out`
1×	`+-commutative` `distribute-rgt-in` `distribute-lft-in` `associate-l` `sum-log` `*-commutative`

Counts

2 → 35

Calls

2 calls:

10.0ms	(* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im)))
5.0ms	(+ (exp (neg im)) (exp im))

series23.0ms

Counts

2 → 6

Calls

2 calls:

18.0ms	(* (* 0.5 (cos re)) (+ (exp (neg im)) (exp im)))
4.0ms	(+ (exp (neg im)) (exp im))

simplify56.0ms

Algorithm

egg-herbie

Counts

41 → 41

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5312	437

prune55.0ms

Filtered

27 candidates to 41 candidates (-51.9%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	37	4	41
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	38	4	42

Merged error: 0b

Counts

42 → 4

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* 0.5 (/ (cos re) (exp im))) (* (exp im) (* 0.5 (cos re))))
0.0b	(/ (cos re) (exp im))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
9×	`times-frac`
4×	`add-cbrt-cube` `add-log-exp`
3×	`add-exp-log` `associate-/r` `associate-/l`
2×	`pow1`
1×	`cbrt-undiv` `+-commutative` `frac-2neg` `flip3-+` `div-exp` `clear-num` `sum-log` `flip-+` `div-inv`

Counts

2 → 38

Calls

2 calls:

7.0ms	(+ (* 0.5 (/ (cos re) (exp im))) (* (exp im) (* 0.5 (cos re))))
5.0ms	(/ (cos re) (exp im))

series27.0ms

Counts

2 → 6

Calls

2 calls:

19.0ms	(+ (* 0.5 (/ (cos re) (exp im))) (* (exp im) (* 0.5 (cos re))))
8.0ms	(/ (cos re) (exp im))

simplify41.0ms

Algorithm

egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	4968	498
1	4968	498

prune59.0ms

Filtered

35 candidates to 44 candidates (-25.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	44	0	44
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	44	4	48

Merged error: 0b

Counts

48 → 4

localize20.0ms

Local error

Found 4 expressions with local error:

0.1b	(pow (exp im) -3)
0.1b	(pow (exp im) 3)
0.2b	(/ (+ (pow (exp im) -3) (pow (exp im) 3)) (+ (pow (exp im) -2) (+ (pow (exp im) 2) -1)))
6.7b	(+ (pow (exp im) 2) -1)

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

61×	`*-un-lft-identity`
24×	`add-sqr-sqrt`
22×	`add-cube-cbrt` `distribute-lft-out`
20×	`times-frac`
8×	`pow-pow`
7×	`unpow-prod-down` `add-cbrt-cube`
6×	`pow1` `add-exp-log` `pow-unpow` `exp-prod` `add-log-exp`
5×	`associate-/r*`
4×	`difference-of-sqr--1` `associate-/l*`
3×	`flip3-+` `cube-prod` `flip-+` `sqr-pow`
2×	`pow-to-exp` `pow-exp` `associate-/r/` `associate-/l/`
1×	`cbrt-undiv` `+-commutative` `cube-mult` `frac-2neg` `unpow3` `div-exp` `clear-num` `sum-log` `div-inv` `unpow2` `rem-cube-cbrt`

Counts

4 → 107

Calls

4 calls:

3.0ms	(pow (exp im) -3)
3.0ms	(pow (exp im) 3)
19.0ms	(/ (+ (pow (exp im) -3) (pow (exp im) 3)) (+ (pow (exp im) -2) (+ (pow (exp im) 2) -1)))
5.0ms	(+ (pow (exp im) 2) -1)

series55.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(pow (exp im) -3)
4.0ms	(pow (exp im) 3)
38.0ms	(/ (+ (pow (exp im) -3) (pow (exp im) 3)) (+ (pow (exp im) -2) (+ (pow (exp im) 2) -1)))
4.0ms	(+ (pow (exp im) 2) -1)

simplify52.0ms

Algorithm

egg-herbie

Counts

119 → 119

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5109	1784

prune227.0ms

Filtered

74 candidates to 119 candidates (-60.8%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	119	0	119
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	119	4	123

Merged error: 0b

Counts

123 → 4

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (* 0.5 (cos re)) (+ (* 1/12 (pow im 4)) (+ 2 (* im im))))
0.0b	(+ (* 1/12 (pow im 4)) (+ 2 (* im im)))
0.1b	(* 1/12 (pow im 4))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 60

Calls

3 calls:

9.0ms	(* (* 0.5 (cos re)) (+ (* 1/12 (pow im 4)) (+ 2 (* im im))))
6.0ms	(+ (* 1/12 (pow im 4)) (+ 2 (* im im)))
5.0ms	(* 1/12 (pow im 4))

series33.0ms

Counts

3 → 9

Calls

3 calls:

25.0ms	(* (* 0.5 (cos re)) (+ (* 1/12 (pow im 4)) (+ 2 (* im im))))
4.0ms	(+ (* 1/12 (pow im 4)) (+ 2 (* im im)))
4.0ms	(* 1/12 (pow im 4))

simplify36.0ms

Algorithm

egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	4979	855
1	4979	855

prune84.0ms

Filtered

46 candidates to 69 candidates (-50.0%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	69	0	69
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	69	4	73

Merged error: 0b

Counts

73 → 4

regimes231.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	14	15
1	14	15

end0.0ms

sample2.7s

Algorithm

intervals

Results

763.0ms	1464×	body	1280	valid
501.0ms	1494×	body	1280	invalid
355.0ms	1273×	body	640	valid
284.0ms	1271×	body	640	invalid
240.0ms	4346×	body	80	valid
110.0ms	620×	body	320	valid
108.0ms	643×	body	320	invalid
39.0ms	345×	body	160	invalid
34.0ms	297×	body	160	valid
33.0ms	552×	body	80	invalid

Details

analyze559.0ms

sample94.0ms

simplify98.0ms

prune7.0ms

localize10.0ms

rewrite16.0ms

series23.0ms

simplify56.0ms

prune55.0ms

localize10.0ms

rewrite13.0ms

series27.0ms

simplify41.0ms

prune59.0ms

localize20.0ms

rewrite33.0ms

series55.0ms

simplify52.0ms

prune227.0ms

localize11.0ms

rewrite22.0ms

series33.0ms

simplify36.0ms

prune84.0ms

regimes231.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.7s

Profiling