Details

sample46.0ms

Algorithm

intervals

Results

13.0ms

270×

body

valid

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

prune4.0ms

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.8b

Counts

2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ y (* z (- b y)))
0.0b	(* z (- b y))
1.2b	(+ (* x y) (* z (- t a)))
22.0b	(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

rewrite21.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 (- b y))
4.0ms	(+ (* x y) (* z (- t a)))
7.0ms	(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

series120.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(+ y (* z (- b y)))
7.0ms	(* z (- b y))
14.0ms	(+ (* x y) (* z (- t a)))
92.0ms	(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

simplify47.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 1 (9.0ms)

Iter	Nodes	Cost
0	353	708
1	1481	648
2	5001	648

prune153.0ms

Filtered

69 candidates to 99 candidates (-43.5%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	87	12	99
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	87	13	100

Merged error: 22.1b

Counts

100 → 13

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(* z (- b y))
0.4b	(/ 1 (+ y (* z (- b y))))
1.2b	(+ (* x y) (* z (- t a)))
22.0b	(* (+ (* x y) (* z (- t a))) (/ 1 (+ y (* z (- b y)))))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 116

Calls

4 calls:

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

series129.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(* z (- b y))
17.0ms	(/ 1 (+ y (* z (- b y))))
14.0ms	(+ (* x y) (* z (- t a)))
92.0ms	(* (+ (* x y) (* z (- t a))) (/ 1 (+ y (* z (- b y)))))

simplify89.0ms

Algorithm

egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 2 (73.0ms)

Iter	Nodes	Cost
0	449	955
1	2234	847
2	5001	821

prune139.0ms

Filtered

73 candidates to 128 candidates (-75.3%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	125	3	128
Fresh	4	7	11
Picked	0	1	1
Done	1	0	1
Total	130	11	141

Merged error: 22.1b

Counts

141 → 11

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(* z (- b y))
0.4b	(/ 1 (/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a)))))
1.2b	(+ (* x y) (* z (- t a)))
22.0b	(/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a))))

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

6.0ms	(* z (- b y))
8.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))))

series259.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(* z (- b y))
169.0ms	(/ 1 (/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a)))))
14.0ms	(+ (* x y) (* z (- t a)))
69.0ms	(/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a))))

simplify72.0ms

Algorithm

egg-herbie

Counts

168 → 168

Iterations

Useful iterations: 2 (53.0ms)

Iter	Nodes	Cost
0	576	2057
1	2790	1879
2	5001	1791

prune335.0ms

Filtered

93 candidates to 168 candidates (-80.6%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	167	1	168
Fresh	1	8	9
Picked	0	1	1
Done	0	1	1
Total	168	11	179

Merged error: 22.1b

Counts

179 → 11

localize14.0ms

Local error

Found 4 expressions with local error:

0.4b	(/ 1 (+ y (* z (- b y))))
0.8b	(/ 1 (+ (* x y) (* z (- t a))))
1.2b	(+ (* x y) (* z (- t a)))
21.5b	(/ (/ 1 (+ y (* z (- b y)))) (/ 1 (+ (* x y) (* z (- t a)))))

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

531×	`times-frac`
244×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
69×	`associate-/r/`
52×	`add-exp-log`
36×	`div-exp`
35×	`flip3-+` `flip-+` `div-inv`
21×	`associate-/r` `associate-/l`
20×	`add-cbrt-cube`
10×	`cbrt-undiv` `rec-exp` `1-exp`
6×	`pow1` `add-log-exp`
4×	`associate-+r+`
3×	`frac-2neg` `clear-num`
2×	`distribute-rgt-in` `sub-neg` `pow-flip` `distribute-lft-in` `inv-pow`
1×	`+-commutative` `sum-log` `associate-/l/`

Counts

4 → 368

Calls

4 calls:

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

series222.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(/ 1 (+ y (* z (- b y))))
23.0ms	(/ 1 (+ (* x y) (* z (- t a))))
14.0ms	(+ (* x y) (* z (- t a)))
168.0ms	(/ (/ 1 (+ y (* z (- b y)))) (/ 1 (+ (* x y) (* z (- t a)))))

simplify96.0ms

Algorithm

egg-herbie

Counts

380 → 380

Iterations

Useful iterations: 1 (34.0ms)

Iter	Nodes	Cost
0	1647	7166
1	5001	6605

prune314.0ms

Filtered

188 candidates to 380 candidates (-102.1%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	379	1	380
Fresh	0	8	8
Picked	0	1	1
Done	1	1	2
Total	380	11	391

Merged error: 22.1b

Counts

391 → 11

regimes980.0ms

Accuracy

0% (0.8b remaining)

Error of 22.5b against oracle of 21.7b and baseline of 22.5b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	10
1	24	10

end0.0ms

sample859.0ms

Algorithm

intervals

Results

435.0ms

8428×

body

valid

Details

sample46.0ms

simplify111.0ms

prune4.0ms

localize12.0ms

rewrite21.0ms

series120.0ms

simplify47.0ms

prune153.0ms

localize13.0ms

rewrite28.0ms

series129.0ms

simplify89.0ms

prune139.0ms

localize13.0ms

rewrite29.0ms

series259.0ms

simplify72.0ms

prune335.0ms

localize14.0ms

rewrite50.0ms

series222.0ms

simplify96.0ms

prune314.0ms

regimes980.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample859.0ms

Profiling