Details

sample1.6s

Algorithm

intervals

sampling

Space saved by range analysis: 0.999261%

Space saved by search: 0.195169%

Guaranteed chance to sample good point: 0%

Results

9.0ms	256×	body	80	valid
1.0ms	25×	body	80	invalid

simplify16.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	19	4
1	44	4
2	82	4
3	132	4
4	175	4
5	208	4
6	221	4
7	221	4

prune10.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: 5.6b

Counts

2 → 2

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(* z (- y t))
5.4b	(/ x (/ (* z (- y t)) 2.0))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

33×	`times-frac`
24×	`add-sqr-sqrt`
22×	`*-un-lft-identity`
20×	`add-cube-cbrt`
13×	`add-exp-log` `add-cbrt-cube`
7×	`associate-/r*`
5×	`cbrt-undiv` `div-exp` `associate-r` `div-inv`
4×	`pow1`
3×	`associate-l` `associate-/l*`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/` `prod-exp` `cbrt-unprod` `add-log-exp`
1×	`flip3--` `frac-2neg` `pow-prod-down` `clear-num` `associate-/r/` `*-commutative` `flip--` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

2 → 74

Calls

2 calls:

6.0ms	(* z (- y t))
7.0ms	(/ x (/ (* z (- y t)) 2.0))

series22.0ms

Counts

2 → 6

Calls

2 calls:

11.0ms	(* z (- y t))
12.0ms	(/ x (/ (* z (- y t)) 2.0))

simplify41.0ms

Algorithm

egg-herbie

Counts

80 → 80

Iterations

Useful iterations: 2 (34.0ms)

Iter	Nodes	Cost
0	353	467
1	1535	417
2	5002	414

prune110.0ms

Filtered

57 candidates to 80 candidates (-40.4%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	75	5	80
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	76	6	82

Merged error: 0.0b

Counts

82 → 6

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ 2.0 (- y t))
0.2b	(/ (/ 2.0 (- y t)) z)
5.8b	(* x (/ (/ 2.0 (- y t)) z))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

249×	`times-frac`
180×	`add-sqr-sqrt`
171×	`*-un-lft-identity`
121×	`add-cube-cbrt`
67×	`associate-r`
25×	`distribute-lft-out--` `difference-of-squares`
24×	`associate-/l*`
19×	`add-exp-log` `add-cbrt-cube`
16×	`associate-/r/`
10×	`div-inv`
8×	`flip3--` `associate-/r*` `flip--`
7×	`cbrt-undiv` `div-exp`
5×	`pow1`
3×	`associate-l` `prod-exp` `cbrt-unprod` `add-log-exp` `unswap-sqr`
2×	`frac-2neg` `clear-num`
1×	`associate-r/` `pow-prod-down` `-commutative` `associate-/l/`

Counts

3 → 228

Calls

3 calls:

5.0ms	(/ 2.0 (- y t))
8.0ms	(/ (/ 2.0 (- y t)) z)
19.0ms	(* x (/ (/ 2.0 (- y t)) z))

series34.0ms

Counts

3 → 9

Calls

3 calls:

5.0ms	(/ 2.0 (- y t))
10.0ms	(/ (/ 2.0 (- y t)) z)
19.0ms	(* x (/ (/ 2.0 (- y t)) z))

simplify81.0ms

Algorithm

egg-herbie

Counts

237 → 237

Iterations

Useful iterations: 1 (18.0ms)

Iter	Nodes	Cost
0	742	1638
1	3418	1557
2	5002	1557

prune253.0ms

Filtered

177 candidates to 237 candidates (-33.9%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	234	3	237
Fresh	2	2	4
Picked	0	1	1
Done	0	1	1
Total	236	7	243

Merged error: 0b

Counts

243 → 7

localize11.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (/ 2.0 (- y t)))
0.6b	(cbrt (/ 2.0 (- y t)))
0.6b	(cbrt (/ 2.0 (- y t)))
4.2b	(* (* (* (cbrt (/ 2.0 (- y t))) (cbrt (/ 2.0 (- y t)))) x) (/ (cbrt (/ 2.0 (- y t))) z))

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

162×	`times-frac`
126×	`cbrt-prod`
122×	`add-sqr-sqrt` `*-un-lft-identity`
86×	`add-cube-cbrt`
76×	`associate-r`
25×	`add-exp-log`
18×	`add-cbrt-cube` `distribute-lft-out--` `difference-of-squares`
13×	`pow1`
12×	`prod-exp` `associate-/r/` `cbrt-unprod`
11×	`cbrt-div` `associate-*l/`
7×	`div-inv`
6×	`flip3--` `pow-prod-down` `flip--`
5×	`frac-times`
4×	`add-log-exp`
3×	`cbrt-undiv` `pow1/3` `associate-*r/` `div-exp`
1×	`associate-l` `*-commutative`

Counts

4 → 197

Calls

4 calls:

4.0ms	(cbrt (/ 2.0 (- y t)))
5.0ms	(cbrt (/ 2.0 (- y t)))
4.0ms	(cbrt (/ 2.0 (- y t)))
29.0ms	(* (* (* (cbrt (/ 2.0 (- y t))) (cbrt (/ 2.0 (- y t)))) x) (/ (cbrt (/ 2.0 (- y t))) z))

series144.0ms

Counts

4 → 12

Calls

4 calls:

34.0ms	(cbrt (/ 2.0 (- y t)))
50.0ms	(cbrt (/ 2.0 (- y t)))
34.0ms	(cbrt (/ 2.0 (- y t)))
27.0ms	(* (* (* (cbrt (/ 2.0 (- y t))) (cbrt (/ 2.0 (- y t)))) x) (/ (cbrt (/ 2.0 (- y t))) z))

simplify118.0ms

Algorithm

egg-herbie

Counts

209 → 209

Iterations

Useful iterations: 1 (20.0ms)

Iter	Nodes	Cost
0	906	2555
1	4789	2384
2	5001	2384

prune438.0ms

Filtered

167 candidates to 209 candidates (-25.1%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	209	0	209
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	209	7	216

Merged error: 0b

Counts

216 → 7

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ 2.0 (- y t))
0.2b	(* x (/ 2.0 (- y t)))
5.9b	(/ (* x (/ 2.0 (- y t))) z)

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 101

Calls

3 calls:

5.0ms	(/ 2.0 (- y t))
9.0ms	(* x (/ 2.0 (- y t)))
7.0ms	(/ (* x (/ 2.0 (- y t))) z)

series29.0ms

Counts

3 → 9

Calls

3 calls:

7.0ms	(/ 2.0 (- y t))
8.0ms	(* x (/ 2.0 (- y t)))
15.0ms	(/ (* x (/ 2.0 (- y t))) z)

simplify42.0ms

Algorithm

egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 1 (9.0ms)

Iter	Nodes	Cost
0	345	541
1	1621	474
2	5002	474

prune95.0ms

Filtered

76 candidates to 110 candidates (-44.7%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	110	0	110
Fresh	0	3	3
Picked	0	1	1
Done	0	3	3
Total	110	7	117

Merged error: 0b

Counts

117 → 7

regimes322.0ms

Accuracy

40.1% (2.8b remaining)

Error of 2.8b against oracle of 0.0b and baseline of 4.7b

bsearch117.0ms

Steps

Iters	Range	Point
8	6.77741565742892e+233	3.5846532325153287e+236	1.4240206074213238e+236
8	1.574748565020925e-179	9.127413124356078e-176	1.193046430717286e-177
9	-8.428219661041185e+120	-4.66435764214816e+113	-5.316840190286347e+113

Iters

Range

Point

6.77741565742892e+233

3.5846532325153287e+236

1.4240206074213238e+236

1.574748565020925e-179

9.127413124356078e-176

1.193046430717286e-177

-8.428219661041185e+120

-4.66435764214816e+113

-5.316840190286347e+113

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	25
1	30	25

end0.0ms

sample2.3s

Algorithm

intervals

sampling

Space saved by range analysis: 0.999261%

Space saved by search: 0.195169%

Guaranteed chance to sample good point: 0%

Results

292.0ms	8000×	body	80	valid
26.0ms	652×	body	80	invalid

Details

sample1.6s

simplify16.0ms

prune10.0ms

localize6.0ms

rewrite15.0ms

series22.0ms

simplify41.0ms

prune110.0ms

localize6.0ms

rewrite44.0ms

series34.0ms

simplify81.0ms

prune253.0ms

localize11.0ms

rewrite55.0ms

series144.0ms

simplify118.0ms

prune438.0ms

localize7.0ms

rewrite24.0ms

series29.0ms

simplify42.0ms

prune95.0ms

regimes322.0ms

bsearch117.0ms

simplify1.0ms

end0.0ms

sample2.3s

Profiling