Details

sample5.9s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 76.599121%

Results

401.0ms	1870×	body	80	invalid
56.0ms	256×	body	80	valid

simplify44.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	132	47
1	350	47
2	1758	47
3	5001	47

prune10.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 25.7b

Counts

2 → 1

localize63.0ms

Local error

Found 4 expressions with local error:

7.2b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
7.3b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.6b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
11.2b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

rewrite43.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×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-r/` `associate-l/`
4×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `add-log-exp` `unswap-sqr`

Counts

4 → 120

Calls

4 calls:

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

series193.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify40.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (24.0ms)

Iter	Nodes	Cost
0	1082	1572
1	5001	1484

prune459.0ms

Filtered

100 candidates to 132 candidates (-32.0%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	110	22	132
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	111	22	133

Merged error: 16.3b

Counts

133 → 22

localize84.0ms

Local error

Found 4 expressions with local error:

7.4b	(cbrt (- (* y0 b) (* y1 i)))
7.4b	(cbrt (- (* y0 b) (* y1 i)))
7.4b	(cbrt (- (* y0 b) (* y1 i)))
11.2b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

11×	`add-sqr-sqrt`
9×	`cbrt-prod` `add-cube-cbrt` `flip3--` `*-un-lft-identity` `flip--`
6×	`pow1` `add-exp-log` `cbrt-div` `add-cbrt-cube`
4×	`frac-times` `add-log-exp`
3×	`pow1/3` `associate-r` `associate-l`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-r/` `associate-l/`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 69

Calls

4 calls:

3.0ms	(cbrt (- (* y0 b) (* y1 i)))
3.0ms	(cbrt (- (* y0 b) (* y1 i)))
3.0ms	(cbrt (- (* y0 b) (* y1 i)))
8.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series165.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(cbrt (- (* y0 b) (* y1 i)))
38.0ms	(cbrt (- (* y0 b) (* y1 i)))
37.0ms	(cbrt (- (* y0 b) (* y1 i)))
54.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

simplify56.0ms

Algorithm

egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 2 (47.0ms)

Iter	Nodes	Cost
0	458	840
1	1853	783
2	5003	771

prune346.0ms

Filtered

69 candidates to 81 candidates (-17.4%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	79	2	81
Fresh	1	20	21
Picked	1	0	1
Done	0	0	0
Total	81	22	103

Merged error: 16.2b

Counts

103 → 22

localize67.0ms

Local error

Found 4 expressions with local error:

7.3b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
7.3b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.6b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
11.2b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

rewrite35.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×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-r/` `associate-l/`
4×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `add-log-exp` `unswap-sqr`

Counts

4 → 120

Calls

4 calls:

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

series192.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify107.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (19.0ms)

Iter	Nodes	Cost
0	821	1572
1	4010	1452
2	5001	1452

prune403.0ms

Filtered

96 candidates to 132 candidates (-37.5%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	129	3	132
Fresh	2	19	21
Picked	1	0	1
Done	0	0	0
Total	132	22	154

Merged error: 16.2b

Counts

154 → 22

localize84.0ms

Local error

Found 4 expressions with local error:

7.3b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
7.3b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.6b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
11.2b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

rewrite36.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×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-r/` `associate-l/`
4×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `add-log-exp` `unswap-sqr`

Counts

4 → 120

Calls

4 calls:

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

series200.0ms

Counts

4 → 12

Calls

4 calls:

50.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
50.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)))

simplify106.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (20.0ms)

Iter	Nodes	Cost
0	821	1572
1	4010	1452
2	5001	1452

prune167.0ms

Filtered

96 candidates to 132 candidates (-37.5%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	131	1	132
Fresh	0	21	21
Picked	1	0	1
Done	0	0	0
Total	132	22	154

Merged error: 16.2b

Counts

154 → 22

regimes6.1s

Accuracy

-27.4% (10.4b remaining)

Error of 28.7b against oracle of 18.3b and baseline of 26.4b

bsearch2.5s

Steps

Iters	Range		Point
9	1.4196361469060324e+83	2.0322152220643458e+90	8.393069139948878e+88
9	7.3915170107941785e-96	1.7524865877380528e-88	2.391116816673861e-90
8	3.638203626630145e-186	1.9309381066544616e-183	6.003251910798135e-186
9	4.2605739386556625e-256	6.180501846384639e-250	5.492062856622039e-250
8	-4.5682193340361195e-179	-1.0437784665647061e-181	-6.670461738240123e-180
8	-9.853681325207952e-72	-2.0288809067709227e-75	-7.631611219451612e-75

simplify11.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	193	357
1	198	357
2	204	357
3	210	357
4	219	357
5	232	357
6	244	357
7	251	357
8	252	357
9	252	357

end0.0ms

sample30.3s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 76.599121%

Results

14.3s	65197×	body	80	invalid
1.7s	8000×	body	80	valid

Iter	Nodes	Cost
0	193	357
1	198	357
2	204	357
3	210	357
4	219	357
5	232	357
6	244	357
7	251	357
8	252	357
9	252	357

Iter	Nodes	Cost
0	193	357
1	198	357
2	204	357
3	210	357
4	219	357
5	232	357
6	244	357
7	251	357
8	252	357
9	252	357

Details

sample5.9s

simplify44.0ms

prune10.0ms

localize63.0ms

rewrite43.0ms

series193.0ms

simplify40.0ms

prune459.0ms

localize84.0ms

rewrite20.0ms

series165.0ms

simplify56.0ms

prune346.0ms

localize67.0ms

rewrite35.0ms

series192.0ms

simplify107.0ms

prune403.0ms

localize84.0ms

rewrite36.0ms

series200.0ms

simplify106.0ms

prune167.0ms

regimes6.1s

bsearch2.5s

simplify11.0ms

end0.0ms

sample30.3s

Profiling

Iter	Nodes	Cost
0	193	357
1	198	357
2	204	357
3	210	357
4	219	357
5	232	357
6	244	357
7	251	357
8	252	357
9	252	357