Details

sample3.1s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0.427246%

Guaranteed chance to sample good point: 33.639819%

Results

8.0ms	216×	body	80	valid
2.0ms	15×	body	640	valid
2.0ms	10×	body	1280	valid
1.0ms	29×	body	80	invalid
1.0ms	10×	body	160	valid
1.0ms	5×	body	320	valid

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

prune4.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: 14.0b

Counts

2 → 1

localize9.0ms

Local error

Found 2 expressions with local error:

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

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 48

Calls

2 calls:

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

series52.0ms

Counts

2 → 6

Calls

2 calls:

33.0ms	(- (+ x y) (/ (* (- z t) y) (- a t)))
19.0ms	(/ (* (- z t) y) (- a t))

simplify37.0ms

Algorithm

egg-herbie

Counts

54 → 54

Iterations

Useful iterations: 2 (32.0ms)

Iter	Nodes	Cost
0	333	376
1	1377	346
2	5001	344

prune95.0ms

Filtered

39 candidates to 54 candidates (-38.5%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	46	8	54
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	47	8	55

Merged error: 4.5b

Counts

55 → 8

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- a t) y)
2.8b	(- (+ x y) (/ (- z t) (/ (- a t) y)))
8.1b	(/ (- z t) (/ (- a t) y))

rewrite61.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)
34.0ms	(- (+ x y) (/ (- z t) (/ (- a t) y)))
11.0ms	(/ (- z t) (/ (- a t) y))

series61.0ms

Counts

3 → 9

Calls

3 calls:

6.0ms	(/ (- a t) y)
35.0ms	(- (+ x y) (/ (- z t) (/ (- a t) y)))
20.0ms	(/ (- z t) (/ (- a t) y))

simplify80.0ms

Algorithm

egg-herbie

Counts

206 → 206

Iterations

Useful iterations: 1 (18.0ms)

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

prune214.0ms

Filtered

137 candidates to 206 candidates (-50.4%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	197	9	206
Fresh	5	2	7
Picked	1	0	1
Done	0	0	0
Total	203	11	214

Merged error: 4.1b

Counts

214 → 11

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (- y (/ (- z t) (/ (- a t) y))))
0.0b	(/ (- a t) y)
4.7b	(- y (/ (- z t) (/ (- a t) y)))
8.1b	(/ (- z t) (/ (- a t) y))

rewrite85.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 211

Calls

4 calls:

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

series84.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(+ x (- y (/ (- z t) (/ (- a t) y))))
6.0ms	(/ (- a t) y)
22.0ms	(- y (/ (- z t) (/ (- a t) y)))
23.0ms	(/ (- z t) (/ (- a t) y))

simplify83.0ms

Algorithm

egg-herbie

Counts

223 → 223

Iterations

Useful iterations: 1 (19.0ms)

Iter	Nodes	Cost
0	842	1914
1	3172	1859
2	5001	1859

prune208.0ms

Filtered

150 candidates to 223 candidates (-48.7%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	219	4	223
Fresh	2	8	10
Picked	1	0	1
Done	0	0	0
Total	222	12	234

Merged error: 4.0b

Counts

234 → 12

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (* y (- 1 (/ (- z t) (- a t)))))
0.0b	(/ (- z t) (- a t))
1.7b	(* y (- 1 (/ (- z t) (- a t))))
2.5b	(- 1 (/ (- z t) (- a t)))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 118

Calls

4 calls:

3.0ms	(+ x (* y (- 1 (/ (- z t) (- a t)))))
8.0ms	(/ (- z t) (- a t))
16.0ms	(* y (- 1 (/ (- z t) (- a t))))
13.0ms	(- 1 (/ (- z t) (- a t)))

series83.0ms

Counts

4 → 12

Calls

4 calls:

32.0ms	(+ x (* y (- 1 (/ (- z t) (- a t)))))
9.0ms	(/ (- z t) (- a t))
27.0ms	(* y (- 1 (/ (- z t) (- a t))))
15.0ms	(- 1 (/ (- z t) (- a t)))

simplify48.0ms

Algorithm

egg-herbie

Counts

130 → 130

Iterations

Useful iterations: 1 (11.0ms)

Iter	Nodes	Cost
0	458	839
1	1643	793
2	5002	793

prune116.0ms

Filtered

90 candidates to 130 candidates (-44.4%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	124	6	130
Fresh	3	8	11
Picked	1	0	1
Done	0	0	0
Total	128	14	142

Merged error: 3.1b

Counts

142 → 14

regimes605.0ms

Accuracy

18.9% (5.7b remaining)

Error of 8.9b against oracle of 3.2b and baseline of 10.3b

bsearch42.0ms

Steps

Iters	Range		Point
4	8.895494157852582e-07	1.5137481446078287e-06	1.4492178043474947e-06
8	-21.251918180965703	-0.0056823736904919805	-20.88086951779244

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	40	23
1	40	23

end0.0ms

sample3.8s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0.427246%

Guaranteed chance to sample good point: 33.639819%

Results

282.0ms	6619×	body	80	valid
78.0ms	482×	body	640	valid
46.0ms	387×	body	320	valid
42.0ms	242×	body	1280	valid
27.0ms	711×	body	80	invalid
19.0ms	256×	body	160	valid
3.0ms	14×	body	2560	valid

Details

sample3.1s

simplify123.0ms

prune4.0ms

localize9.0ms

rewrite19.0ms

series52.0ms

simplify37.0ms

prune95.0ms

localize9.0ms

rewrite61.0ms

series61.0ms

simplify80.0ms

prune214.0ms

localize9.0ms

rewrite85.0ms

series84.0ms

simplify83.0ms

prune208.0ms

localize11.0ms

rewrite44.0ms

series83.0ms

simplify48.0ms

prune116.0ms

regimes605.0ms

bsearch42.0ms

simplify2.0ms

end0.0ms

sample3.8s

Profiling