Details

sample23.0ms

Algorithm

intervals

Results

12.0ms

256×

body

valid

simplify37.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	26	8
1	61	8
2	141	8
3	347	8
4	792	8
5	5002	8

prune2.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: 11.8b

Counts

2 → 1

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(- x (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t))))
0.6b	(- (* (* z 2.0) z) (* y t))
18.8b	(/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t)))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

4×	`associate-/l*`
3×	`flip3--` `flip--`
2×	`sub-neg` `associate-l` `associate-/r/` `*-commutative`
1×	`frac-2neg` `clear-num` `div-inv`

Counts

3 → 17

Calls

3 calls:

2.0ms	(- x (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t))))
5.0ms	(- (* (* z 2.0) z) (* y t))
9.0ms	(/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t)))

series304.0ms

Counts

3 → 9

Calls

3 calls:

81.0ms	(- x (/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t))))
39.0ms	(- (* (* z 2.0) z) (* y t))
183.0ms	(/ (* (* y 2.0) z) (- (* (* z 2.0) z) (* y t)))

simplify84.0ms

Algorithm

egg-herbie

Counts

26 → 26

Iterations

Useful iterations: 2 (20.0ms)

Iter	Nodes	Cost
0	165	180
1	608	180
2	2956	179
3	5002	179

prune62.0ms

Filtered

26 candidates to 18 candidates (69.2%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	20	6	26
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	21	6	27

Merged error: 5.3b

Counts

27 → 6

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(- x (/ z (/ (- (* (* z 2.0) z) (* y t)) (* y 2.0))))
0.6b	(- (* (* z 2.0) z) (* y t))
7.0b	(/ z (/ (- (* (* z 2.0) z) (* y t)) (* y 2.0)))
12.1b	(/ (- (* (* z 2.0) z) (* y t)) (* y 2.0))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

7×	`associate-/r/`
5×	`associate-/r*`
4×	`flip3--` `flip--` `associate-/l/`
3×	`frac-2neg` `clear-num` `div-inv`
2×	`sub-neg` `*-commutative`
1×	`div-sub`

Counts

4 → 27

Calls

4 calls:

2.0ms	(- x (/ z (/ (- (* (* z 2.0) z) (* y t)) (* y 2.0))))
6.0ms	(- (* (* z 2.0) z) (* y t))
8.0ms	(/ z (/ (- (* (* z 2.0) z) (* y t)) (* y 2.0)))
8.0ms	(/ (- (* (* z 2.0) z) (* y t)) (* y 2.0))

series207.0ms

Counts

4 → 12

Calls

4 calls:

57.0ms	(- x (/ z (/ (- (* (* z 2.0) z) (* y t)) (* y 2.0))))
37.0ms	(- (* (* z 2.0) z) (* y t))
55.0ms	(/ z (/ (- (* (* z 2.0) z) (* y t)) (* y 2.0)))
58.0ms	(/ (- (* (* z 2.0) z) (* y t)) (* y 2.0))

simplify140.0ms

Algorithm

egg-herbie

Counts

39 → 39

Iterations

Useful iterations: 3 (135.0ms)

Iter	Nodes	Cost
0	206	250
1	764	249
2	3541	246
3	5001	243

prune96.0ms

Filtered

39 candidates to 28 candidates (71.8%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	35	4	39
Fresh	4	1	5
Picked	1	0	1
Done	0	0	0
Total	40	5	45

Merged error: 1.0b

Counts

45 → 5

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(- x (/ z (/ (- (* (/ (* z 2.0) y) z) t) 2.0)))
0.1b	(* (/ (* z 2.0) y) z)
7.0b	(/ z (/ (- (* (/ (* z 2.0) y) z) t) 2.0))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

5×	`associate-*l/` `associate-/r/`
3×	`frac-2neg` `clear-num` `div-inv`
2×	`flip3--` `-commutative` `flip--` `associate-/l/` `associate-/l`
1×	`sub-neg` `associate-l` `associate-/r*`

Counts

3 → 20

Calls

3 calls:

2.0ms	(- x (/ z (/ (- (* (/ (* z 2.0) y) z) t) 2.0)))
5.0ms	(* (/ (* z 2.0) y) z)
8.0ms	(/ z (/ (- (* (/ (* z 2.0) y) z) t) 2.0))

series116.0ms

Counts

3 → 9

Calls

3 calls:

45.0ms	(- x (/ z (/ (- (* (/ (* z 2.0) y) z) t) 2.0)))
28.0ms	(* (/ (* z 2.0) y) z)
43.0ms	(/ z (/ (- (* (/ (* z 2.0) y) z) t) 2.0))

simplify131.0ms

Algorithm

egg-herbie

Counts

29 → 29

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	129	130
1	535	130
2	3560	130
3	5001	130

prune66.0ms

Filtered

29 candidates to 20 candidates (69.0%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	26	3	29
Fresh	2	2	4
Picked	0	1	1
Done	0	0	0
Total	28	6	34

Merged error: 0.9b

Counts

34 → 6

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(- x (/ 1 (/ (/ (- (* (/ (* z 2.0) y) z) t) 2.0) z)))
0.1b	(* (/ (* z 2.0) y) z)
0.9b	(/ 1 (/ (/ (- (* (/ (* z 2.0) y) z) t) 2.0) z))
6.8b	(/ (/ (- (* (/ (* z 2.0) y) z) t) 2.0) z)

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

15×	`associate-/l/`
9×	`associate-/r/`
8×	`clear-num`
6×	`frac-2neg` `div-inv`
5×	`associate-*l/`
4×	`associate-/l*`
3×	`flip3--` `flip--`
2×	`div-sub` `*-commutative` `remove-double-div`
1×	`sub-neg` `associate-l` `associate-/r*` `inv-pow`

Counts

4 → 37

Calls

4 calls:

2.0ms	(- x (/ 1 (/ (/ (- (* (/ (* z 2.0) y) z) t) 2.0) z)))
5.0ms	(* (/ (* z 2.0) y) z)
9.0ms	(/ 1 (/ (/ (- (* (/ (* z 2.0) y) z) t) 2.0) z))
9.0ms	(/ (/ (- (* (/ (* z 2.0) y) z) t) 2.0) z)

series173.0ms

Counts

4 → 12

Calls

4 calls:

44.0ms	(- x (/ 1 (/ (/ (- (* (/ (* z 2.0) y) z) t) 2.0) z)))
27.0ms	(* (/ (* z 2.0) y) z)
42.0ms	(/ 1 (/ (/ (- (* (/ (* z 2.0) y) z) t) 2.0) z))
60.0ms	(/ (/ (- (* (/ (* z 2.0) y) z) t) 2.0) z)

simplify36.0ms

Algorithm

egg-herbie

Counts

49 → 49

Iterations

Useful iterations: 2 (32.0ms)

Iter	Nodes	Cost
0	202	227
1	863	225
2	5001	212

prune92.0ms

Filtered

49 candidates to 33 candidates (67.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	47	2	49
Fresh	3	1	4
Picked	1	0	1
Done	0	1	1
Total	51	4	55

Merged error: 0.0b

Counts

55 → 4

regimes78.0ms

Accuracy

0% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 0.1b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	8
1	17	8

end0.0ms

sample508.0ms

Algorithm

intervals

Results

308.0ms

8000×

body

valid