Details

analyze4.7s

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

sample700.0ms

Algorithm

intervals

Results

433.0ms	2010×	body	80	invalid
59.0ms	256×	body	80	valid

simplify29.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (27.0ms)

Iter	Nodes	Cost
0	5427	95

prune20.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: 26.5b

Counts

2 → 1

localize65.0ms

Local error

Found 4 expressions with local error:

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

rewrite41.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 j) (* z k)) (- (* y0 b) (* y1 i)))
9.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
10.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series208.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify42.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5048	2796

prune423.0ms

Filtered

102 candidates to 124 candidates (-21.6%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	104	20	124
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	105	20	125

Merged error: 16.3b

Counts

125 → 20

localize69.0ms

Local error

Found 4 expressions with local error:

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

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

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

series204.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify48.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5209	2772

prune350.0ms

Filtered

96 candidates to 124 candidates (-29.2%)

Pruning

20 alts after pruning (19 fresh and 1 done)

	Pruned	Kept	Total
New	124	0	124
Fresh	0	19	19
Picked	0	1	1
Done	0	0	0
Total	124	20	144

Merged error: 16.3b

Counts

144 → 20

localize67.0ms

Local error

Found 4 expressions with local error:

8.4b	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
9.3b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.5b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.6b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

rewrite41.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	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
10.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series206.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify44.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5045	2796

prune425.0ms

Filtered

102 candidates to 124 candidates (-21.6%)

Pruning

23 alts after pruning (22 fresh and 1 done)

	Pruned	Kept	Total
New	116	8	124
Fresh	4	14	18
Picked	1	0	1
Done	0	1	1
Total	121	23	144

Merged error: 13.7b

Counts

144 → 23

localize70.0ms

Local error

Found 4 expressions with local error:

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

rewrite47.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	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
16.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))

series204.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify45.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5010	2796

prune171.0ms

Filtered

105 candidates to 124 candidates (-18.1%)

Pruning

23 alts after pruning (22 fresh and 1 done)

	Pruned	Kept	Total
New	123	1	124
Fresh	0	21	21
Picked	1	0	1
Done	0	1	1
Total	124	23	147

Merged error: 13.4b

Counts

147 → 23

regimes6.4s

Accuracy

-12.5% (13.6b remaining)

Error of 27.9b against oracle of 14.3b and baseline of 26.4b

bsearch2.2s

Steps

Iters	Range		Point
9	1.1806070308545452e-51	1.7844994837877825e-46	4.937942776544518e-49
9	1.3269141969007235e-170	7.201728640517376e-165	4.163477499338494e-169
8	-1.8455519621998306e-229	-3.56494672070787e-233	-6.696512860907161e-233
11	-4.5439067224796676e-86	-1.6667031582947261e-105	-8.584939836989996e-96
8	-9.949123468010193e-57	-6.315673304774753e-60	-6.8159498068875195e-59
6	-1.5878308346390027e+80	-2.5016146961552516e+79	-6.13132868424073e+79

simplify55.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	2323	763
1	2323	763

end0.0ms

sample21.2s

Algorithm

intervals

Results

13.7s	64878×	body	80	invalid
1.7s	8000×	body	80	valid

Details

analyze4.7s

sample700.0ms

simplify29.0ms

prune20.0ms

localize65.0ms

rewrite41.0ms

series208.0ms

simplify42.0ms

prune423.0ms

localize69.0ms

rewrite48.0ms

series204.0ms

simplify48.0ms

prune350.0ms

localize67.0ms

rewrite41.0ms

series206.0ms

simplify44.0ms

prune425.0ms

localize70.0ms

rewrite47.0ms

series204.0ms

simplify45.0ms

prune171.0ms

regimes6.4s

bsearch2.2s

simplify55.0ms

end0.0ms

sample21.2s

Profiling