Details

sample2.2s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 58.203125%

Results

14.0ms

256×

body

valid

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

prune5.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: 25.0b

Counts

2 → 1

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (+ t y) a)
1.2b	(+ (* (+ x y) z) (* (+ t y) a))
1.9b	(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
23.3b	(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

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

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

series196.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(* (+ t y) a)
18.0ms	(+ (* (+ x y) z) (* (+ t y) a))
30.0ms	(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
142.0ms	(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

simplify62.0ms

Algorithm

egg-herbie

Counts

102 → 102

Iterations

Useful iterations: 1 (13.0ms)

Iter	Nodes	Cost
0	520	1087
1	2308	1025
2	5001	1025

prune166.0ms

Filtered

76 candidates to 102 candidates (-34.2%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	90	12	102
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	90	13	103

Merged error: 8.4b

Counts

103 → 13

localize15.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ 1 (/ (+ (+ x t) y) (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))))
1.2b	(+ (* (+ x y) z) (* (+ t y) a))
1.9b	(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
23.3b	(/ (+ (+ x t) y) (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))

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

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

series222.0ms

Counts

4 → 12

Calls

4 calls:

133.0ms	(/ 1 (/ (+ (+ x t) y) (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))))
19.0ms	(+ (* (+ x y) z) (* (+ t y) a))
30.0ms	(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
39.0ms	(/ (+ (+ x t) y) (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))

simplify94.0ms

Algorithm

egg-herbie

Counts

188 → 188

Iterations

Useful iterations: 2 (65.0ms)

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

prune161.0ms

Filtered

93 candidates to 188 candidates (-102.2%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	187	1	188
Fresh	1	10	11
Picked	0	1	1
Done	0	1	1
Total	188	13	201

Merged error: 3.4b

Counts

201 → 13

localize22.0ms

Local error

Found 4 expressions with local error:

1.9b	(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
23.3b	(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))
23.3b	(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))
23.3b	(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

rewrite60.0ms

Algorithm

rewrite-expression-head

Rules

94×	`*-un-lft-identity`
45×	`times-frac`
36×	`distribute-lft-out`
34×	`add-sqr-sqrt` `add-cube-cbrt`
15×	`associate-/r*`
10×	`add-exp-log` `add-cbrt-cube`
9×	`associate-/l*` `add-log-exp`
6×	`associate-/r/` `associate-/l/`
4×	`pow1` `flip3--` `flip--`
3×	`cbrt-undiv` `frac-2neg` `flip3-+` `div-sub` `div-exp` `clear-num` `flip-+` `div-inv`
2×	`diff-log`
1×	`sub-neg` `associate--l+` `sum-log`

Counts

4 → 134

Calls

4 calls:

10.0ms	(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
15.0ms	(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))
15.0ms	(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))
16.0ms	(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

series457.0ms

Counts

4 → 12

Calls

4 calls:

30.0ms	(- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))
141.0ms	(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))
142.0ms	(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))
143.0ms	(/ (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)) (+ (+ x t) y))

simplify50.0ms

Algorithm

egg-herbie

Counts

146 → 146

Iterations

Useful iterations: 2 (30.0ms)

Iter	Nodes	Cost
0	270	2126
1	1146	1985
2	5001	1978

prune173.0ms

Filtered

100 candidates to 146 candidates (-46.0%)

Pruning

13 alts after pruning (10 fresh and 3 done)

	Pruned	Kept	Total
New	146	0	146
Fresh	0	10	10
Picked	0	1	1
Done	0	2	2
Total	146	13	159

Merged error: 3.4b

Counts

159 → 13

localize20.0ms

Local error

Found 4 expressions with local error:

8.9b	(* (* (cbrt (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))) (cbrt (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))) (/ (cbrt (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))) (+ (+ x t) y)))
24.1b	(cbrt (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))
24.1b	(cbrt (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))
24.1b	(cbrt (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))

rewrite70.0ms

Algorithm

rewrite-expression-head

Rules

54×	`*-un-lft-identity`
36×	`associate-r`
32×	`times-frac`
30×	`cbrt-div`
29×	`add-sqr-sqrt`
25×	`cbrt-prod`
24×	`add-cube-cbrt`
18×	`distribute-lft-out`
16×	`add-exp-log` `frac-times`
15×	`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×	`flip3-+` `associate-l` `*-commutative` `flip-+` `div-inv`

Counts

4 → 114

Calls

4 calls:

37.0ms	(* (* (cbrt (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))) (cbrt (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))) (/ (cbrt (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))) (+ (+ x t) y)))
9.0ms	(cbrt (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))
9.0ms	(cbrt (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))
10.0ms	(cbrt (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))

series508.0ms

Counts

4 → 12

Calls

4 calls:

146.0ms	(* (* (cbrt (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))) (cbrt (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))) (/ (cbrt (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b))) (+ (+ x t) y)))
121.0ms	(cbrt (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))
118.0ms	(cbrt (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))
122.0ms	(cbrt (- (+ (* (+ x y) z) (* (+ t y) a)) (* y b)))

simplify77.0ms

Algorithm

egg-herbie

Counts

126 → 126

Iterations

Useful iterations: 2 (51.0ms)

Iter	Nodes	Cost
0	591	3388
1	2399	3077
2	5001	2930

prune123.0ms

Filtered

90 candidates to 126 candidates (-40.0%)

Pruning

13 alts after pruning (9 fresh and 4 done)

	Pruned	Kept	Total
New	126	0	126
Fresh	0	9	9
Picked	0	1	1
Done	0	3	3
Total	126	13	139

Merged error: 3.4b

Counts

139 → 13

regimes1.1s

Accuracy

86.3% (3.0b remaining)

Error of 7.5b against oracle of 4.5b and baseline of 26.7b

bsearch1.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	32
1	36	32

end0.0ms

sample3.0s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 58.203125%

Results

458.0ms	7998×	body	80	valid
0.0ms	2×	body	160	valid

Details

sample2.2s

simplify101.0ms

prune5.0ms

localize14.0ms

rewrite39.0ms

series196.0ms

simplify62.0ms

prune166.0ms

localize15.0ms

rewrite58.0ms

series222.0ms

simplify94.0ms

prune161.0ms

localize22.0ms

rewrite60.0ms

series457.0ms

simplify50.0ms

prune173.0ms

localize20.0ms

rewrite70.0ms

series508.0ms

simplify77.0ms

prune123.0ms

regimes1.1s

bsearch1.0ms

simplify2.0ms

end0.0ms

sample3.0s

Profiling