Details

sample20.0ms

Algorithm

intervals

Results

9.0ms

331×

body

valid

simplify116.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	14	4
1	28	4
2	48	4
3	79	4
4	121	4
5	149	4
6	218	4
7	320	4
8	396	4
9	599	4
10	893	4
11	1278	4
12	2173	4
13	3752	4
14	5001	4

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

Counts

2 → 1

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (- y x) z)
0.0b	(+ x (/ (* (- y x) z) t))
7.9b	(/ (* (- y x) z) t)

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 13

Calls

3 calls:

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

series115.0ms

Counts

3 → 9

Calls

3 calls:

34.0ms	(* (- y x) z)
35.0ms	(+ x (/ (* (- y x) z) t))
46.0ms	(/ (* (- y x) z) t)

simplify42.0ms

Algorithm

egg-herbie

Counts

22 → 22

Iterations

Useful iterations: 1 (5.0ms)

Iter	Nodes	Cost
0	129	94
1	310	80
2	1067	80
3	5001	80

prune53.0ms

Filtered

22 candidates to 14 candidates (63.6%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	17	5	22
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	18	5	23

Merged error: 0.0b

Counts

23 → 5

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ x (/ z (/ t (- y x))))
0.0b	(/ t (- y x))
5.2b	(/ z (/ t (- y x)))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 17

Calls

3 calls:

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

series122.0ms

Counts

3 → 9

Calls

3 calls:

36.0ms	(+ x (/ z (/ t (- y x))))
33.0ms	(/ t (- y x))
53.0ms	(/ z (/ t (- y x)))

simplify41.0ms

Algorithm

egg-herbie

Counts

26 → 26

Iterations

Useful iterations: 2 (11.0ms)

Iter	Nodes	Cost
0	109	101
1	326	101
2	1229	88
3	5001	88

prune52.0ms

Filtered

26 candidates to 17 candidates (65.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	25	1	26
Fresh	1	3	4
Picked	0	1	1
Done	0	0	0
Total	26	5	31

Merged error: 0.0b

Counts

31 → 5

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ x (/ (- y x) (/ t z)))
10.3b	(/ (- y x) (/ t z))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 14

Calls

2 calls:

3.0ms	(+ x (/ (- y x) (/ t z)))
4.0ms	(/ (- y x) (/ t z))

series80.0ms

Counts

2 → 6

Calls

2 calls:

33.0ms	(+ x (/ (- y x) (/ t z)))
47.0ms	(/ (- y x) (/ t z))

simplify44.0ms

Algorithm

egg-herbie

Counts

20 → 20

Iterations

Useful iterations: 2 (12.0ms)

Iter	Nodes	Cost
0	131	95
1	371	83
2	1396	82
3	5001	82

prune43.0ms

Filtered

20 candidates to 13 candidates (65.0%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	20	0	20
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	20	5	25

Merged error: 0.0b

Counts

25 → 5

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ 1 (- y x))
0.0b	(+ x (/ (/ z t) (/ 1 (- y x))))
10.3b	(/ (/ z t) (/ 1 (- y x)))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 25

Calls

3 calls:

3.0ms	(/ 1 (- y x))
4.0ms	(+ x (/ (/ z t) (/ 1 (- y x))))
5.0ms	(/ (/ z t) (/ 1 (- y x)))

series130.0ms

Counts

3 → 9

Calls

3 calls:

39.0ms	(/ 1 (- y x))
35.0ms	(+ x (/ (/ z t) (/ 1 (- y x))))
56.0ms	(/ (/ z t) (/ 1 (- y x)))

simplify76.0ms

Algorithm

egg-herbie

Counts

34 → 34

Iterations

Useful iterations: 2 (19.0ms)

Iter	Nodes	Cost
0	167	145
1	614	134
2	2672	120
3	5001	120

prune58.0ms

Filtered

34 candidates to 21 candidates (61.8%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	33	1	34
Fresh	1	1	2
Picked	0	1	1
Done	0	2	2
Total	34	5	39

Merged error: 0.0b

Counts

39 → 5

regimes131.0ms

Accuracy

65.7% (2.0b remaining)

Error of 2.0b against oracle of 0.0b and baseline of 5.9b

bsearch70.0ms

Steps

Iters	Range		Point
8	6.367439988554813e-146	4.588023145402611e-143	2.9324202712513408e-143
6	-6.324232834802283e+42	-5.691950810733886e+41	-5.977856915267461e+41

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	27	9
1	27	9

end0.0ms

sample554.0ms

Algorithm

intervals

Results

292.0ms

10685×

body

valid