Details

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

sample143.0ms

Algorithm

intervals

Results

58.0ms	103×	body	1280	valid
29.0ms	84×	body	640	valid
14.0ms	39×	body	1280	invalid
9.0ms	41×	body	640	invalid
7.0ms	35×	body	320	valid
4.0ms	68×	body	80	invalid
4.0ms	23×	body	320	invalid
3.0ms	23×	body	160	valid
1.0ms	7×	body	160	invalid
1.0ms	11×	body	80	valid

simplify47.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4868	11
1	4868	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: 40.9b

Counts

2 → 1

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))
5.5b	(- (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)))
6.0ms	(- (exp (neg im)) (exp im))

series23.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify36.0ms

Algorithm

egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5022	469

prune70.0ms

Filtered

29 candidates to 43 candidates (-48.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	40	3	43
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	41	3	44

Merged error: 0.1b

Counts

44 → 3

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite31.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)
5.0ms	(* (pow im 3) -1/3)
11.0ms	(* (* 0.5 (sin re)) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))

series53.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify31.0ms

Algorithm

egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 0 (22.0ms)

Iter	Nodes	Cost
0	6066	1143

prune194.0ms

Filtered

67 candidates to 101 candidates (-50.7%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	96	5	101
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	96	8	104

Merged error: 0.1b

Counts

104 → 8

localize21.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))) (cbrt (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))))
0.6b	(cbrt (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))
0.6b	(cbrt (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))
0.6b	(cbrt (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 87

Calls

4 calls:

17.0ms	(* (cbrt (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))) (cbrt (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))))
7.0ms	(cbrt (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))
7.0ms	(cbrt (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))
7.0ms	(cbrt (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))

series87.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(* (cbrt (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))) (cbrt (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))))
20.0ms	(cbrt (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))
20.0ms	(cbrt (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))
21.0ms	(cbrt (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))

simplify78.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	4912	2825
1	4912	2825

prune529.0ms

Filtered

80 candidates to 99 candidates (-23.8%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	95	4	99
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	95	12	107

Merged error: 0.0b

Counts

107 → 12

localize27.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))
0.7b	(cbrt (pow (cbrt (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))) 2))
0.7b	(cbrt (pow (cbrt (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))) 2))
0.7b	(cbrt (pow (cbrt (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))) 2))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

45×	`cbrt-prod`
18×	`unpow-prod-down`
14×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `pow1/3` `add-cbrt-cube` `add-log-exp`
3×	`unpow2` `sqr-pow`
2×	`cbrt-div`
1×	`flip3-+` `flip-+`

Counts

4 → 70

Calls

4 calls:

6.0ms	(cbrt (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))
9.0ms	(cbrt (pow (cbrt (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))) 2))
9.0ms	(cbrt (pow (cbrt (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))) 2))
11.0ms	(cbrt (pow (cbrt (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))) 2))

series120.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(cbrt (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))
33.0ms	(cbrt (pow (cbrt (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))) 2))
35.0ms	(cbrt (pow (cbrt (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))) 2))
33.0ms	(cbrt (pow (cbrt (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60)))) 2))

simplify50.0ms

Algorithm

egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	5019	2332

prune625.0ms

Filtered

69 candidates to 82 candidates (-18.8%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	80	2	82
Fresh	1	8	9
Picked	1	0	1
Done	0	2	2
Total	82	12	94

Merged error: 0.0b

Counts

94 → 12

regimes440.0ms

Accuracy

0% (0.7b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	20
1	25	20

end0.0ms

sample4.5s

Algorithm

intervals

Results

1.9s	3297×	body	1280	valid
822.0ms	2546×	body	640	valid
486.0ms	1388×	body	1280	invalid
306.0ms	1270×	body	640	invalid
257.0ms	1250×	body	320	valid
145.0ms	2330×	body	80	invalid
106.0ms	600×	body	320	invalid
88.0ms	663×	body	160	valid
39.0ms	274×	body	160	invalid
19.0ms	244×	body	80	valid

Details

analyze349.0ms

sample143.0ms

simplify47.0ms

prune7.0ms

localize9.0ms

rewrite16.0ms

series23.0ms

simplify36.0ms

prune70.0ms

localize14.0ms

rewrite31.0ms

series53.0ms

simplify31.0ms

prune194.0ms

localize21.0ms

rewrite42.0ms

series87.0ms

simplify78.0ms

prune529.0ms

localize27.0ms

rewrite38.0ms

series120.0ms

simplify50.0ms

prune625.0ms

regimes440.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample4.5s

Profiling