Details

sample20.0ms

Algorithm

intervals

Results

8.0ms

277×

body

valid

simplify51.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	20	5
1	34	5
2	55	5
3	93	5
4	149	5
5	184	5
6	202	5
7	229	5
8	280	5
9	372	5
10	465	5
11	768	5
12	876	5
13	878	5
14	878	5

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

Counts

2 → 1

localize12.0ms

Local error

Found 3 expressions with local error:

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

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 21

Calls

3 calls:

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

series198.0ms

Counts

3 → 9

Calls

3 calls:

80.0ms	(+ x (* y (/ (- z t) (- a t))))
53.0ms	(/ (- z t) (- a t))
65.0ms	(* y (/ (- z t) (- a t)))

simplify67.0ms

Algorithm

egg-herbie

Counts

30 → 30

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	162	102
1	576	102
2	2305	102
3	5001	102

prune78.0ms

Filtered

30 candidates to 24 candidates (80.0%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	27	3	30
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	27	4	31

Merged error: 0.0b

Counts

31 → 4

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ x (/ y (/ (- a t) (- z t))))
0.0b	(/ (- a t) (- z t))
2.3b	(/ y (/ (- a t) (- z t)))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 22

Calls

3 calls:

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

series318.0ms

Counts

3 → 9

Calls

3 calls:

113.0ms	(+ x (/ y (/ (- a t) (- z t))))
54.0ms	(/ (- a t) (- z t))
150.0ms	(/ y (/ (- a t) (- z t)))

simplify50.0ms

Algorithm

egg-herbie

Counts

31 → 31

Iterations

Useful iterations: 2 (14.0ms)

Iter	Nodes	Cost
0	156	118
1	469	118
2	1673	117
3	5001	117

prune78.0ms

Filtered

31 candidates to 24 candidates (77.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

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

Merged error: 0b

Counts

35 → 4

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ 1 (- z t))
0.0b	(+ x (/ y (* (- a t) (/ 1 (- z t)))))
0.3b	(* (- a t) (/ 1 (- z t)))
2.3b	(/ y (* (- a t) (/ 1 (- z t))))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

19×	`associate-/r/`
12×	`frac-times`
11×	`flip3--` `flip--`
10×	`clear-num`
8×	`frac-2neg`
6×	`associate-r/` `associate-r*`
5×	`associate-/r*`
4×	`associate-*l/` `un-div-inv` `div-inv`
2×	`*-commutative`
1×	`+-commutative` `flip3-+` `flip-+` `inv-pow`

Counts

4 → 47

Calls

4 calls:

3.0ms	(/ 1 (- z t))
5.0ms	(+ x (/ y (* (- a t) (/ 1 (- z t)))))
5.0ms	(* (- a t) (/ 1 (- z t)))
6.0ms	(/ y (* (- a t) (/ 1 (- z t))))

series352.0ms

Counts

4 → 12

Calls

4 calls:

35.0ms	(/ 1 (- z t))
117.0ms	(+ x (/ y (* (- a t) (/ 1 (- z t)))))
47.0ms	(* (- a t) (/ 1 (- z t)))
153.0ms	(/ y (* (- a t) (/ 1 (- z t))))

simplify82.0ms

Algorithm

egg-herbie

Counts

59 → 59

Iterations

Useful iterations: 2 (22.0ms)

Iter	Nodes	Cost
0	195	231
1	767	222
2	3604	218
3	5001	218

prune144.0ms

Filtered

59 candidates to 42 candidates (71.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	58	1	59
Fresh	1	1	2
Picked	0	1	1
Done	0	1	1
Total	59	4	63

Merged error: 0b

Counts

63 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (/ 1 (/ (/ (- a t) (- z t)) y)))
0.0b	(/ (- a t) (- z t))
0.3b	(/ 1 (/ (/ (- a t) (- z t)) y))
2.3b	(/ (/ (- a t) (- z t)) y)

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 41

Calls

4 calls:

6.0ms	(+ x (/ 1 (/ (/ (- a t) (- z t)) y)))
4.0ms	(/ (- a t) (- z t))
6.0ms	(/ 1 (/ (/ (- a t) (- z t)) y))
6.0ms	(/ (/ (- a t) (- z t)) y)

series486.0ms

Counts

4 → 12

Calls

4 calls:

172.0ms	(+ x (/ 1 (/ (/ (- a t) (- z t)) y)))
54.0ms	(/ (- a t) (- z t))
173.0ms	(/ 1 (/ (/ (- a t) (- z t)) y))
86.0ms	(/ (/ (- a t) (- z t)) y)

simplify100.0ms

Algorithm

egg-herbie

Counts

53 → 53

Iterations

Useful iterations: 3 (91.0ms)

Iter	Nodes	Cost
0	198	186
1	607	183
2	2986	176
3	5002	175

prune132.0ms

Filtered

53 candidates to 41 candidates (77.4%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	53	0	53
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	53	4	57

Merged error: 0b

Counts

57 → 4

regimes203.0ms

Accuracy

-4.3% (1.5b remaining)

Error of 1.5b against oracle of 0.0b and baseline of 1.4b

bsearch63.0ms

Steps

Iters	Range		Point
5	6.367439988554813e-146	1.3888855347777436e-145	7.297986869556397e-146
8	-3.834556611893393e-124	-7.520920273945714e-128	-3.3050585222382704e-124

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	10
1	26	10

end0.0ms

sample524.0ms

Algorithm

intervals

Results

274.0ms	8699×	body	80	valid
0.0ms	1×	body	640	valid
0.0ms	1×	body	320	valid

Iter	Nodes	Cost
0	20	5
1	34	5
2	55	5
3	93	5
4	149	5
5	184	5
6	202	5
7	229	5
8	280	5
9	372	5
10	465	5
11	768	5
12	876	5
13	878	5
14	878	5

Iter	Nodes	Cost
0	20	5
1	34	5
2	55	5
3	93	5
4	149	5
5	184	5
6	202	5
7	229	5
8	280	5
9	372	5
10	465	5
11	768	5
12	876	5
13	878	5
14	878	5

Iter	Nodes	Cost
0	20	5
1	34	5
2	55	5
3	93	5
4	149	5
5	184	5
6	202	5
7	229	5
8	280	5
9	372	5
10	465	5
11	768	5
12	876	5
13	878	5
14	878	5