Details

sample786.0ms

Algorithm

intervals

Results

570.0ms

2392×

body

valid

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

Filtered

1 candidates to 0 candidates (0.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: 23.3b

Counts

2 → 1

localize64.0ms

Local error

Found 4 expressions with local error:

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

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

series685.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify41.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (25.0ms)

Iter	Nodes	Cost
0	1076	1572
1	5002	1484

prune2.0s

Filtered

132 candidates to 100 candidates (75.8%)

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

Counts

133 → 21

localize72.0ms

Local error

Found 4 expressions with local error:

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

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

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

series628.0ms

Counts

4 → 12

Calls

4 calls:

179.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
176.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
98.0ms	(* (- (* t y2) (* y y3)) (* y4 c))
174.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

simplify122.0ms

Algorithm

egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 1 (24.0ms)

Iter	Nodes	Cost
0	972	1346
1	4610	1219
2	5001	1219

prune1.6s

Filtered

122 candidates to 86 candidates (70.5%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	120	2	122
Fresh	2	18	20
Picked	1	0	1
Done	0	0	0
Total	123	20	143

Merged error: 14.2b

Counts

143 → 20

localize77.0ms

Local error

Found 4 expressions with local error:

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

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 114

Calls

4 calls:

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

series821.0ms

Counts

4 → 12

Calls

4 calls:

99.0ms	(* (- (* t y2) (* y y3)) (neg (* y5 a)))
177.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
178.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
366.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

simplify127.0ms

Algorithm

egg-herbie

Counts

126 → 126

Iterations

Useful iterations: 1 (26.0ms)

Iter	Nodes	Cost
0	976	1383
1	4809	1269
2	5003	1269

prune1.7s

Filtered

126 candidates to 93 candidates (73.8%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	125	1	126
Fresh	1	18	19
Picked	1	0	1
Done	0	0	0
Total	127	19	146

Merged error: 14.2b

Counts

146 → 19

localize77.0ms

Local error

Found 4 expressions with local error:

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

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

series715.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify50.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (29.0ms)

Iter	Nodes	Cost
0	1082	1572
1	5002	1484

prune1.7s

Filtered

132 candidates to 100 candidates (75.8%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	128	4	132
Fresh	1	17	18
Picked	1	0	1
Done	0	0	0
Total	130	21	151

Merged error: 13.0b

Counts

151 → 21

regimes5.9s

Accuracy

-10.3% (12.3b remaining)

Error of 28.4b against oracle of 16.1b and baseline of 27.2b

bsearch1.8s

Steps

Iters	Range		Point
9	2.525445039553353e+30	7.491795324631152e+39	9.009295498854036e+31
5	0.2030065103839123	0.5586037450891089	0.3368248083471781
7	2.3884830761257973e-225	2.157430682506338e-223	1.0372100810635945e-224

simplify6.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	187	224
1	193	224
2	194	224
3	194	224

end0.0ms

sample23.7s

Algorithm

intervals

Results

17.9s

73712×

body

valid

Details

sample786.0ms

simplify47.0ms

prune13.0ms

localize64.0ms

rewrite38.0ms

series685.0ms

simplify41.0ms

prune2.0s

localize72.0ms

rewrite36.0ms

series628.0ms

simplify122.0ms

prune1.6s

localize77.0ms

rewrite37.0ms

series821.0ms

simplify127.0ms

prune1.7s

localize77.0ms

rewrite46.0ms

series715.0ms

simplify50.0ms

prune1.7s

regimes5.9s

bsearch1.8s

simplify6.0ms

end0.0ms

sample23.7s

Profiling