Details

analyze5.3s

Algorithm

Search

True	Other	False	Iter
0%	99.2%	0.8%	0
0%	99.2%	0.8%	1
0%	99.2%	0.8%	2
0%	99.2%	0.8%	3
0%	99.2%	0.8%	4
0%	99.2%	0.8%	5
0%	99.2%	0.8%	6
0%	99.2%	0.8%	7
0%	99.2%	0.8%	8
0%	99.2%	0.8%	9
0%	99.2%	0.8%	10
0%	99.2%	0.8%	11
0%	99.2%	0.8%	12
0%	99.2%	0.8%	13
0%	99.2%	0.8%	14

sample1.1s

Algorithm

intervals

Results

55.0ms

256×

body

valid

simplify29.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (27.0ms)

Iter	Nodes	Cost
0	5427	95

prune21.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: 25.4b

Counts

2 → 1

localize66.0ms

Local error

Found 4 expressions with local error:

8.3b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
9.6b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
10.2b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
10.7b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

24×	`flip3--` `flip--`
20×	`add-sqr-sqrt`
16×	`frac-times`
12×	`pow1` `add-exp-log` `add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l*` `add-cbrt-cube`
8×	`sub-neg` `associate-r/` `associate-l/`
4×	`distribute-rgt-in` `distribute-lft-in` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `add-log-exp` `unswap-sqr`

Counts

4 → 112

Calls

4 calls:

9.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
9.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series199.0ms

Counts

4 → 12

Calls

4 calls:

49.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
47.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
49.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
53.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

simplify42.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5005	2796

prune497.0ms

Filtered

102 candidates to 124 candidates (-21.6%)

Pruning

25 alts after pruning (25 fresh and 0 done)

	Pruned	Kept	Total
New	99	25	124
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	100	25	125

Merged error: 14.9b

Counts

125 → 25

localize79.0ms

Local error

Found 4 expressions with local error:

7.9b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.6b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
10.2b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
10.7b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

24×	`flip3--` `flip--`
20×	`add-sqr-sqrt`
16×	`frac-times`
12×	`pow1` `add-exp-log` `add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l*` `add-cbrt-cube`
8×	`sub-neg` `associate-r/` `associate-l/`
4×	`distribute-rgt-in` `distribute-lft-in` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `add-log-exp` `unswap-sqr`

Counts

4 → 112

Calls

4 calls:

10.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
8.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series196.0ms

Counts

4 → 12

Calls

4 calls:

49.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
49.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
48.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
51.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

simplify41.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5043	2796

prune489.0ms

Filtered

99 candidates to 124 candidates (-25.3%)

Pruning

28 alts after pruning (28 fresh and 0 done)

	Pruned	Kept	Total
New	120	4	124
Fresh	0	24	24
Picked	1	0	1
Done	0	0	0
Total	121	28	149

Merged error: 13.6b

Counts

149 → 28

localize78.0ms

Local error

Found 4 expressions with local error:

7.9b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
8.3b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
10.2b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
10.7b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

24×	`flip3--` `flip--`
20×	`add-sqr-sqrt`
16×	`frac-times`
12×	`pow1` `add-exp-log` `add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l*` `add-cbrt-cube`
8×	`sub-neg` `associate-r/` `associate-l/`
4×	`distribute-rgt-in` `distribute-lft-in` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `add-log-exp` `unswap-sqr`

Counts

4 → 112

Calls

4 calls:

9.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
9.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series200.0ms

Counts

4 → 12

Calls

4 calls:

50.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
48.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
50.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
52.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

simplify43.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	4997	2800
1	4997	2800

prune457.0ms

Filtered

99 candidates to 124 candidates (-25.3%)

Pruning

27 alts after pruning (27 fresh and 0 done)

	Pruned	Kept	Total
New	122	2	124
Fresh	2	25	27
Picked	1	0	1
Done	0	0	0
Total	125	27	152

Merged error: 13.6b

Counts

152 → 27

localize89.0ms

Local error

Found 4 expressions with local error:

7.1b	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
9.6b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
10.2b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
10.7b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

24×	`flip3--` `flip--`
20×	`add-sqr-sqrt`
16×	`frac-times`
12×	`pow1` `add-exp-log` `add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l*` `add-cbrt-cube`
8×	`sub-neg` `associate-r/` `associate-l/`
4×	`distribute-rgt-in` `distribute-lft-in` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `add-log-exp` `unswap-sqr`

Counts

4 → 112

Calls

4 calls:

9.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
9.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
10.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
10.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series198.0ms

Counts

4 → 12

Calls

4 calls:

48.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
50.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
49.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
51.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

simplify49.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5013	2796

prune206.0ms

Filtered

102 candidates to 124 candidates (-21.6%)

Pruning

31 alts after pruning (31 fresh and 0 done)

	Pruned	Kept	Total
New	118	6	124
Fresh	1	25	26
Picked	1	0	1
Done	0	0	0
Total	120	31	151

Merged error: 12.3b

Counts

151 → 31

regimes8.2s

Accuracy

-14.2% (16.5b remaining)

Error of 29.3b against oracle of 12.8b and baseline of 27.3b

bsearch1.7s

Steps

Iters	Range		Point
7	1.0049855498725679e-191	5.349625798583817e-190	1.273211512104165e-191
9	6.194137346301527e-298	7.87944891697754e-292	8.413085763279647e-297
7	-7.708703561410512e-220	-5.0428206256746286e-222	-3.877908952910936e-220
9	-1.70671004515291e-176	-2.5893509858767198e-182	-6.863062175977246e-177
7	-6.423202243096708e-57	-6.458408157022261e-59	-6.76823816139978e-59

simplify51.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	2270	614
1	2270	614

end0.0ms

sample33.7s

Algorithm

intervals

Results

1.7s

8000×

body

valid

Details

analyze5.3s

sample1.1s

simplify29.0ms

prune21.0ms

localize66.0ms

rewrite39.0ms

series199.0ms

simplify42.0ms

prune497.0ms

localize79.0ms

rewrite40.0ms

series196.0ms

simplify41.0ms

prune489.0ms

localize78.0ms

rewrite40.0ms

series200.0ms

simplify43.0ms

prune457.0ms

localize89.0ms

rewrite40.0ms

series198.0ms

simplify49.0ms

prune206.0ms

regimes8.2s

bsearch1.7s

simplify51.0ms

end0.0ms

sample33.7s

Profiling