Details

sample33.0ms

Algorithm

intervals

Results

16.0ms

265×

body

valid

simplify25.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	26	8
1	39	8
2	51	8
3	61	8
4	65	8
5	65	8

prune4.0ms

Filtered

1 candidates to 0 candidates (100.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: 15.9b

Counts

2 → 1

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (+ a 1.0) (/ (* y b) t))
3.2b	(/ (* y b) t)
4.5b	(/ (* y z) t)
12.8b	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

rewrite91.0ms

Algorithm

rewrite-expression-head

Rules

126×	`*-un-lft-identity`
106×	`add-sqr-sqrt`
92×	`times-frac`
82×	`add-cube-cbrt`
76×	`associate-/l*`
72×	`frac-add`
39×	`flip3-+` `flip-+`
38×	`associate-/r/`
36×	`associate-r` `associate-l`
25×	`distribute-lft-out`
23×	`associate-/r*`
16×	`add-exp-log` `add-cbrt-cube`
12×	`*-commutative` `unswap-sqr`
9×	`add-log-exp`
7×	`frac-2neg` `clear-num`
5×	`cbrt-undiv` `div-exp`
4×	`pow1` `expm1-log1p-u` `fma-def` `log1p-expm1-u`
3×	`sum-log` `div-inv`
2×	`+-commutative` `associate-+l+` `prod-exp` `cbrt-unprod` `associate-/l/`

Counts

4 → 275

Calls

4 calls:

20.0ms	(+ (+ a 1.0) (/ (* y b) t))
8.0ms	(/ (* y b) t)
12.0ms	(/ (* y z) t)
36.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

series201.0ms

Counts

4 → 12

Calls

4 calls:

34.0ms	(+ (+ a 1.0) (/ (* y b) t))
27.0ms	(/ (* y b) t)
20.0ms	(/ (* y z) t)
120.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

simplify78.0ms

Algorithm

egg-herbie

Counts

287 → 287

Iterations

Useful iterations: 1 (47.0ms)

Iter	Nodes	Cost
0	1093	2600
1	5001	2431

prune767.0ms

Filtered

287 candidates to 213 candidates (25.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	276	11	287
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	277	11	288

Merged error: 10.7b

Counts

288 → 11

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (+ a 1.0) (/ (* y b) t))
3.2b	(/ (* y b) t)
4.5b	(/ z (/ t y))
12.8b	(/ (+ x (/ z (/ t y))) (+ (+ a 1.0) (/ (* y b) t)))

rewrite102.0ms

Algorithm

rewrite-expression-head

Rules

145×	`*-un-lft-identity`
131×	`times-frac`
117×	`add-sqr-sqrt`
101×	`add-cube-cbrt`
72×	`frac-add`
70×	`associate-/l*`
47×	`associate-/r/`
39×	`flip3-+` `flip-+`
36×	`associate-/r*`
25×	`distribute-lft-out`
24×	`associate-r` `associate-l`
16×	`add-exp-log` `add-cbrt-cube`
9×	`add-log-exp`
8×	`frac-2neg` `clear-num` `*-commutative` `unswap-sqr`
7×	`div-inv`
6×	`cbrt-undiv` `div-exp`
4×	`pow1` `expm1-log1p-u` `fma-def` `log1p-expm1-u`
3×	`sum-log`
2×	`+-commutative` `associate-+l+` `associate-/l/`
1×	`prod-exp` `cbrt-unprod`

Counts

4 → 288

Calls

4 calls:

21.0ms	(+ (+ a 1.0) (/ (* y b) t))
8.0ms	(/ (* y b) t)
8.0ms	(/ z (/ t y))
46.0ms	(/ (+ x (/ z (/ t y))) (+ (+ a 1.0) (/ (* y b) t)))

series212.0ms

Counts

4 → 12

Calls

4 calls:

43.0ms	(+ (+ a 1.0) (/ (* y b) t))
24.0ms	(/ (* y b) t)
26.0ms	(/ z (/ t y))
119.0ms	(/ (+ x (/ z (/ t y))) (+ (+ a 1.0) (/ (* y b) t)))

simplify88.0ms

Algorithm

egg-herbie

Counts

300 → 300

Iterations

Useful iterations: 1 (53.0ms)

Iter	Nodes	Cost
0	1183	2729
1	5001	2578

prune763.0ms

Filtered

300 candidates to 226 candidates (24.7%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	297	3	300
Fresh	4	6	10
Picked	0	1	1
Done	0	0	0
Total	301	10	311

Merged error: 10.4b

Counts

311 → 10

localize19.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ 1 (+ (+ a 1.0) (/ (* y b) t)))
3.2b	(/ (* y b) t)
4.5b	(/ z (/ t y))
12.8b	(* (+ x (/ z (/ t y))) (/ 1 (+ (+ a 1.0) (/ (* y b) t))))

rewrite117.0ms

Algorithm

rewrite-expression-head

Rules

169×	`*-un-lft-identity`
143×	`times-frac`
138×	`add-sqr-sqrt`
115×	`add-cube-cbrt`
85×	`associate-/r/`
81×	`associate-r`
79×	`associate-/l*`
72×	`frac-add`
51×	`associate-/r*`
50×	`flip3-+` `flip-+`
31×	`distribute-lft-out`
28×	`associate-l`
27×	`add-exp-log`
22×	`frac-times`
21×	`add-cbrt-cube`
12×	`clear-num`
11×	`frac-2neg` `associate-*r/` `unswap-sqr`
9×	`div-exp` `*-commutative`
8×	`div-inv`
7×	`pow1` `cbrt-undiv`
5×	`prod-exp`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`un-div-inv` `cbrt-unprod`
2×	`rec-exp` `1-exp` `associate-*l/`
1×	`pow-flip` `pow-prod-down` `inv-pow`

Counts

4 → 345

Calls

4 calls:

24.0ms	(/ 1 (+ (+ a 1.0) (/ (* y b) t)))
8.0ms	(/ (* y b) t)
12.0ms	(/ z (/ t y))
54.0ms	(* (+ x (/ z (/ t y))) (/ 1 (+ (+ a 1.0) (/ (* y b) t))))

series224.0ms

Counts

4 → 12

Calls

4 calls:

61.0ms	(/ 1 (+ (+ a 1.0) (/ (* y b) t)))
23.0ms	(/ (* y b) t)
29.0ms	(/ z (/ t y))
111.0ms	(* (+ x (/ z (/ t y))) (/ 1 (+ (+ a 1.0) (/ (* y b) t))))

simplify111.0ms

Algorithm

egg-herbie

Counts

357 → 357

Iterations

Useful iterations: 1 (63.0ms)

Iter	Nodes	Cost
0	1374	3213
1	5001	3042

prune893.0ms

Filtered

357 candidates to 251 candidates (29.7%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	355	2	357
Fresh	2	6	8
Picked	0	1	1
Done	0	1	1
Total	357	10	367

Merged error: 10.4b

Counts

367 → 10

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (/ (* y z) t))
3.2b	(* b (/ y t))
4.5b	(/ (* y z) t)
12.8b	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* b (/ y t))))

rewrite84.0ms

Algorithm

rewrite-expression-head

Rules

128×	`*-un-lft-identity`
74×	`times-frac`
70×	`add-sqr-sqrt`
57×	`add-cube-cbrt`
39×	`distribute-lft-out`
28×	`associate-/l*`
27×	`associate-*r/`
25×	`associate-r` `associate-l`
24×	`associate-/r/`
22×	`frac-add`
19×	`associate-/r*`
16×	`add-exp-log` `add-cbrt-cube`
14×	`flip3-+` `flip-+`
8×	`clear-num`
6×	`pow1` `un-div-inv` `add-log-exp` `unswap-sqr`
5×	`frac-2neg` `*-commutative`
4×	`cbrt-undiv` `expm1-log1p-u` `div-exp` `log1p-expm1-u`
3×	`fma-def` `prod-exp` `cbrt-unprod` `div-inv`
2×	`associate-/l/`
1×	`+-commutative` `pow-prod-down` `sum-log`

Counts

4 → 207

Calls

4 calls:

15.0ms	(+ x (/ (* y z) t))
9.0ms	(* b (/ y t))
9.0ms	(/ (* y z) t)
42.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* b (/ y t))))

series202.0ms

Counts

4 → 12

Calls

4 calls:

32.0ms	(+ x (/ (* y z) t))
27.0ms	(* b (/ y t))
21.0ms	(/ (* y z) t)
122.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* b (/ y t))))

simplify134.0ms

Algorithm

egg-herbie

Counts

219 → 219

Iterations

Useful iterations: 2 (113.0ms)

Iter	Nodes	Cost
0	807	1614
1	3564	1515
2	5001	1449

prune437.0ms

Filtered

219 candidates to 147 candidates (32.9%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	218	1	219
Fresh	1	6	7
Picked	1	0	1
Done	0	2	2
Total	220	9	229

Merged error: 10.4b

Counts

229 → 9

regimes347.0ms

Accuracy

0% (6.5b remaining)

Error of 16.2b against oracle of 9.7b and baseline of 16.2b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	19	8
1	19	8

end0.0ms

sample663.0ms

Algorithm

intervals

Results

378.0ms

8266×

body

valid