Details

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

sample89.0ms

Algorithm

intervals

Results

25.0ms	53×	body	1280	valid
18.0ms	56×	body	1280	invalid
9.0ms	40×	body	640	invalid
7.0ms	143×	body	80	valid
7.0ms	27×	body	640	valid
4.0ms	28×	body	320	invalid
4.0ms	22×	body	320	valid
1.0ms	11×	body	160	valid
1.0ms	19×	body	80	invalid
1.0ms	9×	body	160	invalid

simplify10.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (8.0ms)

Iter	Nodes	Cost
0	258	11
1	258	11

prune9.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 1 expressions with local error:

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

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 23

Calls

1 calls:

9.0ms

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

series13.0ms

Counts

1 → 3

Calls

1 calls:

13.0ms

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

simplify46.0ms

Algorithm

egg-herbie

Counts

26 → 26

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5943	308

prune29.0ms

Filtered

16 candidates to 26 candidates (-62.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	24	2	26
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	24	3	27

Merged error: 0.0b

Counts

27 → 3

localize12.0ms

Local error

Found 3 expressions with local error:

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

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt`
13×	`add-cube-cbrt` `*-un-lft-identity`
9×	`times-frac`
7×	`add-cbrt-cube`
5×	`pow1` `add-exp-log` `add-log-exp`
3×	`associate-r` `associate-l` `associate-/r` `associate-/l`
1×	`cbrt-undiv` `+-commutative` `frac-2neg` `flip3-+` `div-exp` `pow-prod-down` `prod-exp` `clear-num` `sum-log` `*-commutative` `cbrt-unprod` `flip-+` `div-inv` `distribute-lft-out` `unswap-sqr`

Counts

3 → 57

Calls

3 calls:

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

series33.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify65.0ms

Algorithm

egg-herbie

Counts

66 → 66

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	4899	623
1	4899	623

prune65.0ms

Filtered

48 candidates to 66 candidates (-37.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	64	2	66
Fresh	1	0	1
Picked	0	1	1
Done	1	0	1
Total	66	3	69

Merged error: 0b

Counts

69 → 3

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (log (cos re)) im)
0.0b	(* (cos re) (exp im))
0.1b	(exp (- (log (cos re)) im))
3.0b	(log (cos re))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt` `*-un-lft-identity`
10×	`add-cube-cbrt`
9×	`pow1` `log-prod`
7×	`add-log-exp`
6×	`add-exp-log` `exp-prod` `associate--l+` `add-cbrt-cube`
4×	`exp-sum` `distribute-lft-out--`
3×	`associate-r` `associate-l` `log-pow`
2×	`sub-neg` `diff-log` `rem-exp-log` `difference-of-squares`
1×	`flip3--` `exp-diff` `rem-log-exp` `pow-prod-down` `prod-exp` `*-commutative` `flip--` `cbrt-unprod` `unswap-sqr`

Counts

4 → 67

Calls

4 calls:

4.0ms	(- (log (cos re)) im)
5.0ms	(* (cos re) (exp im))
5.0ms	(exp (- (log (cos re)) im))
2.0ms	(log (cos re))

series34.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(- (log (cos re)) im)
6.0ms	(* (cos re) (exp im))
8.0ms	(exp (- (log (cos re)) im))
10.0ms	(log (cos re))

simplify45.0ms

Algorithm

egg-herbie

Counts

79 → 79

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5158	500

prune75.0ms

Filtered

54 candidates to 79 candidates (-46.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	79	0	79
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	79	3	82

Merged error: 0b

Counts

82 → 3

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (cos re))
0.0b	(sqrt (cos re))
0.1b	(/ (cos re) (exp im))
0.1b	(* (sqrt (cos re)) (* (exp im) (sqrt (cos re))))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt`
16×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1` `add-cbrt-cube`
9×	`add-exp-log` `times-frac` `sqrt-prod`
6×	`associate-l`
4×	`add-log-exp`
3×	`pow-prod-down` `prod-exp` `associate-/r` `cbrt-unprod` `associate-/l`
2×	`rem-sqrt-square` `sqrt-pow1` `pow1/2`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `associate-r` `clear-num` `*-commutative` `div-inv`

Counts

4 → 74

Calls

4 calls:

1.0ms	(sqrt (cos re))
1.0ms	(sqrt (cos re))
4.0ms	(/ (cos re) (exp im))
9.0ms	(* (sqrt (cos re)) (* (exp im) (sqrt (cos re))))

series21.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(sqrt (cos re))
3.0ms	(sqrt (cos re))
8.0ms	(/ (cos re) (exp im))
7.0ms	(* (sqrt (cos re)) (* (exp im) (sqrt (cos re))))

simplify64.0ms

Algorithm

egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	5218	559

prune71.0ms

Filtered

61 candidates to 86 candidates (-41.0%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	86	0	86
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	86	3	89

Merged error: 0b

Counts

89 → 3

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

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

sample2.6s

Algorithm

intervals

Results

750.0ms	1476×	body	1280	valid
490.0ms	1514×	body	1280	invalid
328.0ms	1238×	body	640	valid
284.0ms	1272×	body	640	invalid
229.0ms	4341×	body	80	valid
113.0ms	646×	body	320	valid
102.0ms	622×	body	320	invalid
33.0ms	299×	body	160	valid
33.0ms	308×	body	160	invalid
32.0ms	504×	body	80	invalid

Details

analyze342.0ms

sample89.0ms

simplify10.0ms

prune9.0ms

localize10.0ms

rewrite10.0ms

series13.0ms

simplify46.0ms

prune29.0ms

localize12.0ms

rewrite17.0ms

series33.0ms

simplify65.0ms

prune65.0ms

localize15.0ms

rewrite16.0ms

series34.0ms

simplify45.0ms

prune75.0ms

localize14.0ms

rewrite18.0ms

series21.0ms

simplify64.0ms

prune71.0ms

regimes110.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze342.0ms

sample2.6s

Profiling