Details

analyze343.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
12.5%	87.4%	0.1%	4
62.4%	37.5%	0.1%	5
62.4%	37.5%	0.1%	6
62.4%	31.2%	6.3%	7
62.4%	31.2%	6.3%	8
62.4%	28.1%	9.5%	9
62.4%	28.1%	9.5%	10
62.4%	26.5%	11%	11
62.4%	26.5%	11%	12
62.4%	25.8%	11.8%	13
62.4%	25.8%	11.8%	14

sample155.0ms

Algorithm

intervals

Results

64.0ms	111×	body	1280	valid
23.0ms	75×	body	640	valid
18.0ms	53×	body	1280	invalid
11.0ms	42×	body	320	valid
11.0ms	47×	body	640	invalid
5.0ms	75×	body	80	invalid
3.0ms	17×	body	320	invalid
3.0ms	21×	body	160	valid
1.0ms	9×	body	160	invalid
0.0ms	7×	body	80	valid

simplify78.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (76.0ms)

Iter	Nodes	Cost
0	5270	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: 38.7b

Counts

2 → 1

localize9.0ms

Local error

Found 2 expressions with local error:

0.2b	(* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))
4.6b	(- (exp (neg im)) (exp im))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

7×	`pow1` `add-exp-log` `add-sqr-sqrt` `*-un-lft-identity` `add-cbrt-cube`
5×	`associate-r`
4×	`add-log-exp`
3×	`add-cube-cbrt` `sub-neg` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`flip3--` `associate-*r/` `flip--` `distribute-lft-out--` `difference-of-squares`
1×	`distribute-rgt-in` `distribute-lft-in` `diff-log` `associate-l` `*-commutative`

Counts

2 → 37

Calls

2 calls:

10.0ms	(* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))
5.0ms	(- (exp (neg im)) (exp im))

series20.0ms

Counts

2 → 6

Calls

2 calls:

15.0ms	(* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))
5.0ms	(- (exp (neg im)) (exp im))

simplify42.0ms

Algorithm

egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	4950	469
1	4950	469

prune75.0ms

Filtered

29 candidates to 43 candidates (-48.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	39	4	43
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	39	5	44

Merged error: 0.4b

Counts

44 → 5

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))
0.0b	(* (pow im 5) -1/60)
0.1b	(* (* 0.5 (sin re)) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))
0.1b	(* (pow im 3) -1/3)

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 89

Calls

4 calls:

5.0ms	(+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))
5.0ms	(* (pow im 5) -1/60)
10.0ms	(* (* 0.5 (sin re)) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))
6.0ms	(* (pow im 3) -1/3)

series55.0ms

Counts

4 → 12

Calls

4 calls:

11.0ms	(+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))
5.0ms	(* (pow im 5) -1/60)
36.0ms	(* (* 0.5 (sin re)) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))
4.0ms	(* (pow im 3) -1/3)

simplify46.0ms

Algorithm

egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5102	1137

prune218.0ms

Filtered

68 candidates to 101 candidates (-48.5%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	95	6	101
Fresh	0	3	3
Picked	1	0	1
Done	0	1	1
Total	96	10	106

Merged error: 0.3b

Counts

106 → 10

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (pow im 5) 0.008333333333333333)
0.1b	(* (pow im 3) (* (sin re) (neg 0.16666666666666666)))
0.1b	(* (sin re) (+ (* im 1.0) (* (pow im 5) 0.008333333333333333)))
0.1b	(* (sin re) (neg 0.16666666666666666))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

26×	`add-exp-log`
25×	`add-sqr-sqrt` `associate-l`
17×	`associate-r`
16×	`add-cube-cbrt` `*-un-lft-identity`
15×	`add-cbrt-cube`
14×	`prod-exp`
8×	`pow1`
7×	`unpow-prod-down`
6×	`cbrt-unprod`
5×	`unswap-sqr`
4×	`*-commutative` `add-log-exp`
3×	`distribute-lft-neg-in` `pow-to-exp` `distribute-rgt-neg-in` `cube-prod` `pow-exp` `distribute-rgt-neg-out` `sqr-pow`
2×	`associate-*r/` `pow-prod-down`
1×	`distribute-rgt-in` `cube-mult` `neg-mul-1` `distribute-lft-in` `flip3-+` `unpow3` `flip-+`

Counts

4 → 103

Calls

4 calls:

5.0ms	(* (pow im 5) 0.008333333333333333)
7.0ms	(* (pow im 3) (* (sin re) (neg 0.16666666666666666)))
7.0ms	(* (sin re) (+ (* im 1.0) (* (pow im 5) 0.008333333333333333)))
5.0ms	(* (sin re) (neg 0.16666666666666666))

series60.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(* (pow im 5) 0.008333333333333333)
8.0ms	(* (pow im 3) (* (sin re) (neg 0.16666666666666666)))
43.0ms	(* (sin re) (+ (* im 1.0) (* (pow im 5) 0.008333333333333333)))
3.0ms	(* (sin re) (neg 0.16666666666666666))

simplify54.0ms

Algorithm

egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5016	1012

prune238.0ms

Filtered

78 candidates to 115 candidates (-47.4%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	109	6	115
Fresh	3	5	8
Picked	0	1	1
Done	0	1	1
Total	112	13	125

Merged error: 0.3b

Counts

125 → 13

localize19.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (cbrt (sin re)) (cbrt (sin re)))
0.6b	(cbrt (sin re))
0.6b	(cbrt (sin re))
0.6b	(cbrt (sin re))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`pow1/3`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 73

Calls

4 calls:

6.0ms	(* (cbrt (sin re)) (cbrt (sin re)))
1.0ms	(cbrt (sin re))
1.0ms	(cbrt (sin re))
1.0ms	(cbrt (sin re))

series76.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(* (cbrt (sin re)) (cbrt (sin re)))
19.0ms	(cbrt (sin re))
17.0ms	(cbrt (sin re))
17.0ms	(cbrt (sin re))

simplify54.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5025	482

prune126.0ms

Filtered

56 candidates to 85 candidates (-51.8%)

Pruning

13 alts after pruning (10 fresh and 3 done)

	Pruned	Kept	Total
New	83	2	85
Fresh	2	8	10
Picked	0	1	1
Done	0	2	2
Total	85	13	98

Merged error: 0.3b

Counts

98 → 13

regimes608.0ms

Accuracy

0% (0.7b remaining)

Error of 0.7b against oracle of 0.1b and baseline of 0.7b

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	207	22
1	207	22

end0.0ms

sample4.6s

Algorithm

intervals

Results

1.9s	3249×	body	1280	valid
813.0ms	2552×	body	640	valid
577.0ms	1583×	body	1280	invalid
308.0ms	1265×	body	640	invalid
262.0ms	1287×	body	320	valid
159.0ms	2442×	body	80	invalid
108.0ms	629×	body	320	invalid
85.0ms	653×	body	160	valid
38.0ms	316×	body	160	invalid
17.0ms	259×	body	80	valid

Details

analyze343.0ms

sample155.0ms

simplify78.0ms

prune7.0ms

localize9.0ms

rewrite16.0ms

series20.0ms

simplify42.0ms

prune75.0ms

localize14.0ms

rewrite29.0ms

series55.0ms

simplify46.0ms

prune218.0ms

localize15.0ms

rewrite27.0ms

series60.0ms

simplify54.0ms

prune238.0ms

localize19.0ms

rewrite13.0ms

series76.0ms

simplify54.0ms

prune126.0ms

regimes608.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample4.6s

Profiling