Details

sample15.0ms

Algorithm

intervals

Results

6.0ms

266×

body

valid

simplify5.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	3
1	17	3
2	17	3

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

Counts

2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(- y (* z t))
3.4b	(/ x (- y (* z t)))

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

2×	`flip3--` `associate-/r/` `flip--`
1×	`sub-neg` `frac-2neg` `clear-num` `div-inv`

Counts

2 → 9

Calls

2 calls:

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

series62.0ms

Counts

2 → 6

Calls

2 calls:

27.0ms	(- y (* z t))
35.0ms	(/ x (- y (* z t)))

simplify89.0ms

Algorithm

egg-herbie

Counts

15 → 15

Iterations

Useful iterations: 3 (16.0ms)

Iter	Nodes	Cost
0	68	46
1	168	46
2	420	46
3	1065	45
4	3172	45
5	5002	45

prune34.0ms

Filtered

15 candidates to 11 candidates (73.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	10	5	15
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	10	6	16

Merged error: 3.3b

Counts

16 → 6

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(- y (* z t))
0.5b	(/ 1 (- y (* z t)))
3.2b	(* x (/ 1 (- y (* z t))))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 19

Calls

3 calls:

2.0ms	(- y (* z t))
3.0ms	(/ 1 (- y (* z t)))
4.0ms	(* x (/ 1 (- y (* z t))))

series101.0ms

Counts

3 → 9

Calls

3 calls:

27.0ms	(- y (* z t))
43.0ms	(/ 1 (- y (* z t)))
31.0ms	(* x (/ 1 (- y (* z t))))

simplify72.0ms

Algorithm

egg-herbie

Counts

28 → 28

Iterations

Useful iterations: 3 (23.0ms)

Iter	Nodes	Cost
0	79	57
1	235	57
2	715	57
3	2406	56
4	5001	56

prune44.0ms

Filtered

28 candidates to 14 candidates (50.0%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	27	1	28
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	27	7	34

Merged error: 3.3b

Counts

34 → 7

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(- y (* z t))
0.6b	(/ 1 (/ (- y (* z t)) x))
3.4b	(/ (- y (* z t)) x)

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 21

Calls

3 calls:

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

series165.0ms

Counts

3 → 9

Calls

3 calls:

28.0ms	(- y (* z t))
95.0ms	(/ 1 (/ (- y (* z t)) x))
41.0ms	(/ (- y (* z t)) x)

simplify96.0ms

Algorithm

egg-herbie

Counts

30 → 30

Iterations

Useful iterations: 4 (93.0ms)

Iter	Nodes	Cost
0	104	88
1	278	87
2	968	87
3	3325	86
4	5001	85

prune63.0ms

Filtered

30 candidates to 21 candidates (70.0%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	29	1	30
Fresh	0	4	4
Picked	0	1	1
Done	1	1	2
Total	30	7	37

Merged error: 3.3b

Counts

37 → 7

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(- y (* z t))
0.5b	(/ 1 (- y (* z t)))
3.3b	(/ (/ 1 (- y (* z t))) (/ 1 x))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 26

Calls

3 calls:

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

series169.0ms

Counts

3 → 9

Calls

3 calls:

31.0ms	(- y (* z t))
41.0ms	(/ 1 (- y (* z t)))
96.0ms	(/ (/ 1 (- y (* z t))) (/ 1 x))

simplify48.0ms

Algorithm

egg-herbie

Counts

35 → 35

Iterations

Useful iterations: 2 (13.0ms)

Iter	Nodes	Cost
0	121	131
1	415	117
2	1380	116
3	5002	116

prune55.0ms

Filtered

35 candidates to 21 candidates (60.0%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	35	0	35
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	35	7	42

Merged error: 3.3b

Counts

42 → 7

regimes191.0ms

Accuracy

0% (0.1b remaining)

Error of 2.9b against oracle of 2.8b and baseline of 2.9b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	3
1	8	3

end0.0ms

sample393.0ms

Algorithm

intervals

Results

192.0ms

8361×

body

valid