Details

sample28.0ms

Algorithm

intervals

Results

9.0ms	241×	body	80	valid
2.0ms	12×	body	1280	valid
2.0ms	11×	body	640	valid
1.0ms	13×	body	320	valid
0.0ms	6×	body	160	valid
0.0ms	1×	body	2560	valid

simplify117.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.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

prune3.0ms

Filtered

1 candidates to 0 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: 16.1b

Counts

2 → 1

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (- z t) y)
1.3b	(- (+ x y) (/ (* (- z t) y) (- a t)))
11.6b	(/ (* (- z t) y) (- a t))

rewrite26.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)
10.0ms	(- (+ x y) (/ (* (- z t) y) (- a t)))
9.0ms	(/ (* (- z t) y) (- a t))

series198.0ms

Counts

3 → 9

Calls

3 calls:

30.0ms	(* (- z t) y)
106.0ms	(- (+ x y) (/ (* (- z t) y) (- a t)))
62.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

prune209.0ms

Filtered

79 candidates to 56 candidates (70.9%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	69	10	79
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	70	10	80

Merged error: 2.9b

Counts

80 → 10

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- a t) y)
2.5b	(- (+ x y) (/ (- z t) (/ (- a t) y)))
10.5b	(/ (- z t) (/ (- a t) y))

rewrite63.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:

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

series237.0ms

Counts

3 → 9

Calls

3 calls:

25.0ms	(/ (- a t) y)
113.0ms	(- (+ x y) (/ (- z t) (/ (- a t) y)))
98.0ms	(/ (- z t) (/ (- a t) y))

simplify85.0ms

Algorithm

egg-herbie

Counts

206 → 206

Iterations

Useful iterations: 1 (21.0ms)

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

prune426.0ms

Filtered

206 candidates to 137 candidates (66.5%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	201	5	206
Fresh	5	4	9
Picked	1	0	1
Done	0	0	0
Total	207	9	216

Merged error: 2.9b

Counts

216 → 9

localize20.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (- a t))
0.6b	(cbrt (- a t))
2.5b	(- (+ x y) (* (/ (cbrt (- z t)) (/ (* (cbrt (- a t)) (cbrt (- a t))) (cbrt (- z t)))) (/ (cbrt (- z t)) (/ (cbrt (- a t)) y))))
3.2b	(/ (cbrt (- z t)) (/ (cbrt (- a t)) y))

rewrite54.0ms

Algorithm

rewrite-expression-head

Rules

440×	`times-frac`
315×	`add-sqr-sqrt` `*-un-lft-identity`
290×	`cbrt-prod`
199×	`add-cube-cbrt`
58×	`distribute-lft-out--` `difference-of-squares`
28×	`associate-/r*`
10×	`div-inv`
9×	`add-exp-log` `add-log-exp`
8×	`associate-/l*`
6×	`cbrt-div` `frac-sub` `add-cbrt-cube`
4×	`pow1` `flip3--` `flip--`
3×	`cbrt-undiv` `flip3-+` `div-exp` `flip-+`
2×	`frac-times` `pow1/3` `diff-log` `associate-r/` `associate-l/` `associate-/l/`
1×	`sub-neg` `frac-2neg` `associate--l+` `clear-num` `sum-log` `associate-/r/`

Counts

4 → 327

Calls

4 calls:

3.0ms	(cbrt (- a t))
3.0ms	(cbrt (- a t))
6.0ms	(- (+ x y) (* (/ (cbrt (- z t)) (/ (* (cbrt (- a t)) (cbrt (- a t))) (cbrt (- z t)))) (/ (cbrt (- z t)) (/ (cbrt (- a t)) y))))
19.0ms	(/ (cbrt (- z t)) (/ (cbrt (- a t)) y))

series1.5s

Counts

4 → 12

Calls

4 calls:

154.0ms	(cbrt (- a t))
151.0ms	(cbrt (- a t))
115.0ms	(- (+ x y) (* (/ (cbrt (- z t)) (/ (* (cbrt (- a t)) (cbrt (- a t))) (cbrt (- z t)))) (/ (cbrt (- z t)) (/ (cbrt (- a t)) y))))
1.1s	(/ (cbrt (- z t)) (/ (cbrt (- a t)) y))

simplify83.0ms

Algorithm

egg-herbie

Counts

339 → 339

Iterations

Useful iterations: 1 (31.0ms)

Iter	Nodes	Cost
0	1248	5092
1	5001	4948

prune1.3s

Filtered

339 candidates to 263 candidates (77.6%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	337	2	339
Fresh	2	6	8
Picked	0	1	1
Done	0	0	0
Total	339	9	348

Merged error: 2.9b

Counts

348 → 9

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- z t) (- a t))
1.3b	(- (+ x y) (* (/ (- z t) (- a t)) y))
1.5b	(* (/ (- z t) (- a t)) y)

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 118

Calls

3 calls:

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

series258.0ms

Counts

3 → 9

Calls

3 calls:

46.0ms	(/ (- z t) (- a t))
115.0ms	(- (+ x y) (* (/ (- z t) (- a t)) y))
98.0ms	(* (/ (- z t) (- a t)) y)

simplify50.0ms

Algorithm

egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 2 (40.0ms)

Iter	Nodes	Cost
0	486	823
1	1640	780
2	5001	778

prune238.0ms

Filtered

127 candidates to 86 candidates (67.7%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	127	0	127
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	127	9	136

Merged error: 2.9b

Counts

136 → 9

regimes242.0ms

Accuracy

19.9% (5.5b remaining)

Error of 9.4b against oracle of 3.9b and baseline of 10.8b

bsearch110.0ms

Steps

Iters	Range		Point
9	2.2731438685867902e+238	6.569625924872276e+243	6.379894795223185e+241
8	-1.716568031486747e+157	-1.594068837898572e+153	-1.127240979295603e+156

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	33	23
1	33	23

end0.0ms

sample759.0ms

Algorithm

intervals

Results

302.0ms	7388×	body	80	valid
67.0ms	429×	body	640	valid
47.0ms	257×	body	1280	valid
44.0ms	397×	body	320	valid
24.0ms	263×	body	160	valid
1.0ms	6×	body	2560	valid

Details

sample28.0ms

simplify117.0ms

prune3.0ms

localize11.0ms

rewrite26.0ms

series198.0ms

simplify46.0ms

prune209.0ms

localize10.0ms

rewrite63.0ms

series237.0ms

simplify85.0ms

prune426.0ms

localize20.0ms

rewrite54.0ms

series1.5s

simplify83.0ms

prune1.3s

localize10.0ms

rewrite30.0ms

series258.0ms

simplify50.0ms

prune238.0ms

regimes242.0ms

bsearch110.0ms

simplify1.0ms

end0.0ms

sample759.0ms

Profiling