Details

sample6.5s

Algorithm

intervals

sampling

Space saved by range analysis: 9.420796%

Space saved by search: 0.097632%

Guaranteed chance to sample good point: 0%

Results

52.0ms	221×	body	80	valid
43.0ms	201×	body	80	invalid
12.0ms	15×	body	640	valid
11.0ms	10×	body	1280	valid
3.0ms	5×	body	320	valid
2.0ms	5×	body	160	valid

simplify413.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 2 (11.0ms)

Iter	Nodes	Cost
0	103	63
1	372	62
2	1914	61
3	5002	61

prune16.0ms

Filtered

1 candidates to 1 candidates (0.0%)

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.5b

Counts

2 → 2

localize51.0ms

Local error

Found 4 expressions with local error:

4.2b	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
4.4b	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
4.9b	(* (* x1 x1) (+ x1 (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))
5.0b	(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

rewrite83.0ms

Algorithm

rewrite-expression-head

Rules

24×	`associate-*r/`
14×	`pow1` `add-exp-log` `add-cbrt-cube`
13×	`add-sqr-sqrt`
11×	`flip3--` `flip--`
10×	`frac-add`
8×	`*-un-lft-identity` `add-log-exp`
7×	`distribute-rgt-in` `sub-neg` `distribute-lft-in`
6×	`add-cube-cbrt` `associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`frac-times` `associate-+l+` `associate-+r+`
2×	`flip3-+` `associate-l` `associate-l/` `-commutative` `flip-+` `difference-of-squares` `unswap-sqr`
1×	`+-commutative` `associate--l-` `times-frac` `diff-log` `div-sub` `sum-log` `distribute-lft-out--`

Counts

4 → 93

Calls

4 calls:

20.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
32.0ms	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
6.0ms	(* (* x1 x1) (+ x1 (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))
19.0ms	(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

series120.0ms

Counts

4 → 12

Calls

4 calls:

14.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
67.0ms	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
16.0ms	(* (* x1 x1) (+ x1 (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))
23.0ms	(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

simplify147.0ms

Algorithm

egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 1 (22.0ms)

Iter	Nodes	Cost
0	881	3131
1	4895	2921
2	5001	2921

prune623.0ms

Filtered

77 candidates to 105 candidates (-36.4%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	93	12	105
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	94	13	107

Merged error: 0.4b

Counts

107 → 13

localize38.0ms

Local error

Found 4 expressions with local error:

4.2b	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
4.4b	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
5.0b	(* (* x1 x1) (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0))
5.0b	(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

rewrite87.0ms

Algorithm

rewrite-expression-head

Rules

30×	`add-exp-log` `add-cbrt-cube`
23×	`associate-*r/`
21×	`pow1`
16×	`prod-exp` `cbrt-unprod`
11×	`add-sqr-sqrt` `flip3--` `pow-prod-down` `flip--`
10×	`frac-add`
8×	`add-log-exp`
7×	`sub-neg` `*-un-lft-identity`
6×	`distribute-rgt-in` `distribute-lft-in`
5×	`add-cube-cbrt`
4×	`frac-times` `associate-+l+` `associate-+r+` `associate-r`
3×	`associate-*l/`
2×	`cbrt-undiv` `div-exp` `associate-l` `*-commutative` `difference-of-squares`
1×	`+-commutative` `associate--l-` `flip3-+` `times-frac` `diff-log` `div-sub` `sum-log` `flip-+` `distribute-lft-out--` `unswap-sqr`

Counts

4 → 97

Calls

4 calls:

16.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
32.0ms	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
16.0ms	(* (* x1 x1) (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0))
18.0ms	(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

series107.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
64.0ms	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
10.0ms	(* (* x1 x1) (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0))
18.0ms	(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

simplify51.0ms

Algorithm

egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 1 (25.0ms)

Iter	Nodes	Cost
0	921	3172
1	5001	2925

prune633.0ms

Filtered

72 candidates to 109 candidates (-51.4%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	109	0	109
Fresh	0	12	12
Picked	0	1	1
Done	0	0	0
Total	109	13	122

Merged error: 0.4b

Counts

122 → 13

localize35.0ms

Local error

Found 4 expressions with local error:

4.2b	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
4.4b	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
5.0b	(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))
5.0b	(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))

rewrite93.0ms

Algorithm

rewrite-expression-head

Rules

30×	`add-exp-log` `add-cbrt-cube`
26×	`add-sqr-sqrt`
24×	`associate-r`
23×	`associate-*r/`
22×	`*-un-lft-identity`
18×	`pow1`
16×	`times-frac`
15×	`prod-exp` `cbrt-unprod`
14×	`add-cube-cbrt`
11×	`flip3--` `flip--`
10×	`frac-add`
9×	`pow-prod-down`
8×	`add-log-exp`
7×	`sub-neg`
6×	`distribute-rgt-in` `distribute-lft-in`
5×	`difference-of-squares`
4×	`frac-times` `associate-+l+` `associate-+r+` `distribute-lft-out--`
3×	`cbrt-undiv` `div-exp`
2×	`flip3-+` `associate-l` `associate-l/` `associate-/r/` `-commutative` `flip-+`
1×	`+-commutative` `associate--l-` `diff-log` `div-sub` `sum-log` `div-inv` `unswap-sqr`

Counts

4 → 116

Calls

4 calls:

17.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
34.0ms	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
19.0ms	(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))
17.0ms	(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))

series105.0ms

Counts

4 → 12

Calls

4 calls:

14.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
63.0ms	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
18.0ms	(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))
10.0ms	(* (* (* 3.0 x1) x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)))

simplify56.0ms

Algorithm

egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 1 (25.0ms)

Iter	Nodes	Cost
0	1073	3381
1	5001	3157

prune812.0ms

Filtered

89 candidates to 128 candidates (-43.8%)

Pruning

14 alts after pruning (12 fresh and 2 done)

	Pruned	Kept	Total
New	127	1	128
Fresh	0	11	11
Picked	0	1	1
Done	0	1	1
Total	127	14	141

Merged error: 0.4b

Counts

141 → 14

localize47.0ms

Local error

Found 4 expressions with local error:

4.2b	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
4.4b	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* (* (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0))) (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
4.9b	(* (* x1 x1) (+ x1 (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))
5.0b	(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

rewrite149.0ms

Algorithm

rewrite-expression-head

Rules

248×	`associate-*r/`
216×	`cbrt-div`
164×	`frac-times`
163×	`flip3--` `flip--`
106×	`frac-add`
58×	`associate-*l/`
14×	`pow1` `add-exp-log` `add-cbrt-cube`
13×	`add-sqr-sqrt`
8×	`*-un-lft-identity` `add-log-exp`
6×	`add-cube-cbrt` `associate-r` `pow-prod-down` `prod-exp` `cbrt-unprod`
5×	`distribute-rgt-in` `sub-neg` `distribute-lft-in`
4×	`associate-+r+`
2×	`flip3-+` `associate-l` `*-commutative` `flip-+` `difference-of-squares` `unswap-sqr`
1×	`+-commutative` `associate--l-` `times-frac` `diff-log` `div-sub` `sum-log` `distribute-lft-out--`

Counts

4 → 185

Calls

4 calls:

17.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
83.0ms	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* (* (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0))) (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
7.0ms	(* (* x1 x1) (+ x1 (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))
17.0ms	(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

series111.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
67.0ms	(+ (* (* (* 2.0 x1) (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) (* (* (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)) (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0))) (cbrt (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
16.0ms	(* (* x1 x1) (+ x1 (* (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)))
15.0ms	(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))

simplify230.0ms

Algorithm

egg-herbie

Counts

197 → 197

Iterations

Useful iterations: 1 (44.0ms)

Iter	Nodes	Cost
0	2994	23995
1	5001	23756

prune2.3s

Filtered

104 candidates to 197 candidates (-89.4%)

Pruning

15 alts after pruning (12 fresh and 3 done)

	Pruned	Kept	Total
New	196	1	197
Fresh	0	11	11
Picked	0	1	1
Done	0	2	2
Total	196	15	211

Merged error: 0.4b

Counts

211 → 15

regimes598.0ms

Accuracy

0% (0.1b remaining)

Error of 0.5b against oracle of 0.4b and baseline of 0.5b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	57	62
1	57	62

end0.0ms

sample9.7s

Algorithm

intervals

sampling

Space saved by range analysis: 9.420796%

Space saved by search: 0.097632%

Guaranteed chance to sample good point: 0%

Results

1.5s	6919×	body	80	valid
1.2s	5714×	body	80	invalid
336.0ms	403×	body	640	valid
202.0ms	321×	body	320	valid
198.0ms	186×	body	1280	valid
71.0ms	171×	body	160	valid

Details

sample6.5s

simplify413.0ms

prune16.0ms

localize51.0ms

rewrite83.0ms

series120.0ms

simplify147.0ms

prune623.0ms

localize38.0ms

rewrite87.0ms

series107.0ms

simplify51.0ms

prune633.0ms

localize35.0ms

rewrite93.0ms

series105.0ms

simplify56.0ms

prune812.0ms

localize47.0ms

rewrite149.0ms

series111.0ms

simplify230.0ms

prune2.3s

regimes598.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample9.7s

Profiling