Details

analyze4.8s

Algorithm: search

sample708.0ms

Algorithm

intervals

Results

450.0ms	2042×	body	80	invalid
62.0ms	256×	body	80	valid

simplify45.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: 28.2b

Counts

2 → 1

localize62.0ms

Local error

Found 4 expressions with local error:

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

series201.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify42.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (26.0ms)

Iter	Nodes	Cost
0	1076	1572
1	5001	1484

prune484.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: 18.1b

Counts

133 → 22

localize67.0ms

Local error

Found 4 expressions with local error:

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

series201.0ms

Counts

4 → 12

Calls

4 calls:

49.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)))
50.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

simplify42.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (24.0ms)

Iter	Nodes	Cost
0	1081	1572
1	5001	1484

prune444.0ms

Filtered

100 candidates to 132 candidates (-32.0%)

Pruning

25 alts after pruning (25 fresh and 0 done)

	Pruned	Kept	Total
New	128	4	132
Fresh	0	21	21
Picked	1	0	1
Done	0	0	0
Total	129	25	154

Merged error: 16.4b

Counts

154 → 25

localize67.0ms

Local error

Found 4 expressions with local error:

10.5b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.5b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.5b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.8b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

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

series199.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify81.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (14.0ms)

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

prune433.0ms

Filtered

96 candidates to 132 candidates (-37.5%)

Pruning

26 alts after pruning (25 fresh and 1 done)

	Pruned	Kept	Total
New	131	1	132
Fresh	0	24	24
Picked	0	1	1
Done	0	0	0
Total	131	26	157

Merged error: 16.4b

Counts

157 → 26

localize69.0ms

Local error

Found 4 expressions with local error:

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

series207.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify41.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (25.0ms)

Iter	Nodes	Cost
0	1076	1572
1	5002	1484

prune176.0ms

Filtered

100 candidates to 132 candidates (-32.0%)

Pruning

26 alts after pruning (25 fresh and 1 done)

	Pruned	Kept	Total
New	131	1	132
Fresh	0	24	24
Picked	1	0	1
Done	0	1	1
Total	132	26	158

Merged error: 16.4b

Counts

158 → 26

regimes7.1s

Accuracy

-22.6% (13.0b remaining)

Error of 29.6b against oracle of 16.6b and baseline of 27.2b

bsearch28.3s

Steps

Iters	Range		Point
5	8.868057072658117e-80	2.529254005446009e-79	2.2332322031205237e-79
6	-7.89759405630137e-47	-5.872122618127476e-48	-5.9830937752649e-47

simplify4.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	141	131
1	147	131
2	147	131

end0.0ms

analyze4.9s

Algorithm: search

sample22.2s

Algorithm

intervals

Results

14.6s	65349×	body	80	invalid
1.8s	8000×	body	80	valid

Details

analyze4.8s

sample708.0ms

simplify45.0ms

prune13.0ms

localize62.0ms

rewrite36.0ms

series201.0ms

simplify42.0ms

prune484.0ms

localize67.0ms

rewrite42.0ms

series201.0ms

simplify42.0ms

prune444.0ms

localize67.0ms

rewrite44.0ms

series199.0ms

simplify81.0ms

prune433.0ms

localize69.0ms

rewrite42.0ms

series207.0ms

simplify41.0ms

prune176.0ms

regimes7.1s

bsearch28.3s

simplify4.0ms

end0.0ms

analyze4.9s

sample22.2s

Profiling