Details

sample763.0ms

Algorithm

intervals

Results

427.0ms

2061×

body

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

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

Counts

2 → 1

localize65.0ms

Local error

Found 4 expressions with local error:

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

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

series779.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify44.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (26.0ms)

Iter	Nodes	Cost
0	1076	1572
1	5002	1484

prune2.3s

Filtered

132 candidates to 100 candidates (24.2%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	115	17	132
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	116	17	133

Merged error: 17.8b

Counts

133 → 17

localize71.0ms

Local error

Found 4 expressions with local error:

8.8b	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
8.9b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
10.4b	(* (- (* k y2) (* j y3)) (neg (* y5 y0)))
11.3b	(* (- (* k y2) (* j y3)) (* y4 y1))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-sqr-sqrt`
15×	`pow1` `add-exp-log` `add-cbrt-cube`
14×	`flip3--` `flip--`
13×	`associate-r`
12×	`associate-l`
11×	`add-cube-cbrt` `*-un-lft-identity`
8×	`frac-times` `associate-*l/`
6×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-r/` `-commutative` `add-log-exp`
3×	`unswap-sqr`
1×	`distribute-lft-neg-in` `neg-mul-1` `distribute-rgt-neg-in` `distribute-rgt-neg-out`

Counts

4 → 104

Calls

4 calls:

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

series624.0ms

Counts

4 → 12

Calls

4 calls:

194.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
200.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
110.0ms	(* (- (* k y2) (* j y3)) (neg (* y5 y0)))
119.0ms	(* (- (* k y2) (* j y3)) (* y4 y1))

simplify108.0ms

Algorithm

egg-herbie

Counts

116 → 116

Iterations

Useful iterations: 1 (22.0ms)

Iter	Nodes	Cost
0	822	1157
1	4015	1040
2	5002	1040

prune1.6s

Filtered

116 candidates to 84 candidates (27.6%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	113	3	116
Fresh	2	14	16
Picked	1	0	1
Done	0	0	0
Total	116	17	133

Merged error: 17.1b

Counts

133 → 17

localize65.0ms

Local error

Found 4 expressions with local error:

8.3b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
8.8b	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
8.9b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
11.3b	(* (- (* k y2) (* j y3)) (* y4 y1))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 110

Calls

4 calls:

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

series698.0ms

Counts

4 → 12

Calls

4 calls:

195.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
193.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
197.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
113.0ms	(* (- (* k y2) (* j y3)) (* y4 y1))

simplify119.0ms

Algorithm

egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 1 (23.0ms)

Iter	Nodes	Cost
0	967	1346
1	4618	1223
2	5003	1223

prune2.1s

Filtered

122 candidates to 87 candidates (28.7%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	119	3	122
Fresh	2	14	16
Picked	1	0	1
Done	0	0	0
Total	122	17	139

Merged error: 16.9b

Counts

139 → 17

localize70.0ms

Local error

Found 4 expressions with local error:

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

series797.0ms

Counts

4 → 12

Calls

4 calls:

198.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
203.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
195.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
201.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))

simplify45.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (25.0ms)

Iter	Nodes	Cost
0	1078	1572
1	5001	1484

prune2.3s

Filtered

132 candidates to 100 candidates (24.2%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	129	3	132
Fresh	0	16	16
Picked	1	0	1
Done	0	0	0
Total	130	19	149

Merged error: 14.9b

Counts

149 → 19

regimes9.3s

Accuracy

-4% (12.3b remaining)

Error of 29.3b against oracle of 17.0b and baseline of 28.8b

bsearch3.4s

Steps

Iters	Range		Point
9	8860750163552.602	2.2986456468485156e+18	1.265850076569106e+18
9	2.872730546814468e-64	3.0220898453282427e-59	2.2634036176767645e-63
9	3.612863867579357e-154	1.3299433401387267e-148	7.184501701188593e-154
6	7.169253065708707e-245	5.1416024274089815e-244	9.096145085421216e-245
8	-7.469974931191303e-55	-4.453752370059925e-58	-2.2195999052004822e-55

simplify5.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	208	296
1	218	296
2	218	296

end0.0ms

sample25.0s

Algorithm

intervals

Results

14.8s

71750×

body

valid

Details

sample763.0ms

simplify45.0ms

prune20.0ms

localize65.0ms

rewrite35.0ms

series779.0ms

simplify44.0ms

prune2.3s

localize71.0ms

rewrite32.0ms

series624.0ms

simplify108.0ms

prune1.6s

localize65.0ms

rewrite34.0ms

series698.0ms

simplify119.0ms

prune2.1s

localize70.0ms

rewrite36.0ms

series797.0ms

simplify45.0ms

prune2.3s

regimes9.3s

bsearch3.4s

simplify5.0ms

end0.0ms

sample25.0s

Profiling