Details

sample25.5s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 15.222168%

Results

14.0ms

256×

body

valid

simplify96.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	32	10
1	71	10
2	184	10
3	381	10
4	682	10
5	1102	10
6	2122	10
7	4337	10
8	5001	10

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

Counts

2 → 1

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (+ x y) z)
1.4b	(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
2.2b	(+ (* (+ x y) z) (* (+ t y) a))
25.3b	(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

38×	`*-un-lft-identity`
18×	`add-sqr-sqrt`
16×	`add-cube-cbrt`
15×	`times-frac`
13×	`distribute-lft-out`
11×	`add-log-exp`
10×	`associate-*l/`
8×	`add-exp-log` `add-cbrt-cube`
7×	`flip3-+` `flip-+`
6×	`pow1`
5×	`associate-/r*`
4×	`associate-l` `frac-add`
3×	`associate-r` `associate-/l*`
2×	`flip3--` `diff-log` `sum-log` `associate-/r/` `flip--` `associate-/l/`
1×	`cbrt-undiv` `+-commutative` `sub-neg` `frac-2neg` `div-sub` `div-exp` `pow-prod-down` `prod-exp` `associate--l+` `clear-num` `*-commutative` `cbrt-unprod` `div-inv` `unswap-sqr`

Counts

4 → 90

Calls

4 calls:

5.0ms	(* (+ x y) z)
9.0ms	(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
6.0ms	(+ (* (+ x y) z) (* (+ t y) a))
14.0ms	(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

series189.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(* (+ x y) z)
31.0ms	(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
16.0ms	(+ (* (+ x y) z) (* (+ t y) a))
137.0ms	(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

simplify59.0ms

Algorithm

egg-herbie

Counts

102 → 102

Iterations

Useful iterations: 1 (12.0ms)

Iter	Nodes	Cost
0	523	1089
1	2308	1025
2	5001	1025

prune171.0ms

Filtered

74 candidates to 102 candidates (-37.8%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	88	14	102
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	89	14	103

Merged error: 6.5b

Counts

103 → 14

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ 1 (+ (+ x t) y))
1.4b	(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
2.2b	(+ (* (+ x y) z) (* (+ t y) a))
25.4b	(* (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (/ 1 (+ (+ x t) y)))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

60×	`*-un-lft-identity`
32×	`times-frac`
31×	`add-sqr-sqrt`
24×	`add-cube-cbrt`
21×	`associate-r` `distribute-lft-out`
17×	`add-exp-log`
11×	`add-cbrt-cube` `add-log-exp`
10×	`associate-*l/`
7×	`pow1` `flip3-+` `flip-+`
5×	`associate-/r*`
4×	`div-exp` `frac-add` `prod-exp` `associate-/r/`
3×	`flip3--` `associate-l` `flip--` `associate-/l*` `unswap-sqr`
2×	`cbrt-undiv` `frac-times` `rec-exp` `diff-log` `1-exp` `sum-log` `cbrt-unprod` `div-inv`
1×	`+-commutative` `sub-neg` `pow-flip` `frac-2neg` `associate-r/` `pow-prod-down` `associate--l+` `clear-num` `un-div-inv` `-commutative` `inv-pow`

Counts

4 → 118

Calls

4 calls:

7.0ms	(/ 1 (+ (+ x t) y))
11.0ms	(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
6.0ms	(+ (* (+ x y) z) (* (+ t y) a))
19.0ms	(* (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (/ 1 (+ (+ x t) y)))

series192.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(/ 1 (+ (+ x t) y))
29.0ms	(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
18.0ms	(+ (* (+ x y) z) (* (+ t y) a))
136.0ms	(* (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (/ 1 (+ (+ x t) y)))

simplify67.0ms

Algorithm

egg-herbie

Counts

130 → 130

Iterations

Useful iterations: 2 (55.0ms)

Iter	Nodes	Cost
0	562	1269
1	2768	1146
2	5002	1104

prune148.0ms

Filtered

75 candidates to 130 candidates (-73.3%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	129	1	130
Fresh	1	12	13
Picked	0	1	1
Done	0	0	0
Total	130	14	144

Merged error: 6.5b

Counts

144 → 14

localize14.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ 1 (/ (+ (+ x t) y) (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))))
1.4b	(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
2.2b	(+ (* (+ x y) z) (* (+ t y) a))
25.3b	(/ (+ (+ x t) y) (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))

rewrite56.0ms

Algorithm

rewrite-expression-head

Rules

152×	`*-un-lft-identity`
138×	`times-frac`
72×	`add-sqr-sqrt` `add-cube-cbrt`
48×	`distribute-lft-out`
24×	`associate-/r*`
17×	`add-exp-log`
11×	`associate-/r/` `add-cbrt-cube` `add-log-exp`
8×	`div-exp` `associate-l/` `associate-/l`
6×	`flip3--` `flip3-+` `flip--` `flip-+` `div-inv`
5×	`pow1`
4×	`cbrt-undiv` `frac-add`
2×	`rec-exp` `frac-2neg` `diff-log` `1-exp` `clear-num` `sum-log` `associate-/l/`
1×	`+-commutative` `sub-neg` `pow-flip` `associate--l+` `inv-pow`

Counts

4 → 176

Calls

4 calls:

18.0ms	(/ 1 (/ (+ (+ x t) y) (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))))
9.0ms	(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
6.0ms	(+ (* (+ x y) z) (* (+ t y) a))
15.0ms	(/ (+ (+ x t) y) (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))

series217.0ms

Counts

4 → 12

Calls

4 calls:

130.0ms	(/ 1 (/ (+ (+ x t) y) (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))))
32.0ms	(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
16.0ms	(+ (* (+ x y) z) (* (+ t y) a))
38.0ms	(/ (+ (+ x t) y) (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))

simplify87.0ms

Algorithm

egg-herbie

Counts

188 → 188

Iterations

Useful iterations: 2 (61.0ms)

Iter	Nodes	Cost
0	703	3188
1	3355	2977
2	5002	2859

prune164.0ms

Filtered

92 candidates to 188 candidates (-104.3%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	186	2	188
Fresh	0	12	12
Picked	1	0	1
Done	0	1	1
Total	187	15	202

Merged error: 4.4b

Counts

202 → 15

localize16.0ms

Local error

Found 4 expressions with local error:

0.9b	(/ 1 (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))
1.4b	(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
2.2b	(+ (* (+ x y) z) (* (+ t y) a))
24.3b	(/ (/ 1 (+ (+ x t) y)) (/ 1 (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))))

rewrite83.0ms

Algorithm

rewrite-expression-head

Rules

762×	`times-frac`
550×	`*-un-lft-identity`
310×	`add-sqr-sqrt` `add-cube-cbrt`
144×	`distribute-lft-out`
79×	`associate-/r/`
48×	`add-exp-log`
40×	`div-inv`
34×	`div-exp`
24×	`flip3--` `flip--` `associate-/l*`
21×	`flip3-+` `flip-+`
18×	`associate-/r*` `add-cbrt-cube`
11×	`add-log-exp`
9×	`cbrt-undiv` `rec-exp` `1-exp`
8×	`associate-*l/`
5×	`pow1`
4×	`frac-add`
2×	`frac-2neg` `diff-log` `clear-num` `sum-log`
1×	`+-commutative` `sub-neg` `pow-flip` `associate--l+` `associate-/l/` `inv-pow`

Counts

4 → 445

Calls

4 calls:

12.0ms	(/ 1 (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))
9.0ms	(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
7.0ms	(+ (* (+ x y) z) (* (+ t y) a))
24.0ms	(/ (/ 1 (+ (+ x t) y)) (/ 1 (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))))

series208.0ms

Counts

4 → 12

Calls

4 calls:

29.0ms	(/ 1 (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))
29.0ms	(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
16.0ms	(+ (* (+ x y) z) (* (+ t y) a))
133.0ms	(/ (/ 1 (+ (+ x t) y)) (/ 1 (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))))

simplify122.0ms

Algorithm

egg-herbie

Counts

457 → 457

Iterations

Useful iterations: 1 (36.0ms)

Iter	Nodes	Cost
0	1846	10774
1	5001	10075

prune298.0ms

Filtered

184 candidates to 457 candidates (-148.4%)

Pruning

16 alts after pruning (14 fresh and 2 done)

	Pruned	Kept	Total
New	456	1	457
Fresh	0	13	13
Picked	0	1	1
Done	0	1	1
Total	456	16	472

Merged error: 4.4b

Counts

472 → 16

regimes1.1s

Accuracy

85.3% (3.2b remaining)

Error of 7.8b against oracle of 4.6b and baseline of 26.4b

bsearch1.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	42	33
1	42	33

end0.0ms

sample26.8s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 15.222168%

Results

466.0ms

8000×

body

valid

Details

sample25.5s

simplify96.0ms

prune6.0ms

localize14.0ms

rewrite37.0ms

series189.0ms

simplify59.0ms

prune171.0ms

localize14.0ms

rewrite47.0ms

series192.0ms

simplify67.0ms

prune148.0ms

localize14.0ms

rewrite56.0ms

series217.0ms

simplify87.0ms

prune164.0ms

localize16.0ms

rewrite83.0ms

series208.0ms

simplify122.0ms

prune298.0ms

regimes1.1s

bsearch1.0ms

simplify2.0ms

end0.0ms

sample26.8s

Profiling