Details

sample42.0ms

Algorithm

intervals

Results

20.0ms

374×

body

valid

simplify153.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 6 (151.0ms)

Iter	Nodes	Cost
0	38	9
1	103	9
2	327	9
3	921	9
4	1996	9
5	4841	9
6	5001	8

prune10.0ms

Filtered

1 candidates to 1 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: 11.3b

Counts

2 → 2

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(fma (- 4.0) (/ (* t a) c) (/ (fma x (* 9.0 y) b) (* z c)))
0.1b	(fma x (* 9.0 y) b)
5.5b	(/ (* t a) c)
10.8b	(/ (fma x (* 9.0 y) b) (* z c))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

72×	`times-frac`
70×	`add-sqr-sqrt`
54×	`add-cube-cbrt` `*-un-lft-identity`
24×	`associate-r` `associate-l`
15×	`associate-/r` `associate-/l`
14×	`add-exp-log` `add-cbrt-cube`
8×	`*-commutative` `unswap-sqr`
4×	`pow1` `cbrt-undiv` `expm1-log1p-u` `div-exp` `log1p-expm1-u` `add-log-exp`
2×	`frac-2neg` `prod-exp` `clear-num` `cbrt-unprod` `fma-udef` `div-inv`

Counts

4 → 154

Calls

4 calls:

1.0ms	(fma (- 4.0) (/ (* t a) c) (/ (fma x (* 9.0 y) b) (* z c)))
1.0ms	(fma x (* 9.0 y) b)
7.0ms	(/ (* t a) c)
7.0ms	(/ (fma x (* 9.0 y) b) (* z c))

series342.0ms

Counts

4 → 12

Calls

4 calls:

226.0ms	(fma (- 4.0) (/ (* t a) c) (/ (fma x (* 9.0 y) b) (* z c)))
34.0ms	(fma x (* 9.0 y) b)
20.0ms	(/ (* t a) c)
62.0ms	(/ (fma x (* 9.0 y) b) (* z c))

simplify72.0ms

Algorithm

egg-herbie

Counts

166 → 166

Iterations

Useful iterations: 2 (58.0ms)

Iter	Nodes	Cost
0	580	1090
1	2367	1022
2	5001	1021

prune651.0ms

Filtered

166 candidates to 131 candidates (78.9%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	156	10	166
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	158	10	168

Merged error: 4.7b

Counts

168 → 10

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(fma (- 4.0) (/ a (/ c t)) (/ (fma x (* 9.0 y) b) (* z c)))
0.1b	(fma x (* 9.0 y) b)
5.2b	(/ a (/ c t))
10.8b	(/ (fma x (* 9.0 y) b) (* z c))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

111×	`times-frac`
81×	`add-sqr-sqrt`
73×	`add-cube-cbrt` `*-un-lft-identity`
28×	`associate-/r*`
14×	`add-exp-log` `add-cbrt-cube`
12×	`associate-r` `associate-l`
9×	`associate-/r/` `associate-/l*`
6×	`div-inv`
5×	`cbrt-undiv` `div-exp`
4×	`pow1` `expm1-log1p-u` `*-commutative` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
3×	`frac-2neg` `clear-num`
2×	`fma-udef`
1×	`prod-exp` `cbrt-unprod`

Counts

4 → 167

Calls

4 calls:

1.0ms	(fma (- 4.0) (/ a (/ c t)) (/ (fma x (* 9.0 y) b) (* z c)))
1.0ms	(fma x (* 9.0 y) b)
7.0ms	(/ a (/ c t))
7.0ms	(/ (fma x (* 9.0 y) b) (* z c))

series329.0ms

Counts

4 → 12

Calls

4 calls:

209.0ms	(fma (- 4.0) (/ a (/ c t)) (/ (fma x (* 9.0 y) b) (* z c)))
40.0ms	(fma x (* 9.0 y) b)
22.0ms	(/ a (/ c t))
58.0ms	(/ (fma x (* 9.0 y) b) (* z c))

simplify79.0ms

Algorithm

egg-herbie

Counts

179 → 179

Iterations

Useful iterations: 1 (20.0ms)

Iter	Nodes	Cost
0	643	1218
1	2703	1144
2	5002	1144

prune710.0ms

Filtered

179 candidates to 142 candidates (79.3%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	173	6	179
Fresh	5	4	9
Picked	1	0	1
Done	0	0	0
Total	179	10	189

Merged error: 4.7b

Counts

189 → 10

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b	(fma 9.0 (/ (* x y) (* z c)) (/ b (* z c)))
4.4b	(/ b (* z c))
5.2b	(/ a (/ c t))
9.8b	(/ (* x y) (* z c))

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

255×	`times-frac`
211×	`add-sqr-sqrt`
151×	`add-cube-cbrt` `*-un-lft-identity`
90×	`associate-r` `associate-l`
40×	`associate-/r*`
30×	`*-commutative` `unswap-sqr`
26×	`add-exp-log` `add-cbrt-cube`
21×	`associate-/l*`
9×	`cbrt-undiv` `div-exp` `associate-/r/`
7×	`div-inv`
5×	`prod-exp` `cbrt-unprod`
4×	`pow1` `expm1-log1p-u` `frac-2neg` `clear-num` `log1p-expm1-u` `add-log-exp`
1×	`fma-udef`

Counts

4 → 345

Calls

4 calls:

1.0ms	(fma 9.0 (/ (* x y) (* z c)) (/ b (* z c)))
7.0ms	(/ b (* z c))
7.0ms	(/ a (/ c t))
13.0ms	(/ (* x y) (* z c))

series166.0ms

Counts

4 → 12

Calls

4 calls:

91.0ms	(fma 9.0 (/ (* x y) (* z c)) (/ b (* z c)))
22.0ms	(/ b (* z c))
22.0ms	(/ a (/ c t))
31.0ms	(/ (* x y) (* z c))

simplify72.0ms

Algorithm

egg-herbie

Counts

357 → 357

Iterations

Useful iterations: 1 (38.0ms)

Iter	Nodes	Cost
0	1336	2244
1	5002	2161

prune1.5s

Filtered

357 candidates to 259 candidates (72.5%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	353	4	357
Fresh	3	6	9
Picked	1	0	1
Done	0	0	0
Total	357	10	367

Merged error: 0.0b

Counts

367 → 10

localize16.0ms

Local error

Found 4 expressions with local error:

2.9b	(/ x (* z c))
4.4b	(/ b (* z c))
5.2b	(/ a (/ c t))
5.7b	(* y (/ x (* z c)))

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

185×	`times-frac`
158×	`add-sqr-sqrt`
126×	`*-un-lft-identity`
125×	`add-cube-cbrt`
76×	`associate-r`
52×	`associate-/r*`
39×	`associate-l`
28×	`add-exp-log` `add-cbrt-cube`
18×	`associate-*r/`
16×	`associate-/l*` `unswap-sqr`
13×	`*-commutative`
9×	`cbrt-undiv` `div-exp` `associate-/r/`
8×	`div-inv`
6×	`pow1` `prod-exp` `clear-num` `cbrt-unprod`
5×	`frac-2neg`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
2×	`un-div-inv`
1×	`pow-prod-down`

Counts

4 → 297

Calls

4 calls:

7.0ms	(/ x (* z c))
7.0ms	(/ b (* z c))
7.0ms	(/ a (/ c t))
17.0ms	(* y (/ x (* z c)))

series95.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(/ x (* z c))
21.0ms	(/ b (* z c))
22.0ms	(/ a (/ c t))
27.0ms	(* y (/ x (* z c)))

simplify127.0ms

Algorithm

egg-herbie

Counts

309 → 309

Iterations

Useful iterations: 1 (32.0ms)

Iter	Nodes	Cost
0	981	1557
1	4875	1479
2	5002	1479

prune1.1s

Filtered

309 candidates to 233 candidates (75.4%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	305	4	309
Fresh	3	6	9
Picked	1	0	1
Done	0	0	0
Total	309	10	319

Merged error: 0.0b

Counts

319 → 10

regimes513.0ms

Accuracy

17.8% (8.9b remaining)

Error of 9.0b against oracle of 0.1b and baseline of 10.9b

bsearch277.0ms

Steps

Iters	Range	Point
8	9.755685699633882e+178	2.7018291731608336e+181	1.0887209274456963e+179
8	-5.1929098001275876e-306	-6.7102388536115e-309	-7.08057975020406e-309
8	-6.665004283870999e-08	-1.3720238017739068e-12	-2.7030268561822704e-10

Iters

Range

Point

9.755685699633882e+178

2.7018291731608336e+181

1.0887209274456963e+179

-5.1929098001275876e-306

-6.7102388536115e-309

-7.08057975020406e-309

-6.665004283870999e-08

-1.3720238017739068e-12

-2.7030268561822704e-10

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	59	39
1	63	39
2	66	39
3	66	39

end0.0ms

sample1.1s

Algorithm

intervals

Results

596.0ms

12676×

body

valid