Details

analyze444.0ms

Algorithm: search

sample146.0ms

Algorithm

intervals

Results

72.0ms	137×	body	1280	valid
21.0ms	67×	body	640	valid
18.0ms	52×	body	1280	invalid
8.0ms	34×	body	640	invalid
6.0ms	30×	body	320	valid
3.0ms	16×	body	320	invalid
2.0ms	17×	body	160	valid
1.0ms	13×	body	80	invalid
1.0ms	9×	body	160	invalid
0.0ms	5×	body	80	valid

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

prune8.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.7b

Counts

2 → 1

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (* 0.5 (cos re)) (- (exp (- 0.0 im)) (exp im)))
7.7b	(- (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)))
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))

simplify49.0ms

Algorithm

egg-herbie

Counts

46 → 46

Iterations

Useful iterations: 2 (42.0ms)

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

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

localize16.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.1b	(* -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))

series51.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(- (* -1/3 (pow im 3)) (+ (* 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))

simplify107.0ms

Algorithm

egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 1 (16.0ms)

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

prune237.0ms

Filtered

65 candidates to 106 candidates (-63.1%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	100	6	106
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	100	9	109

Merged error: 0.0b

Counts

109 → 9

localize23.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.7b	(cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
0.7b	(cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
0.7b	(cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))

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

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

series113.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)))))
34.0ms	(cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
33.0ms	(cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
22.0ms	(cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))

simplify72.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 2 (47.0ms)

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

prune587.0ms

Filtered

75 candidates to 99 candidates (-32.0%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	95	4	99
Fresh	2	5	7
Picked	0	1	1
Done	0	1	1
Total	97	11	108

Merged error: 0.0b

Counts

108 → 11

localize28.0ms

Local error

Found 4 expressions with local error:

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

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 52

Calls

4 calls:

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

series80.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
19.0ms	(cbrt (- (* -1/3 (pow im 3)) (+ (* 1/60 (pow im 5)) (* 2 im))))
19.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))))

simplify145.0ms

Algorithm

egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 2 (25.0ms)

Iter	Nodes	Cost
0	232	1180
1	815	1112
2	3951	1032
3	5001	1032

prune611.0ms

Filtered

60 candidates to 64 candidates (-6.7%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	64	0	64
Fresh	0	8	8
Picked	0	1	1
Done	0	2	2
Total	64	11	75

Merged error: 0.0b

Counts

75 → 11

regimes417.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 (0.0ms)

Iter	Nodes	Cost
0	24	10
1	24	10

end0.0ms

analyze368.0ms

Algorithm: search

sample4.9s

Algorithm

intervals

Results

2.4s	4257×	body	1280	valid
805.0ms	2348×	body	640	valid
585.0ms	1530×	body	1280	invalid
315.0ms	1214×	body	640	invalid
192.0ms	868×	body	320	valid
113.0ms	588×	body	320	invalid
54.0ms	386×	body	160	valid
37.0ms	306×	body	160	invalid
36.0ms	528×	body	80	invalid
14.0ms	141×	body	80	valid

Details

analyze444.0ms

sample146.0ms

simplify91.0ms

prune8.0ms

localize11.0ms

rewrite20.0ms

series20.0ms

simplify49.0ms

prune115.0ms

localize16.0ms

rewrite31.0ms

series51.0ms

simplify107.0ms

prune237.0ms

localize23.0ms

rewrite46.0ms

series113.0ms

simplify72.0ms

prune587.0ms

localize28.0ms

rewrite29.0ms

series80.0ms

simplify145.0ms

prune611.0ms

regimes417.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze368.0ms

sample4.9s

Profiling