Details

sample36.0ms

Algorithm

intervals

Results

18.0ms

359×

body

valid

simplify82.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	34	8
1	83	8
2	220	8
3	384	8
4	455	8
5	563	8
6	586	8
7	677	8
8	902	8
9	1322	8
10	1322	8

prune3.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: 3.1b

Counts

2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* a 27.0) b)
0.3b	(- (* x 2.0) (* (* (* y 9.0) z) t))
0.4b	(* (* y 9.0) z)
4.8b	(* (* (* y 9.0) z) t)

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

10×	`associate-l`
7×	`*-commutative`
1×	`sub-neg` `flip3--` `flip--`

Counts

4 → 15

Calls

4 calls:

3.0ms	(* (* a 27.0) b)
6.0ms	(- (* x 2.0) (* (* (* y 9.0) z) t))
3.0ms	(* (* y 9.0) z)
5.0ms	(* (* (* y 9.0) z) t)

series138.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(* (* a 27.0) b)
67.0ms	(- (* x 2.0) (* (* (* y 9.0) z) t))
21.0ms	(* (* y 9.0) z)
26.0ms	(* (* (* y 9.0) z) t)

simplify105.0ms

Algorithm

egg-herbie

Counts

27 → 27

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	111	84
1	349	84
2	1960	84
3	5001	84

prune67.0ms

Filtered

27 candidates to 17 candidates (63.0%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	22	5	27
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	23	5	28

Merged error: 0.3b

Counts

28 → 5

localize12.0ms

Local error

Found 4 expressions with local error:

0.2b	(* 9.0 (* t (* z y)))
0.2b	(* (* a 27.0) b)
0.3b	(- (* x 2.0) (* 9.0 (* t (* z y))))
4.9b	(* t (* z y))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

8×	`associate-r`
7×	`*-commutative`
2×	`associate-l`
1×	`sub-neg` `flip3--` `flip--`

Counts

4 → 15

Calls

4 calls:

4.0ms	(* 9.0 (* t (* z y)))
3.0ms	(* (* a 27.0) b)
5.0ms	(- (* x 2.0) (* 9.0 (* t (* z y))))
3.0ms	(* t (* z y))

series153.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(* 9.0 (* t (* z y)))
25.0ms	(* (* a 27.0) b)
70.0ms	(- (* x 2.0) (* 9.0 (* t (* z y))))
31.0ms	(* t (* z y))

simplify89.0ms

Algorithm

egg-herbie

Counts

27 → 27

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	101	82
1	330	82
2	1772	82
3	5001	82

prune76.0ms

Filtered

27 candidates to 18 candidates (66.7%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	26	1	27
Fresh	0	4	4
Picked	1	0	1
Done	0	0	0
Total	27	5	32

Merged error: 0.3b

Counts

32 → 5

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- (* x 2.0) (* (* 9.0 t) (* z y))) (* (* a 27.0) b))
0.2b	(* (* a 27.0) b)
0.3b	(- (* x 2.0) (* (* 9.0 t) (* z y)))
5.0b	(* (* 9.0 t) (* z y))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

5×	`*-commutative`
4×	`associate-l`
2×	`sub-neg` `associate-+l+` `associate-r`
1×	`+-commutative` `associate-+l-` `flip3--` `flip3-+` `flip--` `flip-+`

Counts

4 → 18

Calls

4 calls:

9.0ms	(+ (- (* x 2.0) (* (* 9.0 t) (* z y))) (* (* a 27.0) b))
3.0ms	(* (* a 27.0) b)
6.0ms	(- (* x 2.0) (* (* 9.0 t) (* z y)))
4.0ms	(* (* 9.0 t) (* z y))

series283.0ms

Counts

4 → 12

Calls

4 calls:

159.0ms	(+ (- (* x 2.0) (* (* 9.0 t) (* z y))) (* (* a 27.0) b))
20.0ms	(* (* a 27.0) b)
75.0ms	(- (* x 2.0) (* (* 9.0 t) (* z y)))
29.0ms	(* (* 9.0 t) (* z y))

simplify180.0ms

Algorithm

egg-herbie

Counts

30 → 30

Iterations

Useful iterations: 2 (30.0ms)

Iter	Nodes	Cost
0	159	172
1	682	170
2	3983	167
3	5001	167

prune85.0ms

Filtered

30 candidates to 21 candidates (70.0%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	29	1	30
Fresh	1	3	4
Picked	0	1	1
Done	0	0	0
Total	30	5	35

Merged error: 0.3b

Counts

35 → 5

localize12.0ms

Local error

Found 4 expressions with local error:

0.2b	(* a (* 27.0 b))
0.3b	(- (* x 2.0) (* (* (* y 9.0) z) t))
0.4b	(* (* y 9.0) z)
4.8b	(* (* (* y 9.0) z) t)

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

8×	`associate-l`
7×	`*-commutative`
2×	`associate-r`
1×	`sub-neg` `flip3--` `flip--`

Counts

4 → 15

Calls

4 calls:

3.0ms	(* a (* 27.0 b))
6.0ms	(- (* x 2.0) (* (* (* y 9.0) z) t))
3.0ms	(* (* y 9.0) z)
5.0ms	(* (* (* y 9.0) z) t)

series138.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(* a (* 27.0 b))
67.0ms	(- (* x 2.0) (* (* (* y 9.0) z) t))
21.0ms	(* (* y 9.0) z)
25.0ms	(* (* (* y 9.0) z) t)

simplify100.0ms

Algorithm

egg-herbie

Counts

27 → 27

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	110	84
1	350	84
2	1962	84
3	5001	84

prune57.0ms

Filtered

27 candidates to 17 candidates (63.0%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	25	2	27
Fresh	2	1	3
Picked	1	0	1
Done	0	1	1
Total	28	4	32

Merged error: 0.3b

Counts

32 → 4

regimes465.0ms

Accuracy

68.5% (1.2b remaining)

Error of 1.2b against oracle of 0.0b and baseline of 3.8b

bsearch305.0ms

Steps

Iters	Range		Point
10	2.466971021687677e+246	1.6937458541419086e+257	1.6726317168319845e+257
9	2.7648234544559302e-73	1.1689018791975134e-63	1.2477194841301186e-68
9	-1.2958417084838095e-303	9.119672220133982e-308	-7.368293167680833e-306
8	-2.7200177136658835e-59	-9.74431367962849e-62	-2.6884622595193885e-59

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	56	40
1	56	40

end0.0ms

sample836.0ms

Algorithm

intervals

Results

468.0ms

11019×

body

valid