Details

sample34.0ms

Algorithm

intervals

Results

10.0ms	279×	body	80	valid
0.0ms	2×	body	1280	valid
0.0ms	2×	body	640	valid
0.0ms	1×	body	320	valid
0.0ms	1×	body	160	valid

simplify54.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	22	6
1	37	6
2	62	6
3	105	6
4	149	6
5	188	6
6	221	6
7	275	6
8	362	6
9	448	6
10	686	6
11	812	6
12	903	6
13	907	6
14	907	6

prune5.0ms

Filtered

1 candidates to 0 candidates (100.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: 0.4b

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (/ (* 60.0 (- x y)) (- z t)) (* a 120.0))
0.0b	(* 60.0 (- x y))
0.5b	(/ (* 60.0 (- x y)) (- z t))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt`
13×	`*-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` `associate-/l` `unswap-sqr`

Counts

3 → 66

Calls

3 calls:

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

series49.0ms

Counts

3 → 9

Calls

3 calls:

31.0ms	(+ (/ (* 60.0 (- x y)) (- z t)) (* a 120.0))
4.0ms	(* 60.0 (- x y))
15.0ms	(/ (* 60.0 (- x y)) (- z t))

simplify44.0ms

Algorithm

egg-herbie

Counts

75 → 75

Iterations

Useful iterations: 1 (9.0ms)

Iter	Nodes	Cost
0	367	404
1	1595	361
2	5001	361

prune303.0ms

Filtered

75 candidates to 52 candidates (30.7%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	67	8	75
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	68	8	76

Merged error: 0.0b

Counts

76 → 8

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (/ 60.0 (/ (- z t) (- x y))) (* a 120.0))
0.0b	(/ (- z t) (- x y))
0.7b	(/ 60.0 (/ (- z t) (- x y)))

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

218×	`times-frac`
195×	`add-sqr-sqrt` `*-un-lft-identity`
91×	`add-cube-cbrt`
52×	`distribute-lft-out--` `difference-of-squares`
36×	`associate-/r*`
11×	`associate-/r/`
10×	`add-exp-log` `add-cbrt-cube`
8×	`associate-/l*`
6×	`flip3--` `flip--` `div-inv`
5×	`add-log-exp`
4×	`cbrt-undiv` `div-exp`
3×	`pow1`
2×	`frac-2neg` `clear-num` `associate-/l/`
1×	`+-commutative` `flip3-+` `div-sub` `sum-log` `flip-+`

Counts

3 → 205

Calls

3 calls:

27.0ms	(+ (/ 60.0 (/ (- z t) (- x y))) (* a 120.0))
7.0ms	(/ (- z t) (- x y))
15.0ms	(/ 60.0 (/ (- z t) (- x y)))

series84.0ms

Counts

3 → 9

Calls

3 calls:

31.0ms	(+ (/ 60.0 (/ (- z t) (- x y))) (* a 120.0))
12.0ms	(/ (- z t) (- x y))
41.0ms	(/ 60.0 (/ (- z t) (- x y)))

simplify85.0ms

Algorithm

egg-herbie

Counts

214 → 214

Iterations

Useful iterations: 2 (62.0ms)

Iter	Nodes	Cost
0	727	1908
1	3212	1851
2	5001	1849

prune1.7s

Filtered

214 candidates to 145 candidates (32.2%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	212	2	214
Fresh	1	6	7
Picked	0	1	1
Done	0	0	0
Total	213	9	222

Merged error: 0.0b

Counts

222 → 9

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ 60.0 (- z t))
0.0b	(+ (* (/ 60.0 (- z t)) (- x y)) (* a 120.0))
0.2b	(* (/ 60.0 (- z t)) (- x y))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 102

Calls

3 calls:

5.0ms	(/ 60.0 (- z t))
10.0ms	(+ (* (/ 60.0 (- z t)) (- x y)) (* a 120.0))
14.0ms	(* (/ 60.0 (- z t)) (- x y))

series73.0ms

Counts

3 → 9

Calls

3 calls:

5.0ms	(/ 60.0 (- z t))
33.0ms	(+ (* (/ 60.0 (- z t)) (- x y)) (* a 120.0))
35.0ms	(* (/ 60.0 (- z t)) (- x y))

simplify47.0ms

Algorithm

egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 1 (11.0ms)

Iter	Nodes	Cost
0	446	649
1	1793	601
2	5002	601

prune504.0ms

Filtered

111 candidates to 79 candidates (28.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	110	1	111
Fresh	1	6	7
Picked	1	0	1
Done	0	1	1
Total	112	8	120

Merged error: 0.0b

Counts

120 → 8

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* (/ 1 (/ (- z t) 60.0)) (- x y)) (* a 120.0))
0.0b	(/ (- z t) 60.0)
0.2b	(* (/ 1 (/ (- z t) 60.0)) (- x y))
0.2b	(/ 1 (/ (- z t) 60.0))

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 253

Calls

4 calls:

13.0ms	(+ (* (/ 1 (/ (- z t) 60.0)) (- x y)) (* a 120.0))
5.0ms	(/ (- z t) 60.0)
22.0ms	(* (/ 1 (/ (- z t) 60.0)) (- x y))
8.0ms	(/ 1 (/ (- z t) 60.0))

series79.0ms

Counts

4 → 12

Calls

4 calls:

31.0ms	(+ (* (/ 1 (/ (- z t) 60.0)) (- x y)) (* a 120.0))
4.0ms	(/ (- z t) 60.0)
39.0ms	(* (/ 1 (/ (- z t) 60.0)) (- x y))
5.0ms	(/ 1 (/ (- z t) 60.0))

simplify93.0ms

Algorithm

egg-herbie

Counts

265 → 265

Iterations

Useful iterations: 2 (73.0ms)

Iter	Nodes	Cost
0	861	1862
1	4180	1634
2	5001	1492

prune1.8s

Filtered

265 candidates to 159 candidates (40.0%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	264	1	265
Fresh	1	5	6
Picked	0	1	1
Done	0	1	1
Total	265	8	273

Merged error: 0.0b

Counts

273 → 8

regimes1.3s

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	6
1	15	6

end0.0ms

sample829.0ms

Algorithm

intervals

Results

328.0ms	8589×	body	80	valid
9.0ms	52×	body	1280	valid
7.0ms	34×	body	2560	valid
4.0ms	29×	body	640	valid
2.0ms	21×	body	320	valid
1.0ms	9×	body	160	valid

Iter	Nodes	Cost
0	22	6
1	37	6
2	62	6
3	105	6
4	149	6
5	188	6
6	221	6
7	275	6
8	362	6
9	448	6
10	686	6
11	812	6
12	903	6
13	907	6
14	907	6

Iter	Nodes	Cost
0	22	6
1	37	6
2	62	6
3	105	6
4	149	6
5	188	6
6	221	6
7	275	6
8	362	6
9	448	6
10	686	6
11	812	6
12	903	6
13	907	6
14	907	6

Details

sample34.0ms

simplify54.0ms

prune5.0ms

localize9.0ms

rewrite30.0ms

series49.0ms

simplify44.0ms

prune303.0ms

localize9.0ms

rewrite61.0ms

series84.0ms

simplify85.0ms

prune1.7s

localize9.0ms

rewrite32.0ms

series73.0ms

simplify47.0ms

prune504.0ms

localize11.0ms

rewrite61.0ms

series79.0ms

simplify93.0ms

prune1.8s

regimes1.3s

bsearch0.0ms

simplify1.0ms

end0.0ms

sample829.0ms

Profiling

Iter	Nodes	Cost
0	22	6
1	37	6
2	62	6
3	105	6
4	149	6
5	188	6
6	221	6
7	275	6
8	362	6
9	448	6
10	686	6
11	812	6
12	903	6
13	907	6
14	907	6