Details

sample72.0ms

Algorithm

intervals

Results

29.0ms

273×

body

valid

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

prune6.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: 23.2b

Counts

2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ y (* z (- b y)))
0.0b	(* z (- b y))
0.4b	(+ (* x y) (* z (- t a)))
22.5b	(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

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

series403.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(+ y (* z (- b y)))
37.0ms	(* z (- b y))
41.0ms	(+ (* x y) (* z (- t a)))
298.0ms	(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

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

prune498.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: 22.6b

Counts

100 → 11

localize13.0ms

Local error

Found 4 expressions with local error:

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

rewrite29.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	(+ (* x y) (* z (- t a)))
6.0ms	(/ 1 (+ y (* z (- b y))))
10.0ms	(* (+ (* x y) (* z (- t a))) (/ 1 (+ y (* z (- b y)))))

series451.0ms

Counts

4 → 12

Calls

4 calls:

34.0ms	(* z (- b y))
42.0ms	(+ (* x y) (* z (- t a)))
80.0ms	(/ 1 (+ y (* z (- b y))))
295.0ms	(* (+ (* x y) (* z (- t a))) (/ 1 (+ y (* z (- b y)))))

simplify60.0ms

Algorithm

egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 2 (49.0ms)

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

prune540.0ms

Filtered

128 candidates to 77 candidates (60.2%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	128	0	128
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	128	11	139

Merged error: 22.6b

Counts

139 → 11

localize17.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)))))
0.4b	(+ (* x y) (* z (- t a)))
22.5b	(/ (+ 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))))

series1.2s

Counts

4 → 12

Calls

4 calls:

28.0ms	(+ y (* z (- b y)))
821.0ms	(/ 1 (/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a)))))
41.0ms	(+ (* x y) (* z (- t a)))
264.0ms	(/ (+ y (* z (- b y))) (+ (* x y) (* z (- t a))))

simplify69.0ms

Algorithm

egg-herbie

Counts

157 → 157

Iterations

Useful iterations: 2 (51.0ms)

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

prune818.0ms

Filtered

157 candidates to 89 candidates (56.7%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	157	0	157
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	157	11	168

Merged error: 22.6b

Counts

168 → 11

localize16.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (- b y))
0.5b	(cbrt (- b y))
0.5b	(cbrt (- b y))
22.5b	(/ (+ (* x y) (* z (- t a))) (+ y (* (* z (* (cbrt (- b y)) (cbrt (- b y)))) (cbrt (- b y)))))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

21×	`add-sqr-sqrt` `*-un-lft-identity`
15×	`cbrt-prod` `add-cube-cbrt`
9×	`times-frac`
6×	`add-exp-log` `cbrt-div` `add-cbrt-cube`
4×	`pow1` `add-log-exp`
3×	`flip3--` `pow1/3` `associate-/r` `flip--` `associate-/l` `distribute-lft-out--` `difference-of-squares`
2×	`flip3-+` `associate-/r/` `flip-+` `associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `div-inv`

Counts

4 → 76

Calls

4 calls:

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

series738.0ms

Counts

4 → 12

Calls

4 calls:

146.0ms	(cbrt (- b y))
146.0ms	(cbrt (- b y))
144.0ms	(cbrt (- b y))
302.0ms	(/ (+ (* x y) (* z (- t a))) (+ y (* (* z (* (cbrt (- b y)) (cbrt (- b y)))) (cbrt (- b y)))))

simplify45.0ms

Algorithm

egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 2 (34.0ms)

Iter	Nodes	Cost
0	337	1064
1	1145	974
2	5001	961

prune530.0ms

Filtered

88 candidates to 74 candidates (84.1%)

Pruning

12 alts after pruning (9 fresh and 3 done)

	Pruned	Kept	Total
New	87	1	88
Fresh	0	8	8
Picked	0	1	1
Done	0	2	2
Total	87	12	99

Merged error: 22.6b

Counts

99 → 12

regimes945.0ms

Accuracy

0% (0.7b remaining)

Error of 22.1b against oracle of 21.4b and baseline of 22.1b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	9
1	24	9

end0.0ms

sample965.0ms

Algorithm

intervals

Results

422.0ms

8454×

body

valid

Details

sample72.0ms

simplify106.0ms

prune6.0ms

localize12.0ms

rewrite22.0ms

series403.0ms

simplify46.0ms

prune498.0ms

localize13.0ms

rewrite29.0ms

series451.0ms

simplify60.0ms

prune540.0ms

localize17.0ms

rewrite27.0ms

series1.2s

simplify69.0ms

prune818.0ms

localize16.0ms

rewrite17.0ms

series738.0ms

simplify45.0ms

prune530.0ms

regimes945.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample965.0ms

Profiling