Details

sample4.2s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 0%

Results

14.0ms	197×	body	80	invalid
13.0ms	256×	body	80	valid

simplify8.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	26	7
1	48	7
2	81	7
3	98	7
4	98	7

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

Counts

2 → 1

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (+ (* x y) (* z t)) (* a b))
0.0b	(+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))
0.0b	(+ (* x y) (* z t))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-log-exp`
10×	`sum-log`
3×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `flip3-+` `add-cbrt-cube` `flip-+`
2×	`associate-+l+`

Counts

3 → 38

Calls

3 calls:

5.0ms	(+ (+ (* x y) (* z t)) (* a b))
8.0ms	(+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))
3.0ms	(+ (* x y) (* z t))

series132.0ms

Counts

3 → 9

Calls

3 calls:

20.0ms	(+ (+ (* x y) (* z t)) (* a b))
98.0ms	(+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))
14.0ms	(+ (* x y) (* z t))

simplify34.0ms

Algorithm

egg-herbie

Counts

47 → 47

Iterations

Useful iterations: 1 (7.0ms)

Iter	Nodes	Cost
0	276	348
1	1151	333
2	5001	333

prune53.0ms

Filtered

37 candidates to 47 candidates (-27.0%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	46	1	47
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	46	2	48

Merged error: 0.0b

Counts

48 → 2

localize16.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* a b) (* a b))
0.3b	(* (+ (* x y) (* z t)) (+ (* x y) (* z t)))
2.3b	(- (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (* (* a b) (* a b)))
29.9b	(/ (- (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (* (* a b) (* a b))) (- (+ (* x y) (* z t)) (* a b)))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

50×	`pow1`
20×	`add-exp-log` `add-cbrt-cube`
19×	`add-sqr-sqrt`
18×	`pow-prod-down`
17×	`add-cube-cbrt` `*-un-lft-identity`
12×	`times-frac`
9×	`prod-exp` `cbrt-unprod`
6×	`flip3-+` `flip-+` `add-log-exp`
5×	`pow-sqr` `pow-prod-up` `difference-of-squares`
4×	`frac-times` `swap-sqr` `associate-r` `associate-l` `associate-/l*`
3×	`flip3--` `pow-plus` `associate-/r*` `flip--`
2×	`pow2` `distribute-rgt-in` `distribute-lft-in` `associate-r/` `associate-l/` `associate--l+` `associate-/r/` `*-commutative` `associate-/l/`
1×	`cbrt-undiv` `sub-neg` `frac-2neg` `diff-log` `div-sub` `div-exp` `clear-num` `div-inv` `unswap-sqr`

Counts

4 → 120

Calls

4 calls:

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

series271.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(* (* a b) (* a b))
15.0ms	(* (+ (* x y) (* z t)) (+ (* x y) (* z t)))
151.0ms	(- (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (* (* a b) (* a b)))
98.0ms	(/ (- (* (+ (* x y) (* z t)) (+ (* x y) (* z t))) (* (* a b) (* a b))) (- (+ (* x y) (* z t)) (* a b)))

simplify109.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 2 (93.0ms)

Iter	Nodes	Cost
0	565	1612
1	3148	1411
2	5001	1359

prune125.0ms

Filtered

82 candidates to 132 candidates (-61.0%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	130	2	132
Fresh	0	0	0
Picked	1	0	1
Done	0	1	1
Total	131	3	134

Merged error: 0.0b

Counts

134 → 3

localize21.0ms

Local error

Found 4 expressions with local error:

0.6b	(* (cbrt (- (+ (* x y) (* z t)) (* a b))) (cbrt (- (+ (* x y) (* z t)) (* a b))))
0.8b	(cbrt (- (+ (* x y) (* z t)) (* a b)))
0.8b	(cbrt (- (+ (* x y) (* z t)) (* a b)))
0.8b	(cbrt (- (+ (* x y) (* z t)) (* a b)))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`flip3--` `pow1/3` `flip--`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 87

Calls

4 calls:

13.0ms	(* (cbrt (- (+ (* x y) (* z t)) (* a b))) (cbrt (- (+ (* x y) (* z t)) (* a b))))
5.0ms	(cbrt (- (+ (* x y) (* z t)) (* a b)))
5.0ms	(cbrt (- (+ (* x y) (* z t)) (* a b)))
7.0ms	(cbrt (- (+ (* x y) (* z t)) (* a b)))

series259.0ms

Counts

4 → 12

Calls

4 calls:

95.0ms	(* (cbrt (- (+ (* x y) (* z t)) (* a b))) (cbrt (- (+ (* x y) (* z t)) (* a b))))
56.0ms	(cbrt (- (+ (* x y) (* z t)) (* a b)))
56.0ms	(cbrt (- (+ (* x y) (* z t)) (* a b)))
53.0ms	(cbrt (- (+ (* x y) (* z t)) (* a b)))

simplify42.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 2 (30.0ms)

Iter	Nodes	Cost
0	310	1441
1	1131	1347
2	5001	1251

prune113.0ms

Filtered

75 candidates to 99 candidates (-32.0%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	99	0	99
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	99	3	102

Merged error: 0.0b

Counts

102 → 3

localize18.0ms

Local error

Found 4 expressions with local error:

2.2b	(* (+ (* x y) (* z t)) (* x y))
2.3b	(* (* z t) (+ (* x y) (* z t)))
2.4b	(+ (* (+ (* x y) (* z t)) (* x y)) (- (* (* z t) (+ (* x y) (* z t))) (* (* a b) (* a b))))
29.9b	(/ (+ (* (+ (* x y) (* z t)) (* x y)) (- (* (* z t) (+ (* x y) (* z t))) (* (* a b) (* a b)))) (- (+ (* x y) (* z t)) (* a b)))

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 99

Calls

4 calls:

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

series261.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(* (+ (* x y) (* z t)) (* x y))
13.0ms	(* (* z t) (+ (* x y) (* z t)))
150.0ms	(+ (* (+ (* x y) (* z t)) (* x y)) (- (* (* z t) (+ (* x y) (* z t))) (* (* a b) (* a b))))
83.0ms	(/ (+ (* (+ (* x y) (* z t)) (* x y)) (- (* (* z t) (+ (* x y) (* z t))) (* (* a b) (* a b)))) (- (+ (* x y) (* z t)) (* a b)))

simplify126.0ms

Algorithm

egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 2 (106.0ms)

Iter	Nodes	Cost
0	657	2108
1	3883	1868
2	5001	1860

prune104.0ms

Filtered

82 candidates to 111 candidates (-35.4%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	111	0	111
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	111	3	114

Merged error: 0.0b

Counts

114 → 3

regimes1.2s

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	7
1	22	7

end0.0ms

sample5.9s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 0%

Results

452.0ms	8000×	body	80	valid
336.0ms	5701×	body	80	invalid

Details

sample4.2s

simplify8.0ms

prune5.0ms

localize12.0ms

rewrite17.0ms

series132.0ms

simplify34.0ms

prune53.0ms

localize16.0ms

rewrite44.0ms

series271.0ms

simplify109.0ms

prune125.0ms

localize21.0ms

rewrite33.0ms

series259.0ms

simplify42.0ms

prune113.0ms

localize18.0ms

rewrite55.0ms

series261.0ms

simplify126.0ms

prune104.0ms

regimes1.2s

bsearch0.0ms

simplify1.0ms

end0.0ms

sample5.9s

Profiling