Details

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

sample141.0ms

Algorithm

intervals

Results

62.0ms	119×	body	1280	valid
27.0ms	89×	body	640	valid
15.0ms	45×	body	1280	invalid
9.0ms	40×	body	640	invalid
6.0ms	30×	body	320	valid
3.0ms	4×	body	80	valid
3.0ms	17×	body	320	invalid
2.0ms	14×	body	160	valid
1.0ms	11×	body	160	invalid
1.0ms	16×	body	80	invalid

simplify56.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	5348	12

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: 58.6b

Counts

2 → 1

localize14.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im)))
8.3b	(- (exp (- 0.0 im)) (exp im))

rewrite19.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:

11.0ms	(* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im)))
7.0ms	(- (exp (- 0.0 im)) (exp im))

series20.0ms

Counts

2 → 6

Calls

2 calls:

15.0ms	(* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im)))
5.0ms	(- (exp (- 0.0 im)) (exp im))

simplify53.0ms

Algorithm

egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5332	526

prune83.0ms

Filtered

31 candidates to 43 candidates (-38.7%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	41	2	43
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	42	2	44

Merged error: 0.1b

Counts

44 → 2

localize15.0ms

Local error

Found 3 expressions with local error:

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

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 78

Calls

3 calls:

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

series43.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify26.0ms

Algorithm

egg-herbie

Counts

87 → 87

Iterations

Useful iterations: 0 (18.0ms)

Iter	Nodes	Cost
0	5328	950

prune169.0ms

Filtered

58 candidates to 87 candidates (-50.0%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	82	5	87
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	82	7	89

Merged error: 0.0b

Counts

89 → 7

localize21.0ms

Local error

Found 4 expressions with local error:

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

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 72

Calls

4 calls:

9.0ms	(* (cbrt (* 0.5 (* (cos re) (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60)))))) (cbrt (* 0.5 (* (cos re) (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60)))))))
10.0ms	(cbrt (* 0.5 (* (cos re) (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60))))))
10.0ms	(cbrt (* 0.5 (* (cos re) (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60))))))
9.0ms	(cbrt (* 0.5 (* (cos re) (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60))))))

series404.0ms

Counts

4 → 12

Calls

4 calls:

172.0ms	(* (cbrt (* 0.5 (* (cos re) (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60)))))) (cbrt (* 0.5 (* (cos re) (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60)))))))
76.0ms	(cbrt (* 0.5 (* (cos re) (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60))))))
77.0ms	(cbrt (* 0.5 (* (cos re) (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60))))))
78.0ms	(cbrt (* 0.5 (* (cos re) (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60))))))

simplify51.0ms

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5239	2668

prune432.0ms

Filtered

67 candidates to 84 candidates (-25.4%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	81	3	84
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	81	10	91

Merged error: 0.0b

Counts

91 → 10

localize29.0ms

Local error

Found 4 expressions with local error:

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

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

8×	`associate-*r/`
7×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`cbrt-prod` `unpow-prod-down` `cbrt-div`
5×	`pow1` `add-exp-log`
4×	`pow1/3` `add-cbrt-cube` `add-log-exp`
3×	`pow-unpow` `flip3-+` `flip-+`
2×	`pow-pow`
1×	`pow-to-exp` `pow-exp` `unpow2` `sqr-pow`

Counts

4 → 55

Calls

4 calls:

9.0ms	(cbrt (* 0.5 (* (cos re) (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60))))))
9.0ms	(cbrt (* (cos re) (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60)))))
9.0ms	(cbrt (* (cos re) (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60)))))
3.0ms	(pow (cbrt 0.5) 2)

series229.0ms

Counts

4 → 10

Calls

4 calls:

77.0ms	(cbrt (* 0.5 (* (cos re) (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60))))))
74.0ms	(cbrt (* (cos re) (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60)))))
77.0ms	(cbrt (* (cos re) (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60)))))
0.0ms	(pow (cbrt 0.5) 2)

simplify48.0ms

Algorithm

egg-herbie

Counts

65 → 65

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	4966	1321
1	4966	1321

prune327.0ms

Filtered

55 candidates to 65 candidates (-18.2%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	64	1	65
Fresh	1	6	7
Picked	0	1	1
Done	0	2	2
Total	65	10	75

Merged error: 0.0b

Counts

75 → 10

regimes357.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 (1.0ms)

Iter	Nodes	Cost
0	25	20
1	25	20

end0.0ms

sample4.7s

Algorithm

intervals

Results

2.4s	4147×	body	1280	valid
771.0ms	2412×	body	640	valid
512.0ms	1496×	body	1280	invalid
282.0ms	1228×	body	640	invalid
191.0ms	894×	body	320	valid
111.0ms	660×	body	320	invalid
54.0ms	393×	body	160	valid
36.0ms	523×	body	80	invalid
36.0ms	315×	body	160	invalid
10.0ms	154×	body	80	valid

Details

analyze361.0ms

sample141.0ms

simplify56.0ms

prune7.0ms

localize14.0ms

rewrite19.0ms

series20.0ms

simplify53.0ms

prune83.0ms

localize15.0ms

rewrite23.0ms

series43.0ms

simplify26.0ms

prune169.0ms

localize21.0ms

rewrite39.0ms

series404.0ms

simplify51.0ms

prune432.0ms

localize29.0ms

rewrite31.0ms

series229.0ms

simplify48.0ms

prune327.0ms

regimes357.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample4.7s

Profiling