Details

analyze1.4s

Algorithm

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
1.1%	98.6%	0.3%	12
1.9%	97.8%	0.3%	13
7%	92.7%	0.3%	14

sample27.0ms

Algorithm

intervals

Results

14.0ms

256×

body

valid

simplify55.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5284	21

prune10.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	0	1	1
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 22.7b

Counts

2 → 1

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(* y (- a b))
1.0b	(+ (* t a) (* y (- a b)))
3.2b	(+ (* (+ x y) z) (+ (* t a) (* y (- a b))))
21.3b	(/ (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))) (+ x (+ y t)))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 97

Calls

4 calls:

6.0ms	(* y (- a b))
4.0ms	(+ (* t a) (* y (- a b)))
9.0ms	(+ (* (+ x y) z) (+ (* t a) (* y (- a b))))
19.0ms	(/ (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))) (+ x (+ y t)))

series384.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(* y (- a b))
10.0ms	(+ (* t a) (* y (- a b)))
30.0ms	(+ (* (+ x y) z) (+ (* t a) (* y (- a b))))
338.0ms	(/ (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))) (+ x (+ y t)))

simplify48.0ms

Algorithm

egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	5197	2234

prune192.0ms

Filtered

79 candidates to 109 candidates (-38.0%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	95	14	109
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	96	14	110

Merged error: 7.6b

Counts

110 → 14

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ 1 (+ x (+ y t)))
1.0b	(+ (* t a) (* y (- a b)))
3.2b	(+ (* (+ x y) z) (+ (* t a) (* y (- a b))))
21.3b	(* (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))) (/ 1 (+ x (+ y t))))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 127

Calls

4 calls:

7.0ms	(/ 1 (+ x (+ y t)))
4.0ms	(+ (* t a) (* y (- a b)))
10.0ms	(+ (* (+ x y) z) (+ (* t a) (* y (- a b))))
20.0ms	(* (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))) (/ 1 (+ x (+ y t))))

series195.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(/ 1 (+ x (+ y t)))
10.0ms	(+ (* t a) (* y (- a b)))
32.0ms	(+ (* (+ x y) z) (+ (* t a) (* y (- a b))))
144.0ms	(* (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))) (/ 1 (+ x (+ y t))))

simplify54.0ms

Algorithm

egg-herbie

Counts

139 → 139

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5392	2840

prune177.0ms

Filtered

86 candidates to 139 candidates (-61.6%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	139	0	139
Fresh	0	13	13
Picked	0	1	1
Done	0	0	0
Total	139	14	153

Merged error: 7.6b

Counts

153 → 14

localize15.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ 1 (/ (+ x (+ y t)) (+ (* (+ x y) z) (+ (* t a) (* y (- a b))))))
1.0b	(+ (* t a) (* y (- a b)))
3.2b	(+ (* (+ x y) z) (+ (* t a) (* y (- a b))))
21.3b	(/ (+ x (+ y t)) (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))))

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

156×	`*-un-lft-identity`
150×	`times-frac`
76×	`add-sqr-sqrt` `add-cube-cbrt`
48×	`distribute-lft-out`
32×	`flip3-+` `flip-+`
31×	`associate-/r/`
28×	`associate-/r*`
24×	`associate-*l/` `frac-add`
17×	`add-exp-log`
11×	`add-cbrt-cube` `add-log-exp`
8×	`div-exp` `associate-/l*`
6×	`div-inv`
5×	`pow1`
4×	`cbrt-undiv` `sum-log`
3×	`associate-+r+`
2×	`+-commutative` `sub-neg` `rec-exp` `frac-2neg` `1-exp` `clear-num` `associate-/l/`
1×	`distribute-rgt-in` `pow-flip` `distribute-lft-in` `inv-pow`

Counts

4 → 197

Calls

4 calls:

20.0ms	(/ 1 (/ (+ x (+ y t)) (+ (* (+ x y) z) (+ (* t a) (* y (- a b))))))
5.0ms	(+ (* t a) (* y (- a b)))
10.0ms	(+ (* (+ x y) z) (+ (* t a) (* y (- a b))))
15.0ms	(/ (+ x (+ y t)) (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))))

series215.0ms

Counts

4 → 12

Calls

4 calls:

136.0ms	(/ 1 (/ (+ x (+ y t)) (+ (* (+ x y) z) (+ (* t a) (* y (- a b))))))
10.0ms	(+ (* t a) (* y (- a b)))
33.0ms	(+ (* (+ x y) z) (+ (* t a) (* y (- a b))))
36.0ms	(/ (+ x (+ y t)) (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))))

simplify81.0ms

Algorithm

egg-herbie

Counts

209 → 209

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5170	7210

prune221.0ms

Filtered

122 candidates to 209 candidates (-71.3%)

Pruning

14 alts after pruning (12 fresh and 2 done)

	Pruned	Kept	Total
New	209	0	209
Fresh	0	12	12
Picked	0	1	1
Done	0	1	1
Total	209	14	223

Merged error: 7.6b

Counts

223 → 14

localize18.0ms

Local error

Found 4 expressions with local error:

3.2b	(+ (* (+ x y) z) (+ (* t a) (* y (- a b))))
21.3b	(/ (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))) (+ x (+ y t)))
21.3b	(/ (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))) (+ x (+ y t)))
21.3b	(/ (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))) (+ x (+ y t)))

rewrite64.0ms

Algorithm

rewrite-expression-head

Rules

94×	`*-un-lft-identity`
45×	`times-frac`
36×	`distribute-lft-out`
34×	`add-sqr-sqrt` `add-cube-cbrt`
23×	`flip3-+` `flip-+`
18×	`associate-/l/`
16×	`associate-*l/` `frac-add`
15×	`associate-/r*`
10×	`add-exp-log` `add-cbrt-cube`
9×	`associate-/l*` `add-log-exp`
6×	`associate-/r/`
4×	`pow1`
3×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `sum-log` `div-inv`
1×	`+-commutative` `associate-+r+`

Counts

4 → 146

Calls

4 calls:

10.0ms	(+ (* (+ x y) z) (+ (* t a) (* y (- a b))))
15.0ms	(/ (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))) (+ x (+ y t)))
16.0ms	(/ (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))) (+ x (+ y t)))
16.0ms	(/ (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))) (+ x (+ y t)))

series452.0ms

Counts

4 → 12

Calls

4 calls:

30.0ms	(+ (* (+ x y) z) (+ (* t a) (* y (- a b))))
141.0ms	(/ (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))) (+ x (+ y t)))
140.0ms	(/ (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))) (+ x (+ y t)))
141.0ms	(/ (+ (* (+ x y) z) (+ (* t a) (* y (- a b)))) (+ x (+ y t)))

simplify61.0ms

Algorithm

egg-herbie

Counts

158 → 158

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5178	4503

prune151.0ms

Filtered

113 candidates to 158 candidates (-39.8%)

Pruning

14 alts after pruning (11 fresh and 3 done)

	Pruned	Kept	Total
New	158	0	158
Fresh	0	11	11
Picked	0	1	1
Done	0	2	2
Total	158	14	172

Merged error: 7.6b

Counts

172 → 14

regimes816.0ms

Accuracy

11.1% (16.1b remaining)

Error of 24.2b against oracle of 8.1b and baseline of 26.2b

bsearch31.0ms

Steps

Iters	Range		Point
6	1.9319043053237982e+200	8.479268445715187e+200	4.305605391382738e+200
6	-2.314821993243107e+196	-3.265772613124893e+195	-1.8636978965541309e+196

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	46	33
1	46	33

end0.0ms

sample720.0ms

Algorithm

intervals

Results

459.0ms	7997×	body	80	valid
0.0ms	1×	body	1280	valid
0.0ms	1×	body	640	valid
0.0ms	1×	body	160	valid

Details

analyze1.4s

sample27.0ms

simplify55.0ms

prune10.0ms

localize13.0ms

rewrite42.0ms

series384.0ms

simplify48.0ms

prune192.0ms

localize15.0ms

rewrite47.0ms

series195.0ms

simplify54.0ms

prune177.0ms

localize15.0ms

rewrite61.0ms

series215.0ms

simplify81.0ms

prune221.0ms

localize18.0ms

rewrite64.0ms

series452.0ms

simplify61.0ms

prune151.0ms

regimes816.0ms

bsearch31.0ms

simplify1.0ms

end0.0ms

sample720.0ms

Profiling