Details

sample27.0ms

Algorithm

intervals

Results

13.0ms	270×	body	80	valid
0.0ms	1×	body	640	valid
0.0ms	1×	body	160	valid

simplify59.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

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

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: 0.1b

Counts

2 → 1

localize10.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.2b	(/ (* 60.0 (- x y)) (- z t))

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

11.0ms	(+ (/ (* 60.0 (- x y)) (- z t)) (* a 120.0))
6.0ms	(* 60.0 (- x y))
9.0ms	(/ (* 60.0 (- x y)) (- z t))

series214.0ms

Counts

3 → 9

Calls

3 calls:

124.0ms	(+ (/ (* 60.0 (- x y)) (- z t)) (* a 120.0))
29.0ms	(* 60.0 (- x y))
61.0ms	(/ (* 60.0 (- x y)) (- z t))

simplify48.0ms

Algorithm

egg-herbie

Counts

75 → 75

Iterations

Useful iterations: 1 (10.0ms)

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

prune166.0ms

Filtered

75 candidates to 52 candidates (69.3%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	70	5	75
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	71	5	76

Merged error: 0.0b

Counts

76 → 5

localize10.0ms

Local error

Found 3 expressions with local error:

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

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

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

series229.0ms

Counts

3 → 9

Calls

3 calls:

121.0ms	(+ (* 60.0 (/ (- x y) (- z t))) (* a 120.0))
47.0ms	(/ (- x y) (- z t))
60.0ms	(* 60.0 (/ (- x y) (- z t)))

simplify53.0ms

Algorithm

egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 1 (13.0ms)

Iter	Nodes	Cost
0	448	775
1	1788	728
2	5002	728

prune238.0ms

Filtered

122 candidates to 83 candidates (68.0%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	122	0	122
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	122	5	127

Merged error: 0.0b

Counts

127 → 5

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.9b	(/ 60.0 (/ (- z t) (- x y)))

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

32.0ms	(+ (/ 60.0 (/ (- z t) (- x y))) (* a 120.0))
8.0ms	(/ (- z t) (- x y))
12.0ms	(/ 60.0 (/ (- z t) (- x y)))

series482.0ms

Counts

3 → 9

Calls

3 calls:

147.0ms	(+ (/ 60.0 (/ (- z t) (- x y))) (* a 120.0))
53.0ms	(/ (- z t) (- x y))
281.0ms	(/ 60.0 (/ (- z t) (- x y)))

simplify88.0ms

Algorithm

egg-herbie

Counts

214 → 214

Iterations

Useful iterations: 2 (63.0ms)

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

prune447.0ms

Filtered

214 candidates to 145 candidates (67.8%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	214	0	214
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	214	5	219

Merged error: 0.0b

Counts

219 → 5

localize11.0ms

Local error

Found 4 expressions with local error:

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

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 103

Calls

4 calls:

16.0ms	(+ (/ (* (sqrt 60.0) (* (sqrt 60.0) (- x y))) (- z t)) (* a 120.0))
12.0ms	(/ (* (sqrt 60.0) (* (sqrt 60.0) (- x y))) (- z t))
7.0ms	(* (sqrt 60.0) (- x y))
10.0ms	(* (sqrt 60.0) (* (sqrt 60.0) (- x y)))

series714.0ms

Counts

4 → 12

Calls

4 calls:

345.0ms	(+ (/ (* (sqrt 60.0) (* (sqrt 60.0) (- x y))) (- z t)) (* a 120.0))
215.0ms	(/ (* (sqrt 60.0) (* (sqrt 60.0) (- x y))) (- z t))
58.0ms	(* (sqrt 60.0) (- x y))
95.0ms	(* (sqrt 60.0) (* (sqrt 60.0) (- x y)))

simplify66.0ms

Algorithm

egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 2 (56.0ms)

Iter	Nodes	Cost
0	454	760
1	2311	638
2	5002	626

prune202.0ms

Filtered

115 candidates to 72 candidates (62.6%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	115	0	115
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	115	5	120

Merged error: 0.0b

Counts

120 → 5

regimes327.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	6
1	16	6

end0.0ms

sample604.0ms

Algorithm

intervals

Results

316.0ms	8503×	body	80	valid
11.0ms	32×	body	2560	valid
8.0ms	50×	body	1280	valid
5.0ms	36×	body	640	valid
2.0ms	20×	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

sample27.0ms

simplify59.0ms

prune3.0ms

localize10.0ms

rewrite27.0ms

series214.0ms

simplify48.0ms

prune166.0ms

localize10.0ms

rewrite36.0ms

series229.0ms

simplify53.0ms

prune238.0ms

localize9.0ms

rewrite63.0ms

series482.0ms

simplify88.0ms

prune447.0ms

localize11.0ms

rewrite48.0ms

series714.0ms

simplify66.0ms

prune202.0ms

regimes327.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

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