Details

sample0.0hr

Algorithm

intervals

Results

0.0hr

265×

body

valid

simplify0.0hr

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0hr)

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

prune0.0hr

Filtered

1 candidates to 0 candidates (100.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: 29.6b

Counts

2 → 1

localize0.0hr

Local error

Found 4 expressions with local error:

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

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt`
18×	`add-cube-cbrt` `*-un-lft-identity`
12×	`add-exp-log` `add-cbrt-cube`
10×	`pow1`
9×	`times-frac` `associate-r` `associate-l`
6×	`associate-*l/`
5×	`flip3-+` `flip-+`
4×	`add-log-exp`
3×	`pow-prod-down` `prod-exp` `associate-/r` `-commutative` `cbrt-unprod` `associate-/l*` `unswap-sqr`
2×	`associate-/r/` `associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `div-inv`

Counts

4 → 91

Calls

4 calls:

0.0hr	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
0.0hr	(* (+ (* (+ y a) y) b) y)
0.0hr	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
0.0hr	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
0.0hr	(* (+ (* (+ y a) y) b) y)
0.0hr	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
0.0hr	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify0.0hr

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 2 (0.0hr)

Iter	Nodes	Cost
0	509	1265
1	2259	1154
2	5002	1152

prune0.0hr

Filtered

103 candidates to 77 candidates (25.2%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	91	12	103
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	92	12	104

Merged error: 28.6b

Counts

104 → 12

localize0.0hr

Local error

Found 4 expressions with local error:

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

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

35×	`add-sqr-sqrt`
25×	`*-un-lft-identity`
24×	`add-cube-cbrt`
21×	`add-exp-log` `associate-r`
20×	`times-frac`
15×	`add-cbrt-cube`
11×	`pow1`
9×	`associate-l`
6×	`flip3-+` `associate-*l/` `prod-exp` `flip-+`
5×	`unswap-sqr`
4×	`div-exp` `associate-/r/` `cbrt-unprod` `add-log-exp`
3×	`pow-prod-down` `associate-/r` `-commutative` `associate-/l*`
2×	`cbrt-undiv` `frac-times` `rec-exp` `1-exp` `div-inv`
1×	`pow-flip` `frac-2neg` `associate-*r/` `clear-num` `un-div-inv` `inv-pow`

Counts

4 → 115

Calls

4 calls:

0.0hr	(* (+ (* (+ y a) y) b) y)
0.0hr	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
0.0hr	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
0.0hr	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(* (+ (* (+ y a) y) b) y)
0.0hr	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
0.0hr	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
0.0hr	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

simplify0.0hr

Algorithm

egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 2 (0.0hr)

Iter	Nodes	Cost
0	563	1664
1	2751	1466
2	5002	1440

prune0.0hr

Filtered

127 candidates to 79 candidates (37.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	124	3	127
Fresh	3	8	11
Picked	1	0	1
Done	0	0	0
Total	128	11	139

Merged error: 28.6b

Counts

139 → 11

localize0.0hr

Local error

Found 4 expressions with local error:

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

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

90×	`times-frac`
64×	`add-sqr-sqrt`
60×	`add-cube-cbrt` `*-un-lft-identity`
21×	`add-exp-log`
18×	`associate-/r*`
15×	`add-cbrt-cube`
11×	`associate-/r/`
9×	`pow1`
8×	`flip3-+` `div-exp` `flip-+`
6×	`associate-r` `associate-l` `div-inv` `associate-/l*`
4×	`cbrt-undiv` `associate-*l/` `add-log-exp`
2×	`rec-exp` `frac-2neg` `1-exp` `pow-prod-down` `prod-exp` `clear-num` `*-commutative` `cbrt-unprod` `associate-/l/` `unswap-sqr`
1×	`pow-flip` `inv-pow`

Counts

4 → 155

Calls

4 calls:

0.0hr	(* (+ (* (+ y a) y) b) y)
0.0hr	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
0.0hr	(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
0.0hr	(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(* (+ (* (+ y a) y) b) y)
0.0hr	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
0.0hr	(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
0.0hr	(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))

simplify0.0hr

Algorithm

egg-herbie

Counts

167 → 167

Iterations

Useful iterations: 2 (0.0hr)

Iter	Nodes	Cost
0	684	3581
1	3345	3306
2	5001	3226

prune0.0hr

Filtered

167 candidates to 97 candidates (41.9%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	165	2	167
Fresh	1	9	10
Picked	1	0	1
Done	0	0	0
Total	167	11	178

Merged error: 28.6b

Counts

178 → 11

localize0.0hr

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
0.6b	(cbrt y)
28.9b	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (* (+ (* (+ (* (+ y a) y) b) y) c) (* (cbrt y) (cbrt y))) (cbrt y)) i))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
9×	`cbrt-prod` `times-frac`
6×	`add-exp-log` `add-cbrt-cube`
4×	`pow1` `add-log-exp`
3×	`pow1/3` `associate-/r` `associate-/l`
2×	`flip3-+` `associate-/r/` `flip-+` `associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `div-inv`

Counts

4 → 64

Calls

4 calls:

0.0hr	(cbrt y)
0.0hr	(cbrt y)
0.0hr	(cbrt y)
0.0hr	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (* (+ (* (+ (* (+ y a) y) b) y) c) (* (cbrt y) (cbrt y))) (cbrt y)) i))

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(cbrt y)
0.0hr	(cbrt y)
0.0hr	(cbrt y)
0.0hr	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (* (+ (* (+ (* (+ y a) y) b) y) c) (* (cbrt y) (cbrt y))) (cbrt y)) i))

simplify0.0hr

Algorithm

egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 3 (0.0hr)

Iter	Nodes	Cost
0	276	1174
1	918	1065
2	4557	1032
3	5003	1029

prune0.0hr

Filtered

76 candidates to 59 candidates (22.4%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	76	0	76
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	76	11	87

Merged error: 28.6b

Counts

87 → 11

regimes0.0hr

Accuracy

0% (1.3b remaining)

Error of 29.8b against oracle of 28.5b and baseline of 29.8b

bsearch0.0hr

simplify0.0hr

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0hr)

Iter	Nodes	Cost
0	45	21
1	45	21

end0.0hr

sample0.0hr

Algorithm

intervals

Results

0.0hr

8218×

body

valid

Details

sample0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

regimes0.0hr

bsearch0.0hr

simplify0.0hr

end0.0hr

sample0.0hr

Profiling