Details

sample29.0ms

Algorithm

intervals

Results

15.0ms

272×

body

valid

simplify116.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	23	8
1	37	8
2	65	8
3	94	8
4	108	8
5	132	8
6	201	8
7	359	8
8	825	8
9	3212	8
10	5002	8

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

Counts

2 → 1

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ y (* z (- b y)))
0.0b	(* z (- t a))
0.9b	(+ (* x y) (* z (- t a)))
21.5b	(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt`
16×	`*-un-lft-identity`
14×	`add-cube-cbrt`
9×	`times-frac`
8×	`add-exp-log` `associate-+r+` `add-cbrt-cube` `add-log-exp`
6×	`pow1` `distribute-rgt-in` `sub-neg` `distribute-lft-in`
5×	`associate-r`
4×	`flip3-+` `flip-+`
3×	`associate-l` `associate-/r` `associate-/l`
2×	`+-commutative` `associate-*r/` `sum-log` `associate-/r/` `associate-/l/`
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 → 87

Calls

4 calls:

3.0ms	(+ y (* z (- b y)))
6.0ms	(* z (- t a))
4.0ms	(+ (* x y) (* z (- t a)))
7.0ms	(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

series406.0ms

Counts

4 → 12

Calls

4 calls:

30.0ms	(+ y (* z (- b y)))
33.0ms	(* z (- t a))
43.0ms	(+ (* x y) (* z (- t a)))
300.0ms	(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

simplify49.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 1 (10.0ms)

Iter	Nodes	Cost
0	359	708
1	1499	648
2	5001	648

prune263.0ms

Filtered

99 candidates to 69 candidates (69.7%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	88	11	99
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	89	11	100

Merged error: 21.5b

Counts

100 → 11

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ y (* z (- b y)))
0.5b	(+ (* x y) (* t z))
1.6b	(+ (+ (* x y) (* t z)) (* z (neg a)))
21.5b	(/ (+ (+ (* x y) (* t z)) (* z (neg a))) (+ y (* z (- b y))))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

13×	`add-log-exp`
12×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
9×	`times-frac`
6×	`add-exp-log` `add-cbrt-cube`
5×	`flip3-+` `sum-log` `flip-+`
4×	`pow1` `associate-+r+` `distribute-rgt-neg-out`
3×	`+-commutative` `associate-/r` `associate-/l`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `div-sub` `unsub-neg` `associate-/r/` `associate-/l/`
1×	`cbrt-undiv` `associate-+l+` `frac-2neg` `div-exp` `clear-num` `div-inv`

Counts

4 → 74

Calls

4 calls:

3.0ms	(+ y (* z (- b y)))
4.0ms	(+ (* x y) (* t z))
9.0ms	(+ (+ (* x y) (* t z)) (* z (neg a)))
10.0ms	(/ (+ (+ (* x y) (* t z)) (* z (neg a))) (+ y (* z (- b y))))

series390.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(+ y (* z (- b y)))
37.0ms	(+ (* x y) (* t z))
38.0ms	(+ (+ (* x y) (* t z)) (* z (neg a)))
287.0ms	(/ (+ (+ (* x y) (* t z)) (* z (neg a))) (+ y (* z (- b y))))

simplify46.0ms

Algorithm

egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 2 (37.0ms)

Iter	Nodes	Cost
0	353	832
1	1420	751
2	5001	744

prune232.0ms

Filtered

86 candidates to 65 candidates (75.6%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	85	1	86
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	85	12	97

Merged error: 21.5b

Counts

97 → 12

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(* z (- t a))
0.6b	(/ 1 (/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a)))))
0.9b	(+ (* x y) (* z (- t a)))
21.3b	(/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a))))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

90×	`times-frac`
62×	`add-sqr-sqrt`
60×	`*-un-lft-identity`
58×	`add-cube-cbrt`
19×	`add-exp-log`
18×	`associate-/r*`
13×	`add-cbrt-cube`
11×	`associate-/r/`
8×	`div-exp`
7×	`pow1` `flip3-+` `flip-+`
6×	`div-inv` `associate-/l*` `add-log-exp`
5×	`associate-r`
4×	`cbrt-undiv` `distribute-rgt-in` `sub-neg` `associate-+r+` `distribute-lft-in`
3×	`associate-l`
2×	`rec-exp` `frac-2neg` `1-exp` `associate-*r/` `clear-num` `associate-/l/`
1×	`+-commutative` `flip3--` `pow-flip` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `flip--` `cbrt-unprod` `distribute-lft-out--` `inv-pow` `difference-of-squares` `unswap-sqr`

Counts

4 → 156

Calls

4 calls:

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

series1.1s

Counts

4 → 12

Calls

4 calls:

34.0ms	(* z (- t a))
803.0ms	(/ 1 (/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a)))))
40.0ms	(+ (* x y) (* z (- t a)))
266.0ms	(/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a))))

simplify74.0ms

Algorithm

egg-herbie

Counts

168 → 168

Iterations

Useful iterations: 2 (55.0ms)

Iter	Nodes	Cost
0	570	2054
1	2752	1881
2	5001	1793

prune373.0ms

Filtered

168 candidates to 94 candidates (56.0%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	165	3	168
Fresh	2	8	10
Picked	1	0	1
Done	0	1	1
Total	168	12	180

Merged error: 21.5b

Counts

180 → 12

localize15.0ms

Local error

Found 4 expressions with local error:

0.6b	(/ 1 (* (+ y (* z (- b y))) (/ 1 (+ (* x y) (* z (- t a))))))
0.8b	(/ 1 (+ (* x y) (* z (- t a))))
0.9b	(+ (* x y) (* z (- t a)))
20.8b	(* (+ y (* z (- b y))) (/ 1 (+ (* x y) (* z (- t a)))))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

52×	`add-exp-log`
29×	`add-sqr-sqrt`
23×	`*-un-lft-identity` `times-frac`
22×	`add-cube-cbrt`
20×	`div-exp` `add-cbrt-cube`
16×	`prod-exp`
15×	`associate-r`
10×	`pow1` `rec-exp` `1-exp` `associate-/r/`
7×	`flip3-+` `flip-+`
6×	`cbrt-undiv` `associate-/l*` `add-log-exp`
4×	`frac-times` `associate-+r+` `associate-l/` `associate-/r` `cbrt-unprod`
3×	`pow-flip` `associate-l` `div-inv` `unswap-sqr`
2×	`distribute-rgt-in` `sub-neg` `frac-2neg` `distribute-lft-in` `associate-*r/` `pow-prod-down` `clear-num` `un-div-inv` `inv-pow`
1×	`+-commutative` `sum-log` `*-commutative`

Counts

4 → 134

Calls

4 calls:

11.0ms	(/ 1 (* (+ y (* z (- b y))) (/ 1 (+ (* x y) (* z (- t a))))))
5.0ms	(/ 1 (+ (* x y) (* z (- t a))))
4.0ms	(+ (* x y) (* z (- t a)))
11.0ms	(* (+ y (* z (- b y))) (/ 1 (+ (* x y) (* z (- t a)))))

series1.2s

Counts

4 → 12

Calls

4 calls:

788.0ms	(/ 1 (* (+ y (* z (- b y))) (/ 1 (+ (* x y) (* z (- t a))))))
56.0ms	(/ 1 (+ (* x y) (* z (- t a))))
68.0ms	(+ (* x y) (* z (- t a)))
261.0ms	(* (+ y (* z (- b y))) (/ 1 (+ (* x y) (* z (- t a)))))

simplify67.0ms

Algorithm

egg-herbie

Counts

146 → 146

Iterations

Useful iterations: 2 (53.0ms)

Iter	Nodes	Cost
0	499	1404
1	2401	1184
2	5001	1145

prune249.0ms

Filtered

146 candidates to 79 candidates (54.1%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	146	0	146
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	146	12	158

Merged error: 21.5b

Counts

158 → 12

regimes488.0ms

Accuracy

0% (0.6b remaining)

Error of 23.1b against oracle of 22.4b and baseline of 23.1b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	10
1	29	10
2	30	10
3	30	10

end0.0ms

sample759.0ms

Algorithm

intervals

Results

469.0ms

8416×

body

valid

Details

sample29.0ms

simplify116.0ms

prune3.0ms

localize17.0ms

rewrite24.0ms

series406.0ms

simplify49.0ms

prune263.0ms

localize16.0ms

rewrite28.0ms

series390.0ms

simplify46.0ms

prune232.0ms

localize15.0ms

rewrite37.0ms

series1.1s

simplify74.0ms

prune373.0ms

localize15.0ms

rewrite35.0ms

series1.2s

simplify67.0ms

prune249.0ms

regimes488.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample759.0ms

Profiling