Details

sample37.0ms

Algorithm

intervals

Results

18.0ms

347×

body

valid

simplify118.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 1 (5.0ms)

Iter	Nodes	Cost
0	35	8
1	93	7
2	260	7
3	565	7
4	762	7
5	984	7
6	1021	7
7	1186	7
8	1552	7
9	2112	7
10	2112	7

prune10.0ms

Filtered

1 candidates to 1 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: 3.3b

Counts

2 → 2

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* x 2.0) (* (* (* y 9.0) z) t))
0.1b	(fma a (* 27.0 b) (- (* x 2.0) (* (* (* y 9.0) z) t)))
0.2b	(* (* y 9.0) z)
5.7b	(* (* (* y 9.0) z) t)

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

20×	`associate-l`
18×	`*-commutative`
12×	`prod-diff`
2×	`fma-neg`
1×	`sub-neg` `flip3--` `flip--` `fma-udef`

Counts

4 → 27

Calls

4 calls:

7.0ms	(- (* x 2.0) (* (* (* y 9.0) z) t))
1.0ms	(fma a (* 27.0 b) (- (* x 2.0) (* (* (* y 9.0) z) t)))
4.0ms	(* (* y 9.0) z)
6.0ms	(* (* (* y 9.0) z) t)

series325.0ms

Counts

4 → 12

Calls

4 calls:

87.0ms	(- (* x 2.0) (* (* (* y 9.0) z) t))
182.0ms	(fma a (* 27.0 b) (- (* x 2.0) (* (* (* y 9.0) z) t)))
25.0ms	(* (* y 9.0) z)
31.0ms	(* (* (* y 9.0) z) t)

simplify213.0ms

Algorithm

egg-herbie

Counts

39 → 39

Iterations

Useful iterations: 1 (9.0ms)

Iter	Nodes	Cost
0	215	247
1	745	219
2	4429	219
3	5001	219

prune97.0ms

Filtered

39 candidates to 19 candidates (48.7%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	35	4	39
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	36	5	41

Merged error: 0.0b

Counts

41 → 5

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* x 2.0) (- (* (* z t) (* y 9.0))))
0.1b	(fma a (* 27.0 b) (+ (* x 2.0) (- (* (* z t) (* y 9.0)))))
5.3b	(* (* z t) (* y 9.0))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

4×	`*-commutative`
2×	`fma-def` `associate-r` `associate-l`
1×	`+-commutative` `neg-sub0` `associate-+r-` `flip3-+` `unsub-neg` `flip-+` `fma-udef`

Counts

3 → 14

Calls

3 calls:

9.0ms	(+ (* x 2.0) (- (* (* z t) (* y 9.0))))
1.0ms	(fma a (* 27.0 b) (+ (* x 2.0) (- (* (* z t) (* y 9.0)))))
5.0ms	(* (* z t) (* y 9.0))

series312.0ms

Counts

3 → 9

Calls

3 calls:

88.0ms	(+ (* x 2.0) (- (* (* z t) (* y 9.0))))
190.0ms	(fma a (* 27.0 b) (+ (* x 2.0) (- (* (* z t) (* y 9.0)))))
34.0ms	(* (* z t) (* y 9.0))

simplify323.0ms

Algorithm

egg-herbie

Counts

23 → 23

Iterations

Useful iterations: 2 (33.0ms)

Iter	Nodes	Cost
0	131	89
1	524	82
2	4232	79
3	5001	79

prune98.0ms

Filtered

23 candidates to 18 candidates (78.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	20	3	23
Fresh	2	2	4
Picked	0	1	1
Done	0	0	0
Total	22	6	28

Merged error: 0.0b

Counts

28 → 6

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* x 2.0) (- (* (* (* z t) 9.0) y)))
0.1b	(fma a (* 27.0 b) (+ (* x 2.0) (- (* (* (* z t) 9.0) y))))
0.3b	(* (* z t) 9.0)
5.5b	(* (* (* z t) 9.0) y)

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

8×	`associate-l`
6×	`*-commutative`
2×	`fma-def`
1×	`+-commutative` `neg-sub0` `associate-+r-` `flip3-+` `unsub-neg` `flip-+` `fma-udef`

Counts

4 → 17

Calls

4 calls:

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

series333.0ms

Counts

4 → 12

Calls

4 calls:

87.0ms	(+ (* x 2.0) (- (* (* (* z t) 9.0) y)))
190.0ms	(fma a (* 27.0 b) (+ (* x 2.0) (- (* (* (* z t) 9.0) y))))
21.0ms	(* (* z t) 9.0)
34.0ms	(* (* (* z t) 9.0) y)

simplify276.0ms

Algorithm

egg-herbie

Counts

29 → 29

Iterations

Useful iterations: 3 (273.0ms)

Iter	Nodes	Cost
0	135	96
1	497	89
2	3675	86
3	5001	84

prune109.0ms

Filtered

29 candidates to 21 candidates (72.4%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	29	0	29
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	29	6	35

Merged error: 0.0b

Counts

35 → 6

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* x 2.0) (* y (* (* 9.0 z) t)))
0.1b	(fma a (* 27.0 b) (- (* x 2.0) (* y (* (* 9.0 z) t))))
0.3b	(* (* 9.0 z) t)
5.5b	(* y (* (* 9.0 z) t))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

18×	`*-commutative`
12×	`associate-r` `prod-diff`
8×	`associate-l`
2×	`fma-neg`
1×	`sub-neg` `flip3--` `flip--` `fma-udef`

Counts

4 → 27

Calls

4 calls:

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

series323.0ms

Counts

4 → 12

Calls

4 calls:

82.0ms	(- (* x 2.0) (* y (* (* 9.0 z) t)))
183.0ms	(fma a (* 27.0 b) (- (* x 2.0) (* y (* (* 9.0 z) t))))
26.0ms	(* (* 9.0 z) t)
31.0ms	(* y (* (* 9.0 z) t))

simplify178.0ms

Algorithm

egg-herbie

Counts

39 → 39

Iterations

Useful iterations: 1 (9.0ms)

Iter	Nodes	Cost
0	214	245
1	726	217
2	4097	217
3	5001	217

prune92.0ms

Filtered

39 candidates to 21 candidates (53.8%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	38	1	39
Fresh	0	3	3
Picked	1	0	1
Done	0	2	2
Total	39	6	45

Merged error: 0.0b

Counts

45 → 6

regimes641.0ms

Accuracy

78% (0.7b remaining)

Error of 0.8b against oracle of 0.0b and baseline of 3.4b

bsearch1.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	57	26
1	65	26
2	71	26
3	71	26

end0.0ms

sample872.0ms

Algorithm

intervals

Results

482.0ms

11099×

body

valid