Details

sample2.6s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0.598145%

Guaranteed chance to sample good point: 44.823775%

Results

10.0ms	256×	body	80	valid
5.0ms	21×	body	80	invalid

simplify56.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	21	5
1	35	5
2	56	5
3	94	5
4	150	5
5	185	5
6	203	5
7	230	5
8	280	5
9	368	5
10	457	5
11	723	5
12	922	5
13	1038	5
14	1060	5
15	1060	5

prune5.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: 0.8b

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 113

Calls

3 calls:

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

series55.0ms

Counts

3 → 9

Calls

3 calls:

27.0ms	(+ x (* y (/ (- z t) (- z a))))
13.0ms	(/ (- z t) (- z a))
16.0ms	(* y (/ (- z t) (- z a)))

simplify47.0ms

Algorithm

egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 1 (10.0ms)

Iter	Nodes	Cost
0	423	747
1	1655	704
2	5001	704

prune135.0ms

Filtered

83 candidates to 122 candidates (-47.0%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	117	5	122
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	117	6	123

Merged error: 0b

Counts

123 → 6

localize14.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (cbrt (/ (- z t) (- z a))) (cbrt (/ (- z t) (- z a))))
3.9b	(cbrt (/ (- z t) (- z a)))
3.9b	(cbrt (/ (- z t) (- z a)))
3.9b	(cbrt (/ (- z t) (- z a)))

rewrite79.0ms

Algorithm

rewrite-expression-head

Rules

333×	`*-un-lft-identity`
277×	`cbrt-prod`
273×	`add-sqr-sqrt`
229×	`times-frac`
106×	`distribute-lft-out--`
93×	`add-cube-cbrt`
78×	`difference-of-squares`
58×	`swap-sqr`
34×	`associate-r` `associate-l`
14×	`associate-/r/`
11×	`pow1`
9×	`pow1/3` `unswap-sqr`
7×	`cbrt-div` `flip3--` `flip--` `div-inv`
6×	`add-exp-log`
4×	`add-cbrt-cube` `add-log-exp`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `frac-times` `pow-plus` `associate-r/` `associate-l/` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 276

Calls

4 calls:

35.0ms	(* (cbrt (/ (- z t) (- z a))) (cbrt (/ (- z t) (- z a))))
7.0ms	(cbrt (/ (- z t) (- z a)))
7.0ms	(cbrt (/ (- z t) (- z a)))
7.0ms	(cbrt (/ (- z t) (- z a)))

series135.0ms

Counts

4 → 12

Calls

4 calls:

40.0ms	(* (cbrt (/ (- z t) (- z a))) (cbrt (/ (- z t) (- z a))))
30.0ms	(cbrt (/ (- z t) (- z a)))
34.0ms	(cbrt (/ (- z t) (- z a)))
31.0ms	(cbrt (/ (- z t) (- z a)))

simplify71.0ms

Algorithm

egg-herbie

Counts

288 → 288

Iterations

Useful iterations: 2 (36.0ms)

Iter	Nodes	Cost
0	393	3403
1	1298	3338
2	5001	3224

prune234.0ms

Filtered

176 candidates to 288 candidates (-63.6%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	288	0	288
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	288	6	294

Merged error: 0b

Counts

294 → 6

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (- z t) (- z a))
0.2b	(pow (/ (- z t) (- z a)) 3)
1.5b	(* y (cbrt (pow (/ (- z t) (- z a)) 3)))
15.5b	(cbrt (pow (/ (- z t) (- z a)) 3))

rewrite76.0ms

Algorithm

rewrite-expression-head

Rules

246×	`add-sqr-sqrt`
231×	`*-un-lft-identity`
177×	`times-frac`
142×	`cbrt-prod`
95×	`unpow-prod-down` `cube-prod`
87×	`add-cube-cbrt`
72×	`distribute-lft-out--` `difference-of-squares`
71×	`associate-r`
14×	`associate-/r/`
11×	`add-exp-log`
10×	`add-cbrt-cube`
8×	`flip3--` `flip--`
7×	`pow1` `div-inv` `unswap-sqr`
5×	`associate-/r` `associate-/l`
4×	`add-log-exp` `sqr-pow`
3×	`cube-div` `cube-mult` `pow-unpow` `unpow3` `associate-l`
2×	`cbrt-undiv` `cbrt-div` `div-exp` `pow-exp` `associate-/l/` `rem-cube-cbrt`
1×	`pow-to-exp` `pow-pow` `frac-2neg` `pow1/3` `div-sub` `associate-r/` `pow-prod-down` `prod-exp` `clear-num` `-commutative` `rem-cbrt-cube` `cbrt-unprod`

Counts

4 → 305

Calls

4 calls:

8.0ms	(/ (- z t) (- z a))
10.0ms	(pow (/ (- z t) (- z a)) 3)
29.0ms	(* y (cbrt (pow (/ (- z t) (- z a)) 3)))
12.0ms	(cbrt (pow (/ (- z t) (- z a)) 3))

series89.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(/ (- z t) (- z a))
56.0ms	(pow (/ (- z t) (- z a)) 3)
16.0ms	(* y (cbrt (pow (/ (- z t) (- z a)) 3)))
9.0ms	(cbrt (pow (/ (- z t) (- z a)) 3))

simplify99.0ms

Algorithm

egg-herbie

Counts

317 → 317

Iterations

Useful iterations: 2 (68.0ms)

Iter	Nodes	Cost
0	721	2293
1	3237	2165
2	5003	2138

prune214.0ms

Filtered

139 candidates to 317 candidates (-128.1%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	317	0	317
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	317	6	323

Merged error: 0b

Counts

323 → 6

localize8.0ms

Local error

Found 3 expressions with local error:

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

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 67

Calls

3 calls:

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

series51.0ms

Counts

3 → 9

Calls

3 calls:

26.0ms	(+ x (/ (* y (- z t)) (- z a)))
7.0ms	(* y (- z t))
18.0ms	(/ (* y (- z t)) (- z a))

simplify43.0ms

Algorithm

egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 1 (9.0ms)

Iter	Nodes	Cost
0	337	381
1	1443	342
2	5002	342

prune62.0ms

Filtered

50 candidates to 76 candidates (-52.0%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	76	0	76
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	76	6	82

Merged error: 0b

Counts

82 → 6

regimes626.0ms

Accuracy

0% (1.5b remaining)

Error of 1.5b against oracle of 0.0b and baseline of 1.5b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	5
1	12	5

end0.0ms

sample3.5s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0.598145%

Guaranteed chance to sample good point: 44.823775%

Results

554.0ms	7997×	body	80	valid
26.0ms	673×	body	80	invalid
0.0ms	1×	body	1280	valid
0.0ms	1×	body	640	valid
0.0ms	1×	body	160	valid

Details

sample2.6s

simplify56.0ms

prune5.0ms

localize9.0ms

rewrite29.0ms

series55.0ms

simplify47.0ms

prune135.0ms

localize14.0ms

rewrite79.0ms

series135.0ms

simplify71.0ms

prune234.0ms

localize11.0ms

rewrite76.0ms

series89.0ms

simplify99.0ms

prune214.0ms

localize8.0ms

rewrite24.0ms

series51.0ms

simplify43.0ms

prune62.0ms

regimes626.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample3.5s

Profiling