Details

sample24.0ms

Algorithm

intervals

Results

10.0ms	280×	body	80	valid
0.0ms	2×	body	1280	valid

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

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

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

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

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

series203.0ms

Counts

3 → 9

Calls

3 calls:

115.0ms	(+ (/ (* 60.0 (- x y)) (- z t)) (* a 120.0))
32.0ms	(* 60.0 (- x y))
56.0ms	(/ (* 60.0 (- x y)) (- z t))

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

prune167.0ms

Filtered

75 candidates to 52 candidates (69.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

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

Merged error: 0.0b

Counts

76 → 6

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)))

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

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

series480.0ms

Counts

3 → 9

Calls

3 calls:

147.0ms	(+ (/ 60.0 (/ (- z t) (- x y))) (* a 120.0))
54.0ms	(/ (- z t) (- x y))
278.0ms	(/ 60.0 (/ (- z t) (- x y)))

simplify92.0ms

Algorithm

egg-herbie

Counts

214 → 214

Iterations

Useful iterations: 2 (65.0ms)

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

prune457.0ms

Filtered

214 candidates to 145 candidates (67.8%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	214	0	214
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	214	6	220

Merged error: 0.0b

Counts

220 → 6

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 128

Calls

4 calls:

5.0ms	(/ 1 (- z t))
12.0ms	(+ (* (* 60.0 (- x y)) (/ 1 (- z t))) (* a 120.0))
6.0ms	(* 60.0 (- x y))
15.0ms	(* (* 60.0 (- x y)) (/ 1 (- z t)))

series240.0ms

Counts

4 → 12

Calls

4 calls:

34.0ms	(/ 1 (- z t))
117.0ms	(+ (* (* 60.0 (- x y)) (/ 1 (- z t))) (* a 120.0))
33.0ms	(* 60.0 (- x y))
56.0ms	(* (* 60.0 (- x y)) (/ 1 (- z t)))

simplify75.0ms

Algorithm

egg-herbie

Counts

140 → 140

Iterations

Useful iterations: 2 (60.0ms)

Iter	Nodes	Cost
0	526	777
1	2746	672
2	5002	629

prune230.0ms

Filtered

140 candidates to 78 candidates (55.7%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	140	0	140
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	140	6	146

Merged error: 0.0b

Counts

146 → 6

localize12.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)))

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

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

series723.0ms

Counts

4 → 12

Calls

4 calls:

355.0ms	(+ (/ (* (sqrt 60.0) (* (sqrt 60.0) (- x y))) (- z t)) (* a 120.0))
209.0ms	(/ (* (sqrt 60.0) (* (sqrt 60.0) (- x y))) (- z t))
64.0ms	(* (sqrt 60.0) (- x y))
95.0ms	(* (sqrt 60.0) (* (sqrt 60.0) (- x y)))

simplify68.0ms

Algorithm

egg-herbie

Counts

115 → 115

Iterations

Useful iterations: 2 (58.0ms)

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

prune214.0ms

Filtered

115 candidates to 71 candidates (61.7%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	115	0	115
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	115	6	121

Merged error: 0.0b

Counts

121 → 6

regimes322.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	6
1	16	6

end0.0ms

sample629.0ms

Algorithm

intervals

Results

340.0ms	8584×	body	80	valid
11.0ms	47×	body	1280	valid
4.0ms	28×	body	640	valid
3.0ms	16×	body	2560	valid
2.0ms	15×	body	320	valid
1.0ms	12×	body	160	valid
0.0ms	1×	body	5120	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

sample24.0ms

simplify56.0ms

prune2.0ms

localize9.0ms

rewrite31.0ms

series203.0ms

simplify46.0ms

prune167.0ms

localize9.0ms

rewrite65.0ms

series480.0ms

simplify92.0ms

prune457.0ms

localize10.0ms

rewrite46.0ms

series240.0ms

simplify75.0ms

prune230.0ms

localize12.0ms

rewrite52.0ms

series723.0ms

simplify68.0ms

prune214.0ms

regimes322.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

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