Details

sample161.0ms

Algorithm

intervals

Results

86.0ms	187×	body	1280	valid
34.0ms	121×	body	640	valid
11.0ms	133×	body	80	valid
8.0ms	45×	body	320	valid
2.0ms	19×	body	160	valid

simplify88.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.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

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

localize10.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))

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×	`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:

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

series23.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify37.0ms

Algorithm

egg-herbie

Counts

46 → 46

Iterations

Useful iterations: 2 (32.0ms)

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

prune73.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))

rewrite28.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))

series54.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify69.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 1 (14.0ms)

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

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

localize19.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)))

rewrite26.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))))
4.0ms	(cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))
4.0ms	(cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))
4.0ms	(cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))

series222.0ms

Counts

4 → 12

Calls

4 calls:

58.0ms	(* (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))) (cbrt (+ (* 1/60 (pow im 5)) (* 2 im))))
55.0ms	(cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))
53.0ms	(cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))
56.0ms	(cbrt (+ (* 1/60 (pow im 5)) (* 2 im)))

simplify55.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 2 (40.0ms)

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

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

localize17.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)))))

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

6.0ms	(* -1/3 (pow im 3))
6.0ms	(* -1/3 (pow im 3))
12.0ms	(* (* 0.5 (cos re)) (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
21.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)))))

series95.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(* -1/3 (pow im 3))
4.0ms	(* -1/3 (pow im 3))
41.0ms	(* (* 0.5 (cos re)) (sqrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im)))))
45.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)))))

simplify93.0ms

Algorithm

egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 1 (18.0ms)

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

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

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

sample4.8s

Algorithm

intervals

Results

2.7s	5665×	body	1280	valid
994.0ms	3532×	body	640	valid
283.0ms	1531×	body	320	valid
232.0ms	4388×	body	80	valid
84.0ms	719×	body	160	valid

Details

sample161.0ms

simplify88.0ms

prune3.0ms

localize10.0ms

rewrite19.0ms

series23.0ms

simplify37.0ms

prune73.0ms

localize14.0ms

rewrite28.0ms

series54.0ms

simplify69.0ms

prune183.0ms

localize19.0ms

rewrite26.0ms

series222.0ms

simplify55.0ms

prune420.0ms

localize17.0ms

rewrite48.0ms

series95.0ms

simplify93.0ms

prune309.0ms

regimes298.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample4.8s

Profiling