Details

analyze363.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
50%	50%	0.1%	5
50%	50%	0.1%	6
50%	37.5%	12.6%	7
50%	37.5%	12.6%	8
50%	31.2%	18.8%	9
50%	31.2%	18.8%	10
50%	28.1%	22%	11
50%	28.1%	22%	12
50%	26.5%	23.5%	13
50%	26.5%	23.5%	14

sample144.0ms

Algorithm

intervals

Results

64.0ms	129×	body	1280	valid
26.0ms	83×	body	640	valid
21.0ms	52×	body	1280	invalid
9.0ms	38×	body	640	invalid
5.0ms	26×	body	320	valid
3.0ms	21×	body	320	invalid
1.0ms	11×	body	160	valid
1.0ms	11×	body	80	invalid
1.0ms	5×	body	160	invalid
0.0ms	7×	body	80	valid

simplify57.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (55.0ms)

Iter	Nodes	Cost
0	5348	12

prune9.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 57.6b

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)))
6.5b	(- (exp (- 0.0 im)) (exp im))

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

Counts

2 → 37

Calls

2 calls:

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

simplify51.0ms

Algorithm

egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	5332	526

prune86.0ms

Filtered

31 candidates to 43 candidates (-38.7%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	40	3	43
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	41	3	44

Merged error: 0.1b

Counts

44 → 3

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 91

Calls

4 calls:

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

series49.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify34.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 0 (23.0ms)

Iter	Nodes	Cost
0	5943	1256

prune207.0ms

Filtered

69 candidates to 103 candidates (-49.3%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	96	7	103
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	96	10	106

Merged error: 0.0b

Counts

106 → 10

localize23.0ms

Local error

Found 4 expressions with local error:

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

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:

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

series84.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(* (cbrt (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60)))) (cbrt (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60)))))
19.0ms	(cbrt (+ (* (pow im 3) -1/3) (+ (* im -2) (* (pow im 5) -1/60))))
19.0ms	(cbrt (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60))))
22.0ms	(cbrt (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60))))

simplify53.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	4942	2880
1	4942	2880

prune521.0ms

Filtered

81 candidates to 99 candidates (-22.2%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	97	2	99
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	97	12	109

Merged error: 0.0b

Counts

109 → 12

localize29.0ms

Local error

Found 4 expressions with local error:

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

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

37×	`cbrt-prod`
18×	`unpow-prod-down`
14×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
5×	`pow1` `add-exp-log`
4×	`cbrt-div` `pow1/3` `add-cbrt-cube` `add-log-exp`
3×	`pow-unpow`
2×	`pow-pow` `flip3-+` `flip-+` `sqr-pow`
1×	`pow-to-exp` `pow-exp`

Counts

4 → 71

Calls

4 calls:

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

series133.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(cbrt (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60))))
19.0ms	(cbrt (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60))))
34.0ms	(cbrt (pow (cbrt (cbrt (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60))))) 6))
61.0ms	(pow (cbrt (cbrt (+ (* -1/3 (pow im 3)) (+ (* im -2) (* (pow im 5) -1/60))))) 6)

simplify36.0ms

Algorithm

egg-herbie

Counts

83 → 83

Iterations

Useful iterations: 0 (20.0ms)

Iter	Nodes	Cost
0	4940	2240
1	4940	2240

prune548.0ms

Filtered

66 candidates to 83 candidates (-25.8%)

Pruning

13 alts after pruning (10 fresh and 3 done)

	Pruned	Kept	Total
New	82	1	83
Fresh	0	9	9
Picked	0	1	1
Done	0	2	2
Total	82	13	95

Merged error: 0.0b

Counts

95 → 13

regimes493.0ms

Accuracy

0% (0.7b remaining)

Error of 0.7b against oracle of 0.1b and baseline of 0.7b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	20
1	25	20

end0.0ms

sample4.5s

Algorithm

intervals

Results

2.3s	4329×	body	1280	valid
725.0ms	2274×	body	640	valid
542.0ms	1543×	body	1280	invalid
293.0ms	1248×	body	640	invalid
181.0ms	868×	body	320	valid
97.0ms	586×	body	320	invalid
54.0ms	376×	body	160	valid
36.0ms	312×	body	160	invalid
33.0ms	525×	body	80	invalid
10.0ms	153×	body	80	valid

Details

analyze363.0ms

sample144.0ms

simplify57.0ms

prune9.0ms

localize10.0ms

rewrite18.0ms

series20.0ms

simplify51.0ms

prune86.0ms

localize15.0ms

rewrite31.0ms

series49.0ms

simplify34.0ms

prune207.0ms

localize23.0ms

rewrite40.0ms

series84.0ms

simplify53.0ms

prune521.0ms

localize29.0ms

rewrite37.0ms

series133.0ms

simplify36.0ms

prune548.0ms

regimes493.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample4.5s

Profiling