Details

analyze347.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
12.5%	87.4%	0.1%	4
62.4%	37.5%	0.1%	5
62.4%	37.5%	0.1%	6
62.4%	31.2%	6.3%	7
62.4%	31.2%	6.3%	8
62.4%	28.1%	9.5%	9
62.4%	28.1%	9.5%	10
62.4%	26.5%	11%	11
62.4%	26.5%	11%	12
62.4%	25.8%	11.8%	13
62.4%	25.8%	11.8%	14

sample152.0ms

Algorithm

intervals

Results

61.0ms	109×	body	1280	valid
24.0ms	70×	body	640	valid
18.0ms	51×	body	1280	invalid
10.0ms	42×	body	640	invalid
9.0ms	47×	body	320	valid
6.0ms	91×	body	80	invalid
4.0ms	22×	body	320	invalid
3.0ms	21×	body	160	valid
1.0ms	10×	body	160	invalid
1.0ms	9×	body	80	valid

simplify47.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4868	11
1	4868	11

prune10.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: 42.9b

Counts

2 → 1

localize10.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))
6.7b	(- (exp (neg im)) (exp im))

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

9.0ms	(* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))
5.0ms	(- (exp (neg im)) (exp im))

series21.0ms

Counts

2 → 6

Calls

2 calls:

16.0ms	(* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))
5.0ms	(- (exp (neg im)) (exp im))

simplify37.0ms

Algorithm

egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5022	469

prune65.0ms

Filtered

29 candidates to 43 candidates (-48.3%)

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

localize16.0ms

Local error

Found 4 expressions with local error:

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

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

Counts

4 → 89

Calls

4 calls:

5.0ms	(+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))
5.0ms	(* (pow im 5) -1/60)
10.0ms	(* (* 0.5 (sin re)) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))
5.0ms	(* (pow im 3) -1/3)

series54.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))
4.0ms	(* (pow im 5) -1/60)
33.0ms	(* (* 0.5 (sin re)) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))
4.0ms	(* (pow im 3) -1/3)

simplify30.0ms

Algorithm

egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 0 (21.0ms)

Iter	Nodes	Cost
0	6066	1143

prune200.0ms

Filtered

68 candidates to 101 candidates (-48.5%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	94	7	101
Fresh	0	2	2
Picked	1	0	1
Done	0	0	0
Total	95	9	104

Merged error: 0.1b

Counts

104 → 9

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-sqr-sqrt`
25×	`add-exp-log`
19×	`associate-r` `add-cbrt-cube`
16×	`associate-l`
15×	`pow1`
14×	`add-cube-cbrt` `*-un-lft-identity`
13×	`prod-exp`
9×	`cbrt-unprod`
8×	`unpow-prod-down` `unswap-sqr`
7×	`pow-prod-down`
4×	`cube-prod` `*-commutative` `add-log-exp` `sqr-pow`
2×	`pow-to-exp` `associate-*r/` `pow-exp`
1×	`distribute-rgt-in` `cube-mult` `distribute-lft-in` `flip3-+` `unpow3` `flip-+`

Counts

4 → 99

Calls

4 calls:

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

series57.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* (pow im 5) -1/60)
42.0ms	(* (sin re) (+ (* -1/3 (pow im 3)) (* (pow im 5) -1/60)))
8.0ms	(* im (* (* 0.5 (sin re)) -2))
4.0ms	(* -1/3 (pow im 3))

simplify53.0ms

Algorithm

egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	4930	996
1	4930	996

prune208.0ms

Filtered

71 candidates to 111 candidates (-56.3%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	109	2	111
Fresh	1	7	8
Picked	0	1	1
Done	0	0	0
Total	110	10	120

Merged error: 0.1b

Counts

120 → 10

localize28.0ms

Local error

Found 4 expressions with local error:

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

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

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

series84.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify51.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5060	2886

prune470.0ms

Filtered

81 candidates to 99 candidates (-22.2%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	94	5	99
Fresh	1	7	8
Picked	1	0	1
Done	0	1	1
Total	96	13	109

Merged error: 0.0b

Counts

109 → 13

regimes427.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	29	25
1	29	25

end0.0ms

sample4.5s

Algorithm

intervals

Results

1.9s	3303×	body	1280	valid
822.0ms	2522×	body	640	valid
516.0ms	1432×	body	1280	invalid
300.0ms	1200×	body	640	invalid
269.0ms	1287×	body	320	valid
150.0ms	2369×	body	80	invalid
106.0ms	609×	body	320	invalid
87.0ms	641×	body	160	valid
33.0ms	269×	body	160	invalid
16.0ms	247×	body	80	valid

Details

analyze347.0ms

sample152.0ms

simplify47.0ms

prune10.0ms

localize10.0ms

rewrite16.0ms

series21.0ms

simplify37.0ms

prune65.0ms

localize16.0ms

rewrite28.0ms

series54.0ms

simplify30.0ms

prune200.0ms

localize16.0ms

rewrite30.0ms

series57.0ms

simplify53.0ms

prune208.0ms

localize28.0ms

rewrite41.0ms

series84.0ms

simplify51.0ms

prune470.0ms

regimes427.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample4.5s

Profiling