Details

sample867.0ms

Algorithm

intervals

Results

507.0ms

2066×

body

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

prune11.0ms

Filtered

1 candidates to 0 candidates (100.0%)

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: 29.4b

Counts

2 → 1

localize62.0ms

Local error

Found 4 expressions with local error:

8.9b	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
9.1b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.8b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
11.2b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

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

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

series222.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify38.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (23.0ms)

Iter	Nodes	Cost
0	1081	1572
1	5001	1484

prune497.0ms

Filtered

132 candidates to 100 candidates (24.2%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	112	20	132
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	113	20	133

Merged error: 19.0b

Counts

133 → 20

localize73.0ms

Local error

Found 4 expressions with local error:

9.8b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.8b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.8b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
11.2b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

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×	`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:

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

series210.0ms

Counts

4 → 12

Calls

4 calls:

53.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
54.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
49.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
54.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

simplify79.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (14.0ms)

Iter	Nodes	Cost
0	557	1572
1	2694	1452
2	5003	1452

prune375.0ms

Filtered

132 candidates to 96 candidates (27.3%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	131	1	132
Fresh	0	19	19
Picked	1	0	1
Done	0	0	0
Total	132	20	152

Merged error: 19.0b

Counts

152 → 20

localize65.0ms

Local error

Found 4 expressions with local error:

7.8b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.1b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.8b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
11.2b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

rewrite42.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	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
14.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
8.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series199.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify38.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (23.0ms)

Iter	Nodes	Cost
0	1082	1572
1	5001	1484

prune424.0ms

Filtered

132 candidates to 100 candidates (24.2%)

Pruning

23 alts after pruning (23 fresh and 0 done)

	Pruned	Kept	Total
New	128	4	132
Fresh	0	19	19
Picked	1	0	1
Done	0	0	0
Total	129	23	152

Merged error: 16.9b

Counts

152 → 23

localize69.0ms

Local error

Found 4 expressions with local error:

7.8b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.1b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.8b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
11.2b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

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	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
8.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
8.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series203.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify39.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (24.0ms)

Iter	Nodes	Cost
0	1082	1572
1	5001	1484

prune167.0ms

Filtered

132 candidates to 100 candidates (24.2%)

Pruning

23 alts after pruning (22 fresh and 1 done)

	Pruned	Kept	Total
New	132	0	132
Fresh	0	22	22
Picked	0	1	1
Done	0	0	0
Total	132	23	155

Merged error: 16.9b

Counts

155 → 23

regimes6.8s

Accuracy

-22.3% (13.2b remaining)

Error of 29.1b against oracle of 15.9b and baseline of 26.7b

bsearch1.7s

Steps

Iters	Range		Point
5	2.0868571112695505e+66	8.32032311052885e+66	8.110122048044068e+66
7	6.82100613711577e-172	6.316321382398775e-170	1.0151067371752016e-171
6	-2.0189949843769807e-293	-2.067456574253782e-294	-4.9490919727034705e-294
6	-2.685680779681401e-147	-1.7385595332667642e-148	-1.2449798733883961e-147
8	-1.2504031603463048e-12	-4.374365106817718e-16	-2.7606778722046035e-13

simplify5.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	217	313
1	225	313
2	225	313

end0.0ms

sample27.7s

Algorithm

intervals

Results

16.5s

72248×

body

valid

Details

sample867.0ms

simplify44.0ms

prune11.0ms

localize62.0ms

rewrite60.0ms

series222.0ms

simplify38.0ms

prune497.0ms

localize73.0ms

rewrite39.0ms

series210.0ms

simplify79.0ms

prune375.0ms

localize65.0ms

rewrite42.0ms

series199.0ms

simplify38.0ms

prune424.0ms

localize69.0ms

rewrite36.0ms

series203.0ms

simplify39.0ms

prune167.0ms

regimes6.8s

bsearch1.7s

simplify5.0ms

end0.0ms

sample27.7s

Profiling