Details

sample605.0ms

Algorithm

intervals

Results

396.0ms

2231×

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

Counts

2 → 1

localize67.0ms

Local error

Found 4 expressions with local error:

7.9b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
8.5b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.2b	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
10.0b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

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

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

series670.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify48.0ms

Algorithm

egg-herbie

Counts

196 → 196

Iterations

Useful iterations: 1 (29.0ms)

Iter	Nodes	Cost
0	1346	2052
1	5001	1964

prune2.4s

Filtered

196 candidates to 132 candidates (67.3%)

Pruning

26 alts after pruning (26 fresh and 0 done)

	Pruned	Kept	Total
New	170	26	196
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	171	26	197

Merged error: 13.7b

Counts

197 → 26

localize71.0ms

Local error

Found 4 expressions with local error:

8.6b	(* (- (* x y2) (* z y3)) (* y0 c))
8.8b	(* (- (* x y2) (* z y3)) (- (* y1 a)))
9.2b	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
10.0b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

rewrite124.0ms

Algorithm

rewrite-expression-head

Rules

109×	`add-sqr-sqrt`
77×	`associate-l`
71×	`associate-r`
68×	`*-un-lft-identity`
33×	`unswap-sqr`
24×	`distribute-lft-out--` `difference-of-squares`
20×	`add-cube-cbrt`
15×	`pow1` `add-exp-log` `add-cbrt-cube`
14×	`flip3--` `flip--`
12×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
8×	`frac-times` `associate-*l/`
7×	`*-commutative`
6×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/` `add-log-exp`
1×	`neg-mul-1` `distribute-rgt-neg-out`

Counts

4 → 187

Calls

4 calls:

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

series529.0ms

Counts

4 → 12

Calls

4 calls:

97.0ms	(* (- (* x y2) (* z y3)) (* y0 c))
95.0ms	(* (- (* x y2) (* z y3)) (- (* y1 a)))
168.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
169.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

simplify43.0ms

Algorithm

egg-herbie

Counts

199 → 199

Iterations

Useful iterations: 1 (26.0ms)

Iter	Nodes	Cost
0	1161	1734
1	5001	1645

prune2.8s

Filtered

199 candidates to 139 candidates (69.8%)

Pruning

25 alts after pruning (25 fresh and 0 done)

	Pruned	Kept	Total
New	186	13	199
Fresh	13	12	25
Picked	1	0	1
Done	0	0	0
Total	200	25	225

Merged error: 13.4b

Counts

225 → 25

localize72.0ms

Local error

Found 4 expressions with local error:

7.9b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
8.6b	(* (- (* x y2) (* z y3)) (* y0 c))
9.2b	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
10.0b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

rewrite126.0ms

Algorithm

rewrite-expression-head

Rules

111×	`add-sqr-sqrt`
75×	`associate-l`
70×	`*-un-lft-identity`
48×	`associate-r`
35×	`unswap-sqr`
28×	`distribute-lft-out--` `difference-of-squares`
19×	`flip3--` `flip--`
15×	`pow1` `add-exp-log` `add-cbrt-cube`
14×	`add-cube-cbrt`
12×	`frac-times`
8×	`associate-*l/`
6×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/` `pow-prod-down` `prod-exp` `cbrt-unprod`
5×	`*-commutative`
4×	`add-log-exp`

Counts

4 → 179

Calls

4 calls:

32.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
22.0ms	(* (- (* x y2) (* z y3)) (* y0 c))
34.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
30.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series602.0ms

Counts

4 → 12

Calls

4 calls:

167.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
97.0ms	(* (- (* x y2) (* z y3)) (* y0 c))
168.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
170.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

simplify46.0ms

Algorithm

egg-herbie

Counts

191 → 191

Iterations

Useful iterations: 1 (28.0ms)

Iter	Nodes	Cost
0	1257	1848
1	5001	1755

prune2.5s

Filtered

191 candidates to 130 candidates (68.1%)

Pruning

25 alts after pruning (25 fresh and 0 done)

	Pruned	Kept	Total
New	178	13	191
Fresh	12	12	24
Picked	1	0	1
Done	0	0	0
Total	191	25	216

Merged error: 12.9b

Counts

216 → 25

localize80.0ms

Local error

Found 4 expressions with local error:

7.2b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
7.9b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
8.6b	(* (- (* x y2) (* z y3)) (* y0 c))
9.2b	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

rewrite125.0ms

Algorithm

rewrite-expression-head

Rules

111×	`add-sqr-sqrt`
75×	`associate-l`
70×	`*-un-lft-identity`
48×	`associate-r`
35×	`unswap-sqr`
28×	`distribute-lft-out--` `difference-of-squares`
19×	`flip3--` `flip--`
15×	`pow1` `add-exp-log` `add-cbrt-cube`
14×	`add-cube-cbrt`
12×	`frac-times`
8×	`associate-*l/`
6×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/` `pow-prod-down` `prod-exp` `cbrt-unprod`
5×	`*-commutative`
4×	`add-log-exp`

Counts

4 → 179

Calls

4 calls:

31.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
29.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
25.0ms	(* (- (* x y2) (* z y3)) (* y0 c))
30.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))

series612.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify51.0ms

Algorithm

egg-herbie

Counts

191 → 191

Iterations

Useful iterations: 1 (29.0ms)

Iter	Nodes	Cost
0	1261	1848
1	5001	1753

prune2.5s

Filtered

191 candidates to 129 candidates (67.5%)

Pruning

29 alts after pruning (29 fresh and 0 done)

	Pruned	Kept	Total
New	186	5	191
Fresh	0	24	24
Picked	1	0	1
Done	0	0	0
Total	187	29	216

Merged error: 11.4b

Counts

216 → 29

regimes8.7s

Accuracy

-13.9% (13.6b remaining)

Error of 28.7b against oracle of 15.0b and baseline of 27.0b

bsearch2.5s

Steps

Iters	Range		Point
7	7.039676534215305e-86	5.843553487407645e-84	2.691562158254632e-84
8	3.673338489303662e-203	1.1238124873434632e-200	5.988379860970605e-202
8	2.9074548234436914e-238	4.2205306649817805e-234	4.251717880464695e-236
7	1.1259941949926275e-308	9.129611979818682e-307	4.1884750907560635e-308
7	-4.342478536127275e-17	-5.5843583721617195e-19	-3.1855598357192326e-17

simplify6.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	217	300
1	231	300
2	235	300
3	235	300

end0.0ms

sample18.3s

Algorithm

intervals

Results

12.8s

71468×

body

valid