Details

sample0.0hr

Algorithm

intervals

Results

0.0hr	179×	body	1280	valid
0.0hr	118×	body	640	valid
0.0hr	51×	body	320	valid
0.0hr	171×	body	80	valid
0.0hr	20×	body	160	valid

simplify0.0hr

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0hr)

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

prune0.0hr

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

Counts

2 → 1

localize0.0hr

Local error

Found 2 expressions with local error:

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

rewrite0.0hr

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:

0.0hr	(* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im)))
0.0hr	(- (exp (- 0.0 im)) (exp im))

series0.0hr

Counts

2 → 6

Calls

2 calls:

0.0hr	(* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im)))
0.0hr	(- (exp (- 0.0 im)) (exp im))

simplify0.0hr

Algorithm

egg-herbie

Counts

46 → 46

Iterations

Useful iterations: 2 (0.0hr)

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

prune0.0hr

Filtered

46 candidates to 30 candidates (34.8%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	42	4	46
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	43	4	47

Merged error: 0.1b

Counts

47 → 4

localize0.0hr

Local error

Found 4 expressions with local error:

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

rewrite0.0hr

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` `add-log-exp`
8×	`unpow-prod-down`
7×	`associate-l` `unswap-sqr`
5×	`cbrt-unprod`
4×	`cube-prod` `sqr-pow`
3×	`sub-neg` `pow-prod-down` `*-commutative`
2×	`distribute-rgt-in` `pow-to-exp` `flip3--` `distribute-lft-in` `diff-log` `associate-*r/` `pow-exp` `flip--`
1×	`cube-mult` `unpow3` `sum-log` `associate--r+`

Counts

4 → 94

Calls

4 calls:

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

series0.0hr

Counts

4 → 12

Calls

4 calls:

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

simplify0.0hr

Algorithm

egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 1 (0.0hr)

Iter	Nodes	Cost
0	462	764
1	2138	663
2	5003	663

prune0.0hr

Filtered

106 candidates to 64 candidates (39.6%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	98	8	106
Fresh	1	2	3
Picked	1	0	1
Done	0	0	0
Total	100	10	110

Merged error: 0.0b

Counts

110 → 10

localize0.0hr

Local error

Found 4 expressions with local error:

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

rewrite0.0hr

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×	`sub-neg` `cbrt-unprod`
4×	`distribute-rgt-in` `distribute-lft-in` `cube-prod` `associate--l+` `sqr-pow`
3×	`pow-prod-down` `*-commutative`
2×	`pow-to-exp` `flip3--` `associate-*r/` `pow-exp` `flip--`
1×	`cube-mult` `diff-log` `unpow3`

Counts

4 → 96

Calls

4 calls:

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

series0.0hr

Counts

4 → 12

Calls

4 calls:

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

simplify0.0hr

Algorithm

egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 1 (0.0hr)

Iter	Nodes	Cost
0	490	737
1	2237	652
2	5001	652

prune0.0hr

Filtered

108 candidates to 66 candidates (38.9%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	107	1	108
Fresh	1	8	9
Picked	0	1	1
Done	0	0	0
Total	108	10	118

Merged error: 0.0b

Counts

118 → 10

localize0.0hr

Local error

Found 4 expressions with local error:

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

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

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

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

series0.0hr

Counts

4 → 12

Calls

4 calls:

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

simplify0.0hr

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 2 (0.0hr)

Iter	Nodes	Cost
0	436	1935
1	1733	1770
2	5001	1673

prune0.0hr

Filtered

84 candidates to 67 candidates (20.2%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	82	2	84
Fresh	1	7	8
Picked	0	1	1
Done	0	1	1
Total	83	11	94

Merged error: 0.0b

Counts

94 → 11

regimes0.0hr

Accuracy

0% (0.8b remaining)

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

bsearch0.0hr

simplify0.0hr

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0hr)

Iter	Nodes	Cost
0	23	10
1	23	10

end0.0hr

sample0.0hr

Algorithm

intervals

Results

0.0hr	5802×	body	1280	valid
0.0hr	3580×	body	640	valid
0.0hr	1486×	body	320	valid
0.0hr	4424×	body	80	valid
0.0hr	628×	body	160	valid

Details

sample0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

regimes0.0hr

bsearch0.0hr

simplify0.0hr

end0.0hr

sample0.0hr

Profiling