Details

sample54.0ms

Algorithm

intervals

Results

26.0ms

267×

body

valid

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

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

Counts

2 → 1

localize23.0ms

Local error

Found 4 expressions with local error:

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

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

6.0ms	(* (+ (* x y) z) y)
12.0ms	(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)
9.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
26.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

series192.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify65.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 2 (51.0ms)

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

prune210.0ms

Filtered

76 candidates to 103 candidates (-35.5%)

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

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

rewrite64.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)
9.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
12.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)))

series206.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)
14.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
23.0ms	(/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))
145.0ms	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i)))

simplify74.0ms

Algorithm

egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 2 (58.0ms)

Iter	Nodes	Cost
0	552	1718
1	2685	1538
2	5001	1512

prune180.0ms

Filtered

82 candidates to 127 candidates (-54.9%)

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

Counts

137 → 10

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

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

11.0ms	(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)
9.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
23.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))

series399.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)
16.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
134.0ms	(/ 1 (/ (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))
227.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 (63.0ms)

Iter	Nodes	Cost
0	673	3635
1	3278	3378
2	5002	3298

prune214.0ms

Filtered

99 candidates to 167 candidates (-68.7%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	166	1	167
Fresh	1	7	8
Picked	1	0	1
Done	0	1	1
Total	168	9	177

Merged error: 29.5b

Counts

177 → 9

localize28.0ms

Local error

Found 4 expressions with local error:

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

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

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

series422.0ms

Counts

4 → 12

Calls

4 calls:

14.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
39.0ms	(/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))
140.0ms	(/ 1 (* (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t))))
229.0ms	(* (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i) (/ 1 (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t)))

simplify81.0ms

Algorithm

egg-herbie

Counts

151 → 151

Iterations

Useful iterations: 2 (60.0ms)

Iter	Nodes	Cost
0	581	2455
1	2905	2097
2	5001	2058

prune142.0ms

Filtered

84 candidates to 151 candidates (-79.8%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	151	0	151
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	151	9	160

Merged error: 29.5b

Counts

160 → 9

regimes1.2s

Accuracy

81.3% (0.2b remaining)

Error of 28.4b against oracle of 28.1b and baseline of 29.3b

bsearch2.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	50	33
1	50	33

end0.0ms

sample1.4s

Algorithm

intervals

Results

686.0ms

8224×

body

valid

Details

sample54.0ms

simplify105.0ms

prune6.0ms

localize23.0ms

rewrite56.0ms

series192.0ms

simplify65.0ms

prune210.0ms

localize25.0ms

rewrite64.0ms

series206.0ms

simplify74.0ms

prune180.0ms

localize26.0ms

rewrite72.0ms

series399.0ms

simplify93.0ms

prune214.0ms

localize28.0ms

rewrite82.0ms

series422.0ms

simplify81.0ms

prune142.0ms

regimes1.2s

bsearch2.0ms

simplify2.0ms

end0.0ms

sample1.4s

Profiling