Details

sample29.0ms

Algorithm

intervals

Results

13.0ms

263×

body

valid

simplify138.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	24	8
1	43	8
2	75	8
3	120	8
4	156	8
5	189	8
6	265	8
7	451	8
8	1023	8
9	3632	8
10	5001	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: 26.0b

Counts

2 → 1

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(* z (- t a))
0.0b	(* z (- b y))
1.9b	(+ (* x y) (* z (- t a)))
25.0b	(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

60×	`add-sqr-sqrt`
56×	`*-un-lft-identity`
54×	`prod-diff`
52×	`add-cube-cbrt`
33×	`distribute-rgt-in` `distribute-lft-in`
22×	`associate-+r+`
10×	`add-exp-log` `associate-r` `add-cbrt-cube`
9×	`times-frac`
8×	`pow1`
6×	`sub-neg` `associate-l` `add-log-exp`
4×	`expm1-log1p-u` `associate-*r/` `log1p-expm1-u`
3×	`flip3-+` `associate-/r` `flip-+` `associate-/l`
2×	`flip3--` `pow-prod-down` `prod-exp` `associate-/r/` `*-commutative` `flip--` `cbrt-unprod` `associate-/l/` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`
1×	`cbrt-undiv` `+-commutative` `fma-def` `frac-2neg` `div-exp` `clear-num` `sum-log` `div-inv`

Counts

4 → 161

Calls

4 calls:

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

series486.0ms

Counts

4 → 12

Calls

4 calls:

41.0ms	(* z (- t a))
37.0ms	(* z (- b y))
50.0ms	(+ (* x y) (* z (- t a)))
357.0ms	(/ (+ (* x y) (* z (- t a))) (+ y (* z (- b y))))

simplify88.0ms

Algorithm

egg-herbie

Counts

173 → 173

Iterations

Useful iterations: 2 (72.0ms)

Iter	Nodes	Cost
0	623	1398
1	2536	1029
2	5002	1026

prune442.0ms

Filtered

173 candidates to 100 candidates (57.8%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	160	13	173
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	161	13	174

Merged error: 25.3b

Counts

174 → 13

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(* z (- t a))
1.3b	(+ (* z b) (* z (- y)))
1.9b	(+ (* x y) (* z (- t a)))
25.0b	(/ (+ (* x y) (* z (- t a))) (+ y (+ (* z b) (* z (- y)))))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

49×	`*-un-lft-identity`
43×	`add-sqr-sqrt`
39×	`add-cube-cbrt`
36×	`prod-diff`
22×	`distribute-rgt-in` `associate-+r+` `distribute-lft-in`
12×	`times-frac`
8×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
6×	`pow1`
5×	`associate-r` `distribute-lft-out`
4×	`expm1-log1p-u` `sub-neg` `flip3-+` `associate-/r*` `flip-+` `log1p-expm1-u`
3×	`associate-l` `associate-/l*`
2×	`+-commutative` `fma-def` `associate-*r/` `sum-log` `associate-/r/` `distribute-rgt-neg-out` `associate-/l/`
1×	`cbrt-undiv` `flip3--` `frac-2neg` `div-exp` `unsub-neg` `pow-prod-down` `prod-exp` `clear-num` `*-commutative` `flip--` `cbrt-unprod` `div-inv` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

4 → 136

Calls

4 calls:

8.0ms	(* z (- t a))
4.0ms	(+ (* z b) (* z (- y)))
6.0ms	(+ (* x y) (* z (- t a)))
10.0ms	(/ (+ (* x y) (* z (- t a))) (+ y (+ (* z b) (* z (- y)))))

series526.0ms

Counts

4 → 12

Calls

4 calls:

42.0ms	(* z (- t a))
47.0ms	(+ (* z b) (* z (- y)))
49.0ms	(+ (* x y) (* z (- t a)))
387.0ms	(/ (+ (* x y) (* z (- t a))) (+ y (+ (* z b) (* z (- y)))))

simplify93.0ms

Algorithm

egg-herbie

Counts

148 → 148

Iterations

Useful iterations: 2 (78.0ms)

Iter	Nodes	Cost
0	561	1281
1	2346	1004
2	5002	991

prune427.0ms

Filtered

148 candidates to 92 candidates (62.2%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	147	1	148
Fresh	1	11	12
Picked	0	1	1
Done	0	0	0
Total	148	13	161

Merged error: 25.3b

Counts

161 → 13

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(* z (- b y))
0.5b	(/ 1 (+ y (* z (- b y))))
1.9b	(+ (* x y) (* z (- t a)))
25.0b	(* (+ (* x y) (* z (- t a))) (/ 1 (+ y (* z (- b y)))))

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

57×	`add-sqr-sqrt`
49×	`*-un-lft-identity`
46×	`add-cube-cbrt`
36×	`prod-diff`
22×	`distribute-rgt-in` `associate-+r+` `distribute-lft-in`
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×	`expm1-log1p-u` `sub-neg` `div-exp` `associate-/r/` `log1p-expm1-u` `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` `fma-def` `frac-2neg` `clear-num` `sum-log` `un-div-inv` `flip--` `distribute-lft-out--` `inv-pow` `difference-of-squares`

Counts

4 → 161

Calls

4 calls:

8.0ms	(* z (- b y))
5.0ms	(/ 1 (+ y (* z (- b y))))
6.0ms	(+ (* x y) (* z (- t a)))
12.0ms	(* (+ (* x y) (* z (- t a))) (/ 1 (+ y (* z (- b y)))))

series596.0ms

Counts

4 → 12

Calls

4 calls:

43.0ms	(* z (- b y))
103.0ms	(/ 1 (+ y (* z (- b y))))
56.0ms	(+ (* x y) (* z (- t a)))
393.0ms	(* (+ (* x y) (* z (- t a))) (/ 1 (+ y (* z (- b y)))))

simplify106.0ms

Algorithm

egg-herbie

Counts

173 → 173

Iterations

Useful iterations: 2 (89.0ms)

Iter	Nodes	Cost
0	658	1375
1	2830	1048
2	5001	1011

prune483.0ms

Filtered

173 candidates to 105 candidates (60.7%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	170	3	173
Fresh	3	8	11
Picked	0	1	1
Done	0	1	1
Total	173	13	186

Merged error: 25.3b

Counts

186 → 13

localize23.0ms

Local error

Found 4 expressions with local error:

0.5b	(/ 1 (/ (+ y (+ (* z b) (* z (- y)))) (+ (* x y) (* z (- t a)))))
1.3b	(+ (* z b) (* z (- y)))
1.9b	(+ (* x y) (* z (- t a)))
24.9b	(/ (+ y (+ (* z b) (* z (- y)))) (+ (* x y) (* z (- t a))))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

114×	`times-frac`
108×	`*-un-lft-identity`
76×	`add-sqr-sqrt` `add-cube-cbrt`
22×	`associate-+r+`
21×	`associate-/r*`
18×	`prod-diff`
17×	`add-exp-log` `distribute-lft-out`
11×	`distribute-rgt-in` `distribute-lft-in` `associate-/r/` `add-cbrt-cube`
8×	`flip3-+` `div-exp` `flip-+` `add-log-exp`
7×	`associate-/l*`
6×	`div-inv`
5×	`pow1`
4×	`cbrt-undiv` `expm1-log1p-u` `distribute-rgt-neg-out` `log1p-expm1-u`
2×	`+-commutative` `associate-+r-` `sub-neg` `rec-exp` `fma-def` `frac-2neg` `1-exp` `div-sub` `unsub-neg` `clear-num` `sum-log` `associate-/l/`
1×	`pow-flip` `inv-pow`

Counts

4 → 190

Calls

4 calls:

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

series1.4s

Counts

4 → 12

Calls

4 calls:

1.0s	(/ 1 (/ (+ y (+ (* z b) (* z (- y)))) (+ (* x y) (* z (- t a)))))
44.0ms	(+ (* z b) (* z (- y)))
56.0ms	(+ (* x y) (* z (- t a)))
333.0ms	(/ (+ y (+ (* z b) (* z (- y)))) (+ (* x y) (* z (- t a))))

simplify112.0ms

Algorithm

egg-herbie

Counts

202 → 202

Iterations

Useful iterations: 2 (85.0ms)

Iter	Nodes	Cost
0	726	2838
1	3069	2356
2	5001	2229

prune519.0ms

Filtered

202 candidates to 117 candidates (57.9%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	200	2	202
Fresh	1	9	10
Picked	1	0	1
Done	0	2	2
Total	202	13	215

Merged error: 22.9b

Counts

215 → 13

regimes580.0ms

Accuracy

0% (1.4b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	20	13
1	20	13

end0.0ms

sample743.0ms

Algorithm

intervals

Results

444.0ms

8372×

body

valid

Details

sample29.0ms

simplify138.0ms

prune3.0ms

localize13.0ms

rewrite40.0ms

series486.0ms

simplify88.0ms

prune442.0ms

localize15.0ms

rewrite34.0ms

series526.0ms

simplify93.0ms

prune427.0ms

localize15.0ms

rewrite44.0ms

series596.0ms

simplify106.0ms

prune483.0ms

localize23.0ms

rewrite45.0ms

series1.4s

simplify112.0ms

prune519.0ms

regimes580.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample743.0ms

Profiling