Details

sample268.0ms

Algorithm

intervals

Results

149.0ms	187×	body	1280	valid
59.0ms	121×	body	640	valid
14.0ms	45×	body	320	valid
12.0ms	133×	body	80	valid
3.0ms	19×	body	160	valid

simplify126.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	21	7
1	44	7
2	99	7
3	185	7
4	318	7
5	766	7
6	1270	7
7	1742	7
8	4161	7
9	5002	7

prune6.0ms

Filtered

1 candidates to 0 candidates (100.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 59.0b

Counts

2 → 1

localize19.0ms

Local error

Found 2 expressions with local error:

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

rewrite35.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×	`distribute-rgt-in` `flip3--` `distribute-lft-in` `associate-*r/` `flip--` `distribute-lft-out--` `difference-of-squares`
1×	`diff-log` `associate-l` `*-commutative`

Counts

2 → 40

Calls

2 calls:

20.0ms	(* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im)))
13.0ms	(- (exp (- 0.0 im)) (exp im))

series39.0ms

Counts

2 → 6

Calls

2 calls:

30.0ms	(* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im)))
9.0ms	(- (exp (- 0.0 im)) (exp im))

simplify59.0ms

Algorithm

egg-herbie

Counts

46 → 46

Iterations

Useful iterations: 2 (51.0ms)

Iter	Nodes	Cost
0	268	399
1	1086	344
2	5001	343

prune102.0ms

Filtered

46 candidates to 30 candidates (34.8%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	44	2	46
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	45	2	47

Merged error: 0.1b

Counts

47 → 2

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 91

Calls

4 calls:

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

series56.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify100.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 1 (22.0ms)

Iter	Nodes	Cost
0	479	664
1	2204	585
2	5003	585

prune216.0ms

Filtered

103 candidates to 64 candidates (37.9%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	97	6	103
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	97	8	105

Merged error: 0.0b

Counts

105 → 8

localize39.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
0.7b	(cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))
0.7b	(cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))
0.7b	(cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))

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

11.0ms	(* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
7.0ms	(cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))
7.0ms	(cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))
7.0ms	(cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))

series260.0ms

Counts

4 → 12

Calls

4 calls:

57.0ms	(* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
74.0ms	(cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))
65.0ms	(cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))
64.0ms	(cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))

simplify67.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 2 (52.0ms)

Iter	Nodes	Cost
0	382	1476
1	1336	1397
2	5002	1308

prune505.0ms

Filtered

99 candidates to 75 candidates (24.2%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	99	0	99
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	99	8	107

Merged error: 0.0b

Counts

107 → 8

localize35.0ms

Local error

Found 4 expressions with local error:

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

rewrite83.0ms

Algorithm

rewrite-expression-head

Rules

36×	`associate-r`
30×	`add-sqr-sqrt`
28×	`add-exp-log`
22×	`add-cbrt-cube`
18×	`pow1`
16×	`add-cube-cbrt` `*-un-lft-identity`
15×	`prod-exp`
14×	`sqrt-div`
11×	`cbrt-unprod`
10×	`associate-*r/`
9×	`pow-prod-down`
8×	`unpow-prod-down` `cube-prod` `associate-l` `unswap-sqr`
7×	`flip3--` `flip--`
6×	`sqrt-prod`
4×	`frac-times` `*-commutative` `add-log-exp` `sqr-pow`
2×	`cube-mult` `pow-to-exp` `unpow3` `associate-*l/` `pow-exp`

Counts

4 → 117

Calls

4 calls:

7.0ms	(* -1/3 (pow im 3))
12.0ms	(* -1/3 (pow im 3))
22.0ms	(* (* 0.5 (cos re)) (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
39.0ms	(* (* (* 0.5 (cos re)) (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))

series117.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* -1/3 (pow im 3))
4.0ms	(* -1/3 (pow im 3))
51.0ms	(* (* 0.5 (cos re)) (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
59.0ms	(* (* (* 0.5 (cos re)) (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))) (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))

simplify124.0ms

Algorithm

egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 1 (17.0ms)

Iter	Nodes	Cost
0	616	1470
1	3026	1215
2	5002	1215

prune382.0ms

Filtered

129 candidates to 77 candidates (40.3%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	126	3	129
Fresh	1	4	5
Picked	0	1	1
Done	1	1	2
Total	128	9	137

Merged error: 0.0b

Counts

137 → 9

regimes350.0ms

Accuracy

0% (0.7b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	10
1	24	10

end0.0ms

sample5.8s

Algorithm

intervals

Results

3.2s	5665×	body	1280	valid
1.2s	3532×	body	640	valid
351.0ms	1531×	body	320	valid
289.0ms	4388×	body	80	valid
103.0ms	719×	body	160	valid

Details

sample268.0ms

simplify126.0ms

prune6.0ms

localize19.0ms

rewrite35.0ms

series39.0ms

simplify59.0ms

prune102.0ms

localize14.0ms

rewrite27.0ms

series56.0ms

simplify100.0ms

prune216.0ms

localize39.0ms

rewrite34.0ms

series260.0ms

simplify67.0ms

prune505.0ms

localize35.0ms

rewrite83.0ms

series117.0ms

simplify124.0ms

prune382.0ms

regimes350.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample5.8s

Profiling