Details

sample2.7s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0.537109%

Guaranteed chance to sample good point: 39.865611%

Results

8.0ms	206×	body	80	valid
3.0ms	18×	body	640	valid
3.0ms	14×	body	1280	valid
1.0ms	12×	body	320	valid
1.0ms	29×	body	80	invalid
0.0ms	6×	body	160	valid

simplify127.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	22	6
1	52	6
2	109	6
3	195	6
4	445	6
5	828	6
6	1434	6
7	2520	6
8	4830	6
9	5001	6

prune8.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: 16.6b

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (- z t) y)
2.0b	(- (+ x y) (/ (* (- z t) y) (- a t)))
10.2b	(/ (* (- z t) y) (- a t))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 70

Calls

3 calls:

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

series59.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify46.0ms

Algorithm

egg-herbie

Counts

79 → 79

Iterations

Useful iterations: 1 (10.0ms)

Iter	Nodes	Cost
0	383	461
1	1704	422
2	5001	422

prune129.0ms

Filtered

56 candidates to 79 candidates (-41.1%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	67	12	79
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	68	12	80

Merged error: 4.8b

Counts

80 → 12

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ y (- a t))
2.7b	(- (+ x y) (* (- z t) (/ y (- a t))))
10.4b	(* (- z t) (/ y (- a t)))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

44×	`add-sqr-sqrt`
39×	`*-un-lft-identity`
31×	`times-frac`
23×	`add-cube-cbrt`
21×	`associate-r`
10×	`add-exp-log` `frac-sub` `add-cbrt-cube`
9×	`flip3--` `flip--`
8×	`distribute-lft-out--` `add-log-exp` `difference-of-squares`
6×	`frac-times` `associate-*l/`
5×	`pow1` `flip3-+` `associate-l` `associate-/r*` `flip-+`
4×	`associate-/r/`
3×	`associate-r/` `associate-/l`
2×	`cbrt-undiv` `diff-log` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `unswap-sqr`
1×	`sub-neg` `frac-2neg` `pow-prod-down` `associate--l+` `clear-num` `sum-log` `*-commutative`

Counts

3 → 107

Calls

3 calls:

7.0ms	(/ y (- a t))
6.0ms	(- (+ x y) (* (- z t) (/ y (- a t))))
12.0ms	(* (- z t) (/ y (- a t)))

series57.0ms

Counts

3 → 9

Calls

3 calls:

7.0ms	(/ y (- a t))
35.0ms	(- (+ x y) (* (- z t) (/ y (- a t))))
15.0ms	(* (- z t) (/ y (- a t)))

simplify65.0ms

Algorithm

egg-herbie

Counts

116 → 116

Iterations

Useful iterations: 1 (13.0ms)

Iter	Nodes	Cost
0	559	844
1	2676	803
2	5001	803

prune139.0ms

Filtered

83 candidates to 116 candidates (-39.8%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	111	5	116
Fresh	7	4	11
Picked	1	0	1
Done	0	0	0
Total	119	9	128

Merged error: 4.7b

Counts

128 → 9

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ 1 (- a t))
0.2b	(* y (/ 1 (- a t)))
3.9b	(- (+ x y) (* (- z t) (* y (/ 1 (- a t)))))
10.4b	(* (- z t) (* y (/ 1 (- a t))))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

48×	`add-sqr-sqrt`
42×	`*-un-lft-identity`
32×	`add-exp-log` `times-frac`
25×	`add-cube-cbrt`
22×	`associate-r`
20×	`add-cbrt-cube`
16×	`associate-*r/` `frac-sub`
13×	`prod-exp`
12×	`pow1` `frac-times` `flip3--` `flip--`
10×	`un-div-inv`
9×	`add-log-exp`
8×	`flip3-+` `associate-l` `flip-+` `distribute-lft-out--` `difference-of-squares`
7×	`cbrt-unprod`
6×	`div-exp` `associate-*l/`
5×	`associate-/r*`
4×	`pow-prod-down` `associate-/r/`
3×	`cbrt-undiv` `rec-exp` `1-exp` `associate-/l*` `unswap-sqr`
2×	`diff-log` `*-commutative` `div-inv`
1×	`sub-neg` `pow-flip` `frac-2neg` `associate--l+` `clear-num` `sum-log` `inv-pow`

Counts

4 → 147

Calls

4 calls:

7.0ms	(/ 1 (- a t))
10.0ms	(* y (/ 1 (- a t)))
7.0ms	(- (+ x y) (* (- z t) (* y (/ 1 (- a t)))))
12.0ms	(* (- z t) (* y (/ 1 (- a t))))

series60.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(/ 1 (- a t))
7.0ms	(* y (/ 1 (- a t)))
34.0ms	(- (+ x y) (* (- z t) (* y (/ 1 (- a t)))))
15.0ms	(* (- z t) (* y (/ 1 (- a t))))

simplify80.0ms

Algorithm

egg-herbie

Counts

159 → 159

Iterations

Useful iterations: 2 (65.0ms)

Iter	Nodes	Cost
0	676	1149
1	3060	1038
2	5002	989

prune146.0ms

Filtered

91 candidates to 159 candidates (-74.7%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	158	1	159
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	158	10	168

Merged error: 4.7b

Counts

168 → 10

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- a t) y)
2.4b	(- (+ x y) (/ (- z t) (/ (- a t) y)))
10.8b	(/ (- z t) (/ (- a t) y))

rewrite62.0ms

Algorithm

rewrite-expression-head

Rules

203×	`times-frac`
180×	`add-sqr-sqrt`
176×	`*-un-lft-identity`
87×	`add-cube-cbrt`
45×	`difference-of-squares`
44×	`distribute-lft-out--`
22×	`associate-/r*`
10×	`add-exp-log` `add-cbrt-cube` `associate-/l*`
8×	`div-inv` `add-log-exp`
4×	`cbrt-undiv` `div-exp` `associate-/l/`
3×	`pow1` `flip3--` `div-sub` `flip--`
2×	`frac-2neg` `diff-log` `clear-num` `frac-sub`
1×	`sub-neg` `flip3-+` `associate--l+` `sum-log` `associate-/r/` `flip-+` `distribute-lft-out` `associate--r-`

Counts

3 → 197

Calls

3 calls:

5.0ms	(/ (- a t) y)
36.0ms	(- (+ x y) (/ (- z t) (/ (- a t) y)))
11.0ms	(/ (- z t) (/ (- a t) y))

series66.0ms

Counts

3 → 9

Calls

3 calls:

6.0ms	(/ (- a t) y)
34.0ms	(- (+ x y) (/ (- z t) (/ (- a t) y)))
26.0ms	(/ (- z t) (/ (- a t) y))

simplify78.0ms

Algorithm

egg-herbie

Counts

206 → 206

Iterations

Useful iterations: 1 (17.0ms)

Iter	Nodes	Cost
0	853	1851
1	3326	1798
2	5001	1798

prune143.0ms

Filtered

138 candidates to 206 candidates (-49.3%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	204	2	206
Fresh	2	6	8
Picked	1	0	1
Done	0	1	1
Total	207	9	216

Merged error: 4.7b

Counts

216 → 9

regimes517.0ms

Accuracy

10.8% (7.0b remaining)

Error of 11.0b against oracle of 4.0b and baseline of 11.9b

bsearch119.0ms

Steps

Iters	Range		Point
10	1.7534870261075048e+100	6.314606402307231e+112	5.620123685982079e+109
10	-3.2613902230307535e+159	-3.2465549252264538e+143	-5.141659554066352e+146

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	27	9
1	27	9

end0.0ms

sample3.8s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0.537109%

Guaranteed chance to sample good point: 39.865611%

Results

294.0ms	6649×	body	80	valid
70.0ms	472×	body	640	valid
53.0ms	264×	body	1280	valid
46.0ms	371×	body	320	valid
28.0ms	688×	body	80	invalid
18.0ms	230×	body	160	valid
3.0ms	14×	body	2560	valid

Details

sample2.7s

simplify127.0ms

prune8.0ms

localize9.0ms

rewrite27.0ms

series59.0ms

simplify46.0ms

prune129.0ms

localize9.0ms

rewrite30.0ms

series57.0ms

simplify65.0ms

prune139.0ms

localize10.0ms

rewrite42.0ms

series60.0ms

simplify80.0ms

prune146.0ms

localize9.0ms

rewrite62.0ms

series66.0ms

simplify78.0ms

prune143.0ms

regimes517.0ms

bsearch119.0ms

simplify2.0ms

end0.0ms

sample3.8s

Profiling