Details

sample37.0ms

Algorithm

intervals

Results

13.0ms

269×

body

valid

simplify110.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: 25.3b

Counts

2 → 1

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(* z (- b y))
0.0b	(+ y (* z (- b y)))
1.2b	(+ (* x y) (* z (- t a)))
24.4b	(/ (+ (* 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:

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

series114.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(* z (- b y))
7.0ms	(+ y (* z (- b y)))
13.0ms	(+ (* x y) (* z (- t a)))
86.0ms	(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

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

prune154.0ms

Filtered

69 candidates to 99 candidates (-43.5%)

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

Counts

100 → 11

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ y (* z (- b y)))
0.6b	(/ 1 (+ y (* z (- b y))))
1.2b	(+ (* x y) (* z (- t a)))
23.9b	(* (+ (* x y) (* z (- t a))) (/ 1 (+ y (* z (- b y)))))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 105

Calls

4 calls:

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

series125.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(+ y (* z (- b y)))
18.0ms	(/ 1 (+ y (* z (- b y))))
13.0ms	(+ (* x y) (* z (- t a)))
88.0ms	(* (+ (* x y) (* z (- t a))) (/ 1 (+ y (* z (- b y)))))

simplify53.0ms

Algorithm

egg-herbie

Counts

117 → 117

Iterations

Useful iterations: 2 (43.0ms)

Iter	Nodes	Cost
0	400	949
1	1818	836
2	5001	810

prune137.0ms

Filtered

72 candidates to 117 candidates (-62.5%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	116	1	117
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	116	12	128

Merged error: 24.6b

Counts

128 → 12

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ y (* z (- b y)))
0.3b	(/ 1 (/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a)))))
1.2b	(+ (* x y) (* z (- t a)))
24.4b	(/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a))))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

90×	`times-frac`
56×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
18×	`associate-/r*`
17×	`add-exp-log`
11×	`associate-/r/` `add-cbrt-cube`
8×	`associate-+r+` `flip3-+` `div-exp` `flip-+` `add-log-exp`
6×	`div-inv` `associate-/l*`
5×	`pow1`
4×	`cbrt-undiv` `distribute-rgt-in` `sub-neg` `distribute-lft-in`
2×	`+-commutative` `rec-exp` `frac-2neg` `1-exp` `clear-num` `sum-log` `associate-/l/`
1×	`pow-flip` `inv-pow`

Counts

4 → 145

Calls

4 calls:

3.0ms	(+ y (* 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))))

series247.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(+ y (* z (- b y)))
161.0ms	(/ 1 (/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a)))))
13.0ms	(+ (* x y) (* z (- t a)))
65.0ms	(/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a))))

simplify71.0ms

Algorithm

egg-herbie

Counts

157 → 157

Iterations

Useful iterations: 2 (53.0ms)

Iter	Nodes	Cost
0	525	2046
1	2373	1868
2	5002	1780

prune144.0ms

Filtered

87 candidates to 157 candidates (-80.5%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	156	1	157
Fresh	1	9	10
Picked	0	1	1
Done	0	1	1
Total	157	12	169

Merged error: 24.6b

Counts

169 → 12

localize14.0ms

Local error

Found 4 expressions with local error:

0.6b	(/ 1 (+ y (* z (- b y))))
0.9b	(/ 1 (+ (* x y) (* z (- t a))))
1.2b	(+ (* x y) (* z (- t a)))
23.1b	(/ (/ 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)))))

series214.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(/ 1 (+ y (* z (- b y))))
22.0ms	(/ 1 (+ (* x y) (* z (- t a))))
13.0ms	(+ (* x y) (* z (- t a)))
163.0ms	(/ (/ 1 (+ y (* z (- b y)))) (/ 1 (+ (* x y) (* z (- t a)))))

simplify99.0ms

Algorithm

egg-herbie

Counts

380 → 380

Iterations

Useful iterations: 1 (36.0ms)

Iter	Nodes	Cost
0	1647	7166
1	5001	6605

prune301.0ms

Filtered

188 candidates to 380 candidates (-102.1%)

Pruning

12 alts after pruning (9 fresh and 3 done)

	Pruned	Kept	Total
New	379	1	380
Fresh	1	8	9
Picked	0	1	1
Done	0	2	2
Total	380	12	392

Merged error: 24.6b

Counts

392 → 12

regimes958.0ms

Accuracy

0% (0.7b remaining)

Error of 23.2b against oracle of 22.6b and baseline of 23.2b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	9
1	24	9

end0.0ms

sample932.0ms

Algorithm

intervals

Results

416.0ms

8416×

body

valid

Details

sample37.0ms

simplify110.0ms

prune4.0ms

localize11.0ms

rewrite21.0ms

series114.0ms

simplify44.0ms

prune154.0ms

localize12.0ms

rewrite24.0ms

series125.0ms

simplify53.0ms

prune137.0ms

localize13.0ms

rewrite27.0ms

series247.0ms

simplify71.0ms

prune144.0ms

localize14.0ms

rewrite50.0ms

series214.0ms

simplify99.0ms

prune301.0ms

regimes958.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample932.0ms

Profiling