Details

sample3.8s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 24.21875%

Guaranteed chance to sample good point: 65.979381%

Results

65.0ms	125×	body	1280	valid
24.0ms	76×	body	640	valid
11.0ms	34×	body	1280	invalid
9.0ms	40×	body	640	invalid
8.0ms	42×	body	320	valid
2.0ms	13×	body	320	invalid
1.0ms	8×	body	160	valid
1.0ms	9×	body	160	invalid
1.0ms	12×	body	80	invalid
0.0ms	5×	body	80	valid

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

prune4.0ms

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: 57.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)))
4.2b	(- (exp (- 0.0 im)) (exp im))

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

12.0ms	(* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im)))
8.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))

simplify39.0ms

Algorithm

egg-herbie

Counts

46 → 46

Iterations

Useful iterations: 2 (34.0ms)

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

prune84.0ms

Filtered

30 candidates to 46 candidates (-53.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	43	3	46
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	44	3	47

Merged error: 0.1b

Counts

47 → 3

localize15.0ms

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	(* (* 0.5 (cos re)) (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
0.2b	(* -1/3 (pow im 3))

rewrite31.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` `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:

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

series52.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify71.0ms

Algorithm

egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 1 (15.0ms)

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

prune193.0ms

Filtered

65 candidates to 106 candidates (-63.1%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	101	5	106
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	101	8	109

Merged error: 0.0b

Counts

109 → 8

localize21.0ms

Local error

Found 4 expressions with local error:

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

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

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

series89.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify64.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 2 (44.0ms)

Iter	Nodes	Cost
0	403	2076
1	1513	1955
2	5002	1832

prune566.0ms

Filtered

75 candidates to 99 candidates (-32.0%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	97	2	99
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	97	10	107

Merged error: 0.0b

Counts

107 → 10

localize31.0ms

Local error

Found 4 expressions with local error:

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

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

18×	`cbrt-prod`
10×	`cbrt-div`
9×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `flip3--` `pow1/3` `add-cbrt-cube` `flip--` `add-log-exp`

Counts

4 → 55

Calls

4 calls:

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

series92.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify49.0ms

Algorithm

egg-herbie

Counts

67 → 67

Iterations

Useful iterations: 2 (35.0ms)

Iter	Nodes	Cost
0	348	1266
1	1234	1196
2	5001	1184

prune760.0ms

Filtered

63 candidates to 67 candidates (-6.3%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	67	0	67
Fresh	0	7	7
Picked	0	1	1
Done	0	2	2
Total	67	10	77

Merged error: 0.0b

Counts

77 → 10

regimes469.0ms

Accuracy

0% (0.5b 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

sample8.6s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 24.21875%

Guaranteed chance to sample good point: 65.979381%

Results

2.3s	4277×	body	1280	valid
742.0ms	2319×	body	640	valid
499.0ms	1482×	body	1280	invalid
273.0ms	1181×	body	640	invalid
176.0ms	884×	body	320	valid
96.0ms	593×	body	320	invalid
53.0ms	363×	body	160	valid
35.0ms	308×	body	160	invalid
26.0ms	401×	body	80	invalid
10.0ms	157×	body	80	valid

Details

sample3.8s

simplify92.0ms

prune4.0ms

localize14.0ms

rewrite20.0ms

series20.0ms

simplify39.0ms

prune84.0ms

localize15.0ms

rewrite31.0ms

series52.0ms

simplify71.0ms

prune193.0ms

localize21.0ms

rewrite40.0ms

series89.0ms

simplify64.0ms

prune566.0ms

localize31.0ms

rewrite28.0ms

series92.0ms

simplify49.0ms

prune760.0ms

regimes469.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample8.6s

Profiling