Details

sample4.0s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 12.207031%

Results

13.0ms	256×	body	80	valid
8.0ms	157×	body	80	invalid

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

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

Counts

2 → 1

localize12.0ms

Local error

Found 2 expressions with local error:

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

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-log-exp`
4×	`sum-log`
2×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `flip3-+` `add-cbrt-cube` `flip-+`
1×	`associate-+l+`

Counts

2 → 24

Calls

2 calls:

3.0ms	(+ (* x y) (* z t))
6.0ms	(+ (+ (* x y) (* z t)) (* a b))

series28.0ms

Counts

2 → 6

Calls

2 calls:

9.0ms	(+ (* x y) (* z t))
19.0ms	(+ (+ (* x y) (* z t)) (* a b))

simplify82.0ms

Algorithm

egg-herbie

Counts

30 → 30

Iterations

Useful iterations: 2 (22.0ms)

Iter	Nodes	Cost
0	187	190
1	747	179
2	2644	177
3	5001	177

prune48.0ms

Filtered

24 candidates to 30 candidates (-25.0%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	28	2	30
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	28	3	31

Merged error: 0.0b

Counts

31 → 3

localize17.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (+ (* x y) (* z t))) (cbrt (+ (* x y) (* z t))))
1.2b	(cbrt (+ (* x y) (* z t)))
1.2b	(cbrt (+ (* x y) (* z t)))
1.2b	(cbrt (+ (* x y) (* z t)))

rewrite25.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))) (cbrt (+ (* x y) (* z t))))
3.0ms	(cbrt (+ (* x y) (* z t)))
3.0ms	(cbrt (+ (* x y) (* z t)))
3.0ms	(cbrt (+ (* x y) (* z t)))

series157.0ms

Counts

4 → 12

Calls

4 calls:

46.0ms	(* (cbrt (+ (* x y) (* z t))) (cbrt (+ (* x y) (* z t))))
39.0ms	(cbrt (+ (* x y) (* z t)))
36.0ms	(cbrt (+ (* x y) (* z t)))
37.0ms	(cbrt (+ (* x y) (* z t)))

simplify105.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 3 (94.0ms)

Iter	Nodes	Cost
0	315	1087
1	1067	1022
2	4322	952
3	5001	933

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

localize27.0ms

Local error

Found 4 expressions with local error:

0.9b	(* (+ (* t z) (* x y)) (- (+ (* x y) (* z t)) (* a b)))
1.2b	(+ (* (+ (* t z) (* x y)) (- (+ (* x y) (* z t)) (* a b))) (* (* a b) (* a b)))
5.0b	(+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3))
38.1b	(/ (+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3)) (+ (* (+ (* t z) (* x y)) (- (+ (* x y) (* z t)) (* a b))) (* (* a b) (* a b))))

rewrite60.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 101

Calls

4 calls:

10.0ms	(* (+ (* t z) (* x y)) (- (+ (* x y) (* z t)) (* a b)))
12.0ms	(+ (* (+ (* t z) (* x y)) (- (+ (* x y) (* z t)) (* a b))) (* (* a b) (* a b)))
11.0ms	(+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3))
23.0ms	(/ (+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3)) (+ (* (+ (* t z) (* x y)) (- (+ (* x y) (* z t)) (* a b))) (* (* a b) (* a b))))

series2.5s

Counts

4 → 12

Calls

4 calls:

53.0ms	(* (+ (* t z) (* x y)) (- (+ (* x y) (* z t)) (* a b)))
193.0ms	(+ (* (+ (* t z) (* x y)) (- (+ (* x y) (* z t)) (* a b))) (* (* a b) (* a b)))
2.1s	(+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3))
207.0ms	(/ (+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3)) (+ (* (+ (* t z) (* x y)) (- (+ (* x y) (* z t)) (* a b))) (* (* a b) (* a b))))

simplify120.0ms

Algorithm

egg-herbie

Counts

113 → 113

Iterations

Useful iterations: 2 (98.0ms)

Iter	Nodes	Cost
0	620	2309
1	3315	2141
2	5001	2136

prune179.0ms

Filtered

85 candidates to 113 candidates (-32.9%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	112	1	113
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	112	4	116

Merged error: 0b

Counts

116 → 4

localize37.0ms

Local error

Found 4 expressions with local error:

9.9b	(* (* (+ (* t z) (* x y)) (- (+ (* x y) (* z t)) (* a b))) (* (* a b) (* a b)))
12.5b	(- (* (* (* a b) (* a b)) (* (* a b) (* a b))) (* (* (+ (* t z) (* x y)) (- (+ (* x y) (* z t)) (* a b))) (* (* a b) (* a b))))
45.6b	(* (/ (+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3)) (+ (pow (* a b) 6) (pow (* (+ (* t z) (* x y)) (- (+ (* x y) (* z t)) (* a b))) 3))) (+ (* (* (+ (* t z) (* x y)) (- (+ (* x y) (* z t)) (* a b))) (* (+ (* t z) (* x y)) (- (+ (* x y) (* z t)) (* a b)))) (- (* (* (* a b) (* a b)) (* (* a b) (* a b))) (* (* (+ (* t z) (* x y)) (- (+ (* x y) (* z t)) (* a b))) (* (* a b) (* a b))))))
51.2b	(/ (+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3)) (+ (pow (* a b) 6) (pow (* (+ (* t z) (* x y)) (- (+ (* x y) (* z t)) (* a b))) 3)))

rewrite244.0ms

Algorithm

rewrite-expression-head

Rules

710×	`frac-times`
380×	`flip3--` `flip--`
340×	`associate-*r/`
320×	`frac-add`
224×	`flip3-+` `flip-+`
187×	`associate-*l/`
66×	`*-un-lft-identity`
52×	`add-exp-log` `add-cbrt-cube`
47×	`pow1`
41×	`times-frac`
33×	`prod-exp` `cbrt-unprod`
32×	`pow-prod-down`
31×	`add-sqr-sqrt`
27×	`associate-l`
26×	`add-cube-cbrt`
20×	`distribute-lft-out`
9×	`sum-cubes`
6×	`add-log-exp`
5×	`associate-/l*`
4×	`associate-r` `associate-/r*` `associate-/r/`
2×	`cbrt-undiv` `div-exp` `*-commutative` `div-inv` `associate-/l/` `unswap-sqr`
1×	`distribute-rgt-in` `sub-neg` `distribute-rgt-out--` `frac-2neg` `distribute-lft-in` `diff-log` `clear-num`

Counts

4 → 477

Calls

4 calls:

24.0ms	(* (* (+ (* t z) (* x y)) (- (+ (* x y) (* z t)) (* a b))) (* (* a b) (* a b)))
30.0ms	(- (* (* (* a b) (* a b)) (* (* a b) (* a b))) (* (* (+ (* t z) (* x y)) (- (+ (* x y) (* z t)) (* a b))) (* (* a b) (* a b))))
106.0ms	(* (/ (+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3)) (+ (pow (* a b) 6) (pow (* (+ (* t z) (* x y)) (- (+ (* x y) (* z t)) (* a b))) 3))) (+ (* (* (+ (* t z) (* x y)) (- (+ (* x y) (* z t)) (* a b))) (* (+ (* t z) (* x y)) (- (+ (* x y) (* z t)) (* a b)))) (- (* (* (* a b) (* a b)) (* (* a b) (* a b))) (* (* (+ (* t z) (* x y)) (- (+ (* x y) (* z t)) (* a b))) (* (* a b) (* a b))))))
18.0ms	(/ (+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3)) (+ (pow (* a b) 6) (pow (* (+ (* t z) (* x y)) (- (+ (* x y) (* z t)) (* a b))) 3)))

series3.8s

Counts

4 → 12

Calls

4 calls:

147.0ms	(* (* (+ (* t z) (* x y)) (- (+ (* x y) (* z t)) (* a b))) (* (* a b) (* a b)))
296.0ms	(- (* (* (* a b) (* a b)) (* (* a b) (* a b))) (* (* (+ (* t z) (* x y)) (- (+ (* x y) (* z t)) (* a b))) (* (* a b) (* a b))))
2.2s	(* (/ (+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3)) (+ (pow (* a b) 6) (pow (* (+ (* t z) (* x y)) (- (+ (* x y) (* z t)) (* a b))) 3))) (+ (* (* (+ (* t z) (* x y)) (- (+ (* x y) (* z t)) (* a b))) (* (+ (* t z) (* x y)) (- (+ (* x y) (* z t)) (* a b)))) (- (* (* (* a b) (* a b)) (* (* a b) (* a b))) (* (* (+ (* t z) (* x y)) (- (+ (* x y) (* z t)) (* a b))) (* (* a b) (* a b))))))
1.2s	(/ (+ (pow (+ (* x y) (* z t)) 3) (pow (* a b) 3)) (+ (pow (* a b) 6) (pow (* (+ (* t z) (* x y)) (- (+ (* x y) (* z t)) (* a b))) 3)))

simplify543.0ms

Algorithm

egg-herbie

Counts

489 → 489

Iterations

Useful iterations: 0 (23.0ms)

Iter	Nodes	Cost
0	5001	67911

prune2.3s

Filtered

427 candidates to 489 candidates (-14.5%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	489	0	489
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	489	4	493

Merged error: 0b

Counts

493 → 4

regimes1.4s

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.6s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 12.207031%

Results

477.0ms	8000×	body	80	valid
292.0ms	5508×	body	80	invalid

Details

sample4.0s

simplify10.0ms

prune6.0ms

localize12.0ms

rewrite10.0ms

series28.0ms

simplify82.0ms

prune48.0ms

localize17.0ms

rewrite25.0ms

series157.0ms

simplify105.0ms

prune111.0ms

localize27.0ms

rewrite60.0ms

series2.5s

simplify120.0ms

prune179.0ms

localize37.0ms

rewrite244.0ms

series3.8s

simplify543.0ms

prune2.3s

regimes1.4s

bsearch0.0ms

simplify1.0ms

end0.0ms

sample5.6s

Profiling