Details

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

sample149.0ms

Algorithm

intervals

Results

63.0ms	109×	body	1280	valid
22.0ms	68×	body	640	valid
15.0ms	41×	body	1280	invalid
12.0ms	44×	body	320	valid
10.0ms	38×	body	640	invalid
4.0ms	70×	body	80	invalid
4.0ms	23×	body	320	invalid
4.0ms	27×	body	160	valid
1.0ms	8×	body	80	valid
0.0ms	1×	body	160	invalid

simplify48.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4868	11
1	4868	11

prune7.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: 41.9b

Counts

2 → 1

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b	(* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))
5.2b	(- (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:

10.0ms	(* (* 0.5 (sin re)) (- (exp (neg im)) (exp im)))
6.0ms	(- (exp (neg im)) (exp im))

series25.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify38.0ms

Algorithm

egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5022	469

prune83.0ms

Filtered

29 candidates to 43 candidates (-48.3%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	38	5	43
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	39	5	44

Merged error: 0.1b

Counts

44 → 5

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))
0.1b	(* (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)

rewrite32.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)
13.0ms	(* (* 0.5 (sin re)) (+ (* im -2) (+ (* (pow im 3) -1/3) (* (pow im 5) -1/60))))
6.0ms	(* (pow im 3) -1/3)

series56.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify35.0ms

Algorithm

egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 0 (23.0ms)

Iter	Nodes	Cost
0	6066	1143

prune215.0ms

Filtered

68 candidates to 101 candidates (-48.5%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	96	5	101
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	96	10	106

Merged error: 0.0b

Counts

106 → 10

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

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

20.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))))
10.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))))

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

simplify53.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	5060	2886

prune586.0ms

Filtered

81 candidates to 99 candidates (-22.2%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	95	4	99
Fresh	0	8	8
Picked	1	0	1
Done	0	1	1
Total	96	13	109

Merged error: 0.0b

Counts

109 → 13

localize34.0ms

Local error

Found 4 expressions with local error:

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

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 63

Calls

4 calls:

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

series121.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify57.0ms

Algorithm

egg-herbie

Counts

75 → 75

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	4910	1886
1	4910	1886

prune597.0ms

Filtered

66 candidates to 75 candidates (-13.6%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	75	0	75
Fresh	0	11	11
Picked	0	1	1
Done	0	1	1
Total	75	13	88

Merged error: 0.0b

Counts

88 → 13

regimes595.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	25	20
1	25	20

end0.0ms

sample4.7s

Algorithm

intervals

Results

1.9s	3233×	body	1280	valid
846.0ms	2531×	body	640	valid
556.0ms	1492×	body	1280	invalid
323.0ms	1237×	body	640	invalid
292.0ms	1335×	body	320	valid
162.0ms	2369×	body	80	invalid
115.0ms	628×	body	320	invalid
94.0ms	661×	body	160	valid
39.0ms	301×	body	160	invalid
17.0ms	240×	body	80	valid

Details

analyze367.0ms

sample149.0ms

simplify48.0ms

prune7.0ms

localize11.0ms

rewrite16.0ms

series25.0ms

simplify38.0ms

prune83.0ms

localize16.0ms

rewrite32.0ms

series56.0ms

simplify35.0ms

prune215.0ms

localize26.0ms

rewrite48.0ms

series97.0ms

simplify53.0ms

prune586.0ms

localize34.0ms

rewrite35.0ms

series121.0ms

simplify57.0ms

prune597.0ms

regimes595.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample4.7s

Profiling