Details

sample700.0ms

Algorithm

intervals

Results

452.0ms

2647×

body

valid

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

prune16.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: 24.7b

Counts

2 → 1

localize61.0ms

Local error

Found 4 expressions with local error:

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

rewrite147.0ms

Algorithm

rewrite-expression-head

Rules

116×	`add-sqr-sqrt`
76×	`-un-lft-identity` `associate-l*`
44×	`associate-r`
36×	`unswap-sqr`
32×	`distribute-lft-out--` `difference-of-squares`
24×	`flip3--` `flip--`
16×	`frac-times`
12×	`pow1` `add-exp-log` `add-cube-cbrt` `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`

Counts

4 → 184

Calls

4 calls:

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

series730.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify52.0ms

Algorithm

egg-herbie

Counts

196 → 196

Iterations

Useful iterations: 1 (31.0ms)

Iter	Nodes	Cost
0	1294	2052
1	5001	1964

prune2.4s

Filtered

196 candidates to 132 candidates (32.7%)

Pruning

23 alts after pruning (23 fresh and 0 done)

	Pruned	Kept	Total
New	173	23	196
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	174	23	197

Merged error: 17.2b

Counts

197 → 23

localize72.0ms

Local error

Found 4 expressions with local error:

9.6b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.6b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.6b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.8b	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

rewrite153.0ms

Algorithm

rewrite-expression-head

Rules

116×	`add-sqr-sqrt`
76×	`-un-lft-identity` `associate-l*`
44×	`associate-r`
36×	`unswap-sqr`
32×	`distribute-lft-out--` `difference-of-squares`
24×	`flip3--` `flip--`
16×	`frac-times`
12×	`pow1` `add-exp-log` `add-cube-cbrt` `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`

Counts

4 → 184

Calls

4 calls:

34.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
37.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
34.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
40.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)))
180.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
179.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
178.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

simplify103.0ms

Algorithm

egg-herbie

Counts

196 → 196

Iterations

Useful iterations: 1 (20.0ms)

Iter	Nodes	Cost
0	666	2052
1	3081	1932
2	5002	1932

prune2.4s

Filtered

196 candidates to 128 candidates (34.7%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	195	1	196
Fresh	1	21	22
Picked	1	0	1
Done	0	0	0
Total	197	22	219

Merged error: 17.2b

Counts

219 → 22

localize75.0ms

Local error

Found 4 expressions with local error:

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

rewrite151.0ms

Algorithm

rewrite-expression-head

Rules

116×	`add-sqr-sqrt`
76×	`-un-lft-identity` `associate-l*`
44×	`associate-r`
36×	`unswap-sqr`
32×	`distribute-lft-out--` `difference-of-squares`
24×	`flip3--` `flip--`
16×	`frac-times`
12×	`pow1` `add-exp-log` `add-cube-cbrt` `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`

Counts

4 → 184

Calls

4 calls:

36.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
34.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
33.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
40.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

series729.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify53.0ms

Algorithm

egg-herbie

Counts

196 → 196

Iterations

Useful iterations: 1 (33.0ms)

Iter	Nodes	Cost
0	1298	2052
1	5001	1964

prune2.7s

Filtered

196 candidates to 132 candidates (32.7%)

Pruning

28 alts after pruning (28 fresh and 0 done)

	Pruned	Kept	Total
New	185	11	196
Fresh	4	17	21
Picked	1	0	1
Done	0	0	0
Total	190	28	218

Merged error: 15.3b

Counts

218 → 28

localize72.0ms

Local error

Found 4 expressions with local error:

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

rewrite148.0ms

Algorithm

rewrite-expression-head

Rules

116×	`add-sqr-sqrt`
76×	`-un-lft-identity` `associate-l*`
44×	`associate-r`
36×	`unswap-sqr`
32×	`distribute-lft-out--` `difference-of-squares`
24×	`flip3--` `flip--`
16×	`frac-times`
12×	`pow1` `add-exp-log` `add-cube-cbrt` `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`

Counts

4 → 184

Calls

4 calls:

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

series713.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify59.0ms

Algorithm

egg-herbie

Counts

196 → 196

Iterations

Useful iterations: 1 (34.0ms)

Iter	Nodes	Cost
0	1294	2052
1	5001	1964

prune2.0s

Filtered

196 candidates to 132 candidates (32.7%)

Pruning

30 alts after pruning (30 fresh and 0 done)

	Pruned	Kept	Total
New	180	16	196
Fresh	13	14	27
Picked	1	0	1
Done	0	0	0
Total	194	30	224

Merged error: 14.3b

Counts

224 → 30

regimes8.6s

Accuracy

-23.4% (14.2b remaining)

Error of 29.5b against oracle of 15.4b and baseline of 26.8b

bsearch2.3s

Steps

Iters	Range		Point
8	1.1267164872770237e-63	6.738006684303861e-59	8.81686914599305e-62
7	3.5694985627042236e-152	8.522087717180065e-151	8.858688822289326e-152
8	7.1046455387311055e-307	4.096796290638476e-303	9.555462688750843e-305
8	-1.1108362504220037e+34	-1.7135520363900558e+30	-7.469341023993428e+31

simplify5.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	236	278
1	240	278
2	240	278

end0.0ms

sample19.1s

Algorithm

intervals

Results

12.7s

73043×

body

valid