Details

analyze4.9s

Algorithm: search

sample683.0ms

Algorithm

intervals

Results

439.0ms	1993×	body	80	invalid
53.0ms	256×	body	80	valid

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

prune13.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: 26.1b

Counts

2 → 1

localize58.0ms

Local error

Found 4 expressions with local error:

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

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

series199.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify44.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (25.0ms)

Iter	Nodes	Cost
0	1076	1572
1	5001	1484

prune448.0ms

Filtered

100 candidates to 132 candidates (-32.0%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	111	21	132
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	112	21	133

Merged error: 17.6b

Counts

133 → 21

localize71.0ms

Local error

Found 4 expressions with local error:

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

series203.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify40.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (24.0ms)

Iter	Nodes	Cost
0	1077	1572
1	5002	1484

prune452.0ms

Filtered

100 candidates to 132 candidates (-32.0%)

Pruning

27 alts after pruning (27 fresh and 0 done)

	Pruned	Kept	Total
New	125	7	132
Fresh	0	20	20
Picked	1	0	1
Done	0	0	0
Total	126	27	153

Merged error: 16.1b

Counts

153 → 27

localize67.0ms

Local error

Found 4 expressions with local error:

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

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 103

Calls

4 calls:

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

series192.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify115.0ms

Algorithm

egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 2 (101.0ms)

Iter	Nodes	Cost
0	984	1327
1	4490	1228
2	5001	1224

prune436.0ms

Filtered

87 candidates to 115 candidates (-32.2%)

Pruning

28 alts after pruning (28 fresh and 0 done)

	Pruned	Kept	Total
New	112	3	115
Fresh	1	25	26
Picked	1	0	1
Done	0	0	0
Total	114	28	142

Merged error: 16.0b

Counts

142 → 28

localize69.0ms

Local error

Found 4 expressions with local error:

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

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

series203.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify42.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (25.0ms)

Iter	Nodes	Cost
0	1078	1572
1	5001	1484

prune170.0ms

Filtered

100 candidates to 132 candidates (-32.0%)

Pruning

27 alts after pruning (27 fresh and 0 done)

	Pruned	Kept	Total
New	129	3	132
Fresh	3	24	27
Picked	1	0	1
Done	0	0	0
Total	133	27	160

Merged error: 16.0b

Counts

160 → 27

regimes6.9s

Accuracy

-17.6% (13.1b remaining)

Error of 29.6b against oracle of 16.4b and baseline of 27.6b

bsearch1.4min

Steps

Iters	Range		Point
9	6.2013868962380036e+150	6.248640086860092e+158	5.1625850198852547e+154
7	2.942451896776825e-229	4.934300960964062e-227	1.208661973248273e-228
9	-3.4771154968495143e-87	-9.968484706529982e-97	-1.7206870252769797e-88
8	-1.7443572135851567e+100	-1.0733508602255115e+97	-1.763852058977755e+97

simplify5.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	205	273
1	209	273
2	209	273

end0.0ms

analyze4.7s

Algorithm: search

sample21.1s

Algorithm

intervals

Results

13.8s	63554×	body	80	invalid
1.8s	8000×	body	80	valid

Details

analyze4.9s

sample683.0ms

simplify46.0ms

prune13.0ms

localize58.0ms

rewrite37.0ms

series199.0ms

simplify44.0ms

prune448.0ms

localize71.0ms

rewrite36.0ms

series203.0ms

simplify40.0ms

prune452.0ms

localize67.0ms

rewrite37.0ms

series192.0ms

simplify115.0ms

prune436.0ms

localize69.0ms

rewrite42.0ms

series203.0ms

simplify42.0ms

prune170.0ms

regimes6.9s

bsearch1.4min

simplify5.0ms

end0.0ms

analyze4.7s

sample21.1s

Profiling