Details

analyze1.0s

Algorithm

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
0%	99.8%	0.2%	10
7.8%	92%	0.2%	11
11.7%	88.1%	0.2%	12
17.9%	81.8%	0.2%	13
22.6%	77.2%	0.2%	14

sample28.0ms

Algorithm

intervals

Results

10.0ms	251×	body	80	valid
1.0ms	24×	body	80	invalid
0.0ms	3×	body	320	valid
0.0ms	1×	body	2560	valid
0.0ms	1×	body	1280	valid

simplify101.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (99.0ms)

Iter	Nodes	Cost
0	4922	13
1	4922	13

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

Counts

2 → 2

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

rewrite33.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` `sub-neg` `div-exp` `prod-exp` `associate-/r/` `cbrt-unprod` `associate-/l/`
1×	`+-commutative` `distribute-rgt-in` `frac-2neg` `distribute-lft-in` `flip3-+` `pow-prod-down` `clear-num` `sum-log` `-commutative` `flip-+` `div-inv` `associate-/l` `unswap-sqr`

Counts

3 → 64

Calls

3 calls:

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

series51.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify50.0ms

Algorithm

egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	4966	726
1	4966	726

prune134.0ms

Filtered

51 candidates to 73 candidates (-43.1%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	66	7	73
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	66	9	75

Merged error: 0.0b

Counts

75 → 9

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

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

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

series62.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify47.0ms

Algorithm

egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5610	1404

prune144.0ms

Filtered

80 candidates to 122 candidates (-52.5%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	122	0	122
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	122	9	131

Merged error: 0.0b

Counts

131 → 9

localize11.0ms

Local error

Found 4 expressions with local error:

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

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 137

Calls

4 calls:

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

series90.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify41.0ms

Algorithm

egg-herbie

Counts

149 → 149

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	4979	1766
1	4979	1766

prune175.0ms

Filtered

90 candidates to 149 candidates (-65.6%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	148	1	149
Fresh	2	4	6
Picked	1	0	1
Done	0	2	2
Total	151	7	158

Merged error: 0.0b

Counts

158 → 7

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.3b	(/ 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:

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

series85.0ms

Counts

3 → 9

Calls

3 calls:

32.0ms	(+ (/ 60.0 (/ (- z t) (- x y))) (* a 120.0))
13.0ms	(/ (- z t) (- x y))
40.0ms	(/ 60.0 (/ (- z t) (- x y)))

simplify58.0ms

Algorithm

egg-herbie

Counts

214 → 214

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5387	3399

prune221.0ms

Filtered

145 candidates to 214 candidates (-47.6%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	214	0	214
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	214	7	221

Merged error: 0.0b

Counts

221 → 7

regimes900.0ms

Accuracy

0% (0.5b 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 (1.0ms)

Iter	Nodes	Cost
0	75	13
1	75	13

end0.0ms

sample693.0ms

Algorithm

intervals

Results

344.0ms	7861×	body	80	valid
27.0ms	674×	body	80	invalid
9.0ms	49×	body	1280	valid
6.0ms	29×	body	2560	valid
4.0ms	29×	body	640	valid
3.0ms	23×	body	320	valid
1.0ms	2×	body	5120	valid
1.0ms	7×	body	160	valid

Details

analyze1.0s

sample28.0ms

simplify101.0ms

prune14.0ms

localize10.0ms

rewrite33.0ms

series51.0ms

simplify50.0ms

prune134.0ms

localize9.0ms

rewrite37.0ms

series62.0ms

simplify47.0ms

prune144.0ms

localize11.0ms

rewrite50.0ms

series90.0ms

simplify41.0ms

prune175.0ms

localize9.0ms

rewrite61.0ms

series85.0ms

simplify58.0ms

prune221.0ms

regimes900.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample693.0ms

Profiling