Details

sample44.0ms

Algorithm

intervals

Results

22.0ms

265×

body

valid

simplify110.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: 32.6b

Counts

2 → 1

localize28.0ms

Local error

Found 4 expressions with local error:

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

rewrite58.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:

10.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
12.0ms	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
7.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))

series492.0ms

Counts

4 → 12

Calls

4 calls:

53.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
70.0ms	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
34.0ms	(* (+ (* x y) z) y)
334.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify66.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 2 (53.0ms)

Iter	Nodes	Cost
0	505	1241
1	2228	1133
2	5001	1131

prune457.0ms

Filtered

103 candidates to 76 candidates (73.8%)

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

Counts

104 → 10

localize25.0ms

Local error

Found 4 expressions with local error:

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

rewrite80.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:

12.0ms	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
7.0ms	(* (+ (* x y) z) y)
27.0ms	(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
27.0ms	(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))

series1.0s

Counts

4 → 12

Calls

4 calls:

72.0ms	(* (+ (* (+ (* (+ y a) y) b) y) c) y)
40.0ms	(* (+ (* x y) z) y)
432.0ms	(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
479.0ms	(/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))

simplify101.0ms

Algorithm

egg-herbie

Counts

167 → 167

Iterations

Useful iterations: 2 (69.0ms)

Iter	Nodes	Cost
0	680	3586
1	3336	3310
2	5002	3230

prune532.0ms

Filtered

167 candidates to 95 candidates (56.9%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	165	2	167
Fresh	1	8	9
Picked	1	0	1
Done	0	0	0
Total	167	10	177

Merged error: 31.5b

Counts

177 → 10

localize30.0ms

Local error

Found 4 expressions with local error:

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

rewrite88.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:

7.0ms	(* (+ (* x y) z) y)
29.0ms	(/ 1 (* (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))))
14.0ms	(/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
30.0ms	(* (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))

series1.1s

Counts

4 → 12

Calls

4 calls:

39.0ms	(* (+ (* x y) z) y)
430.0ms	(/ 1 (* (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))))
123.0ms	(/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
474.0ms	(* (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))

simplify83.0ms

Algorithm

egg-herbie

Counts

151 → 151

Iterations

Useful iterations: 2 (61.0ms)

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

prune463.0ms

Filtered

151 candidates to 82 candidates (54.3%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	151	0	151
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	151	10	161

Merged error: 31.5b

Counts

161 → 10

localize34.0ms

Local error

Found 4 expressions with local error:

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

rewrite101.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 102

Calls

4 calls:

12.0ms	(cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
16.0ms	(cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
12.0ms	(cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
56.0ms	(* (* (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))) (/ (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

series1.0s

Counts

4 → 12

Calls

4 calls:

234.0ms	(cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
227.0ms	(cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
231.0ms	(cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
336.0ms	(* (* (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))) (/ (cbrt (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

simplify83.0ms

Algorithm

egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 2 (53.0ms)

Iter	Nodes	Cost
0	617	3746
1	2362	3352
2	5002	3186

prune577.0ms

Filtered

114 candidates to 92 candidates (80.7%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	114	0	114
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	114	10	124

Merged error: 31.5b

Counts

124 → 10

regimes615.0ms

Accuracy

0% (1.3b remaining)

Error of 29.5b against oracle of 28.2b and baseline of 29.5b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	47	18
1	47	18

end0.0ms

sample1.1s

Algorithm

intervals

Results

688.0ms

8228×

body

valid

Details

sample44.0ms

simplify110.0ms

prune4.0ms

localize28.0ms

rewrite58.0ms

series492.0ms

simplify66.0ms

prune457.0ms

localize25.0ms

rewrite80.0ms

series1.0s

simplify101.0ms

prune532.0ms

localize30.0ms

rewrite88.0ms

series1.1s

simplify83.0ms

prune463.0ms

localize34.0ms

rewrite101.0ms

series1.0s

simplify83.0ms

prune577.0ms

regimes615.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample1.1s

Profiling