Details

sample53.0ms

Algorithm

intervals

Results

22.0ms

261×

body

valid

simplify104.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

prune6.0ms

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.9b

Counts

2 → 1

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite79.0ms

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:

15.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
17.0ms	(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)
11.0ms	(* (+ (* x y) z) y)
31.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

series186.0ms

Counts

4 → 12

Calls

4 calls:

14.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
21.0ms	(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)
8.0ms	(* (+ (* x y) z) y)
143.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify62.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 2 (49.0ms)

Iter	Nodes	Cost
0	500	1269
1	2182	1155
2	5002	1153

prune220.0ms

Filtered

103 candidates to 76 candidates (26.2%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	93	10	103
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	94	10	104

Merged error: 28.9b

Counts

104 → 10

localize25.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)
0.2b	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
29.1b	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

rewrite62.0ms

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:

12.0ms	(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)
6.0ms	(* (+ (* x y) z) y)
13.0ms	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
28.0ms	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

series196.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify73.0ms

Algorithm

egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 2 (58.0ms)

Iter	Nodes	Cost
0	559	1678
1	2715	1492
2	5001	1466

prune180.0ms

Filtered

127 candidates to 78 candidates (38.6%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	125	2	127
Fresh	2	7	9
Picked	0	1	1
Done	0	0	0
Total	127	10	137

Merged error: 28.9b

Counts

137 → 10

localize25.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)
0.2b	(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
29.2b	(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))

rewrite91.0ms

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:

19.0ms	(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)
12.0ms	(* (+ (* x y) z) y)
30.0ms	(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
24.0ms	(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))

series489.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify93.0ms

Algorithm

egg-herbie

Counts

167 → 167

Iterations

Useful iterations: 2 (64.0ms)

Iter	Nodes	Cost
0	680	3595
1	3308	3332
2	5002	3252

prune216.0ms

Filtered

167 candidates to 96 candidates (42.5%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	165	2	167
Fresh	1	7	8
Picked	0	1	1
Done	0	1	1
Total	166	11	177

Merged error: 28.9b

Counts

177 → 11

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.2b	(/ 1 (* (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))))
29.1b	(* (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))

rewrite80.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 139

Calls

4 calls:

6.0ms	(* (+ (* x y) z) y)
13.0ms	(/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
27.0ms	(/ 1 (* (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))))
29.0ms	(* (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))

series400.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(* (+ (* x y) z) y)
40.0ms	(/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
129.0ms	(/ 1 (* (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))))
223.0ms	(* (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))

simplify78.0ms

Algorithm

egg-herbie

Counts

151 → 151

Iterations

Useful iterations: 2 (58.0ms)

Iter	Nodes	Cost
0	576	2405
1	2850	2051
2	5001	2012

prune136.0ms

Filtered

151 candidates to 81 candidates (46.4%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	151	0	151
Fresh	0	8	8
Picked	0	1	1
Done	0	2	2
Total	151	11	162

Merged error: 28.9b

Counts

162 → 11

regimes1.3s

Accuracy

0% (1.1b remaining)

Error of 29.2b against oracle of 28.0b and baseline of 29.2b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	46	17
1	46	17

end0.0ms

sample1.4s

Algorithm

intervals

Results

695.0ms

8266×

body

valid

Details

sample53.0ms

simplify104.0ms

prune6.0ms

localize22.0ms

rewrite79.0ms

series186.0ms

simplify62.0ms

prune220.0ms

localize25.0ms

rewrite62.0ms

series196.0ms

simplify73.0ms

prune180.0ms

localize25.0ms

rewrite91.0ms

series489.0ms

simplify93.0ms

prune216.0ms

localize24.0ms

rewrite80.0ms

series400.0ms

simplify78.0ms

prune136.0ms

regimes1.3s

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.4s

Profiling