Details

sample37.0ms

Algorithm

intervals

Results

18.0ms

263×

body

valid

simplify103.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	41	16
1	88	16
2	254	16
3	663	16
4	1615	16
5	2362	16
6	2584	16
7	3122	16
8	5001	16

prune4.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: 33.0b

Counts

2 → 1

localize22.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)
0.1b	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
0.1b	(* (+ (* x y) z) y)
32.4b	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 16

Calls

4 calls:

10.0ms	(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)
8.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
5.0ms	(* (+ (* x y) z) y)
26.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

series485.0ms

Counts

4 → 12

Calls

4 calls:

78.0ms	(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)
50.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
36.0ms	(* (+ (* x y) z) y)
320.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify85.0ms

Algorithm

egg-herbie

Counts

28 → 28

Iterations

Useful iterations: 2 (21.0ms)

Iter	Nodes	Cost
0	235	220
1	749	217
2	3415	212
3	5001	212

prune149.0ms

Filtered

28 candidates to 21 candidates (75.0%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	20	8	28
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	20	9	29

Merged error: 31.8b

Counts

29 → 9

localize23.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
0.1b	(* (+ (* x y) z) y)
0.5b	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
32.2b	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 29

Calls

4 calls:

8.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
5.0ms	(* (+ (* x y) z) y)
11.0ms	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
23.0ms	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

series460.0ms

Counts

4 → 12

Calls

4 calls:

50.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
37.0ms	(* (+ (* x y) z) y)
50.0ms	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
323.0ms	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

simplify33.0ms

Algorithm

egg-herbie

Counts

41 → 41

Iterations

Useful iterations: 2 (27.0ms)

Iter	Nodes	Cost
0	248	451
1	951	448
2	5001	446

prune166.0ms

Filtered

41 candidates to 24 candidates (58.5%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	40	1	41
Fresh	0	7	7
Picked	0	1	1
Done	1	0	1
Total	41	9	50

Merged error: 31.7b

Counts

50 → 9

localize28.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
0.1b	(* (+ (* x y) z) y)
0.4b	(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
32.4b	(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))

rewrite58.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 26

Calls

4 calls:

8.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
5.0ms	(* (+ (* x y) z) y)
22.0ms	(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
22.0ms	(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))

series971.0ms

Counts

4 → 12

Calls

4 calls:

56.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
32.0ms	(* (+ (* x y) z) y)
414.0ms	(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
470.0ms	(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))

simplify108.0ms

Algorithm

egg-herbie

Counts

38 → 38

Iterations

Useful iterations: 3 (103.0ms)

Iter	Nodes	Cost
0	223	330
1	736	326
2	4274	322
3	5001	317

prune183.0ms

Filtered

38 candidates to 27 candidates (71.1%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	36	2	38
Fresh	0	7	7
Picked	0	1	1
Done	1	0	1
Total	37	10	47

Merged error: 31.7b

Counts

47 → 10

localize24.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ (* x y) z) y)
0.1b	(/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
0.5b	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
32.1b	(/ (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))

rewrite58.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 39

Calls

4 calls:

5.0ms	(* (+ (* x y) z) y)
17.0ms	(/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
10.0ms	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
23.0ms	(/ (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))

series608.0ms

Counts

4 → 12

Calls

4 calls:

32.0ms	(* (+ (* x y) z) y)
113.0ms	(/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
55.0ms	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
408.0ms	(/ (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))

simplify44.0ms

Algorithm

egg-herbie

Counts

51 → 51

Iterations

Useful iterations: 2 (32.0ms)

Iter	Nodes	Cost
0	280	787
1	1250	765
2	5002	764

prune182.0ms

Filtered

51 candidates to 32 candidates (62.7%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	51	0	51
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	51	10	61

Merged error: 31.7b

Counts

61 → 10

regimes519.0ms

Accuracy

0% (1.2b remaining)

Error of 29.0b against oracle of 27.8b and baseline of 29.0b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	46	18
1	46	18

end0.0ms

sample925.0ms

Algorithm

intervals

Results

572.0ms

8232×

body

valid