Details

analyze912.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
25%	74.9%	0.1%	3
25%	74.9%	0.1%	4
31.2%	68.7%	0.1%	5
31.2%	59.3%	9.5%	6
34.3%	54.6%	11%	7
34.3%	49.2%	16.5%	8
35.9%	46.4%	17.7%	9
35.9%	42.1%	22%	10
36.7%	40.6%	22.7%	11
36.7%	39.1%	24.2%	12
37.1%	38.3%	24.7%	13
37.1%	36.7%	26.2%	14

sample297.0ms

Algorithm

intervals

Results

198.0ms	144×	body	5120	exit
35.0ms	76×	body	1280	nan
22.0ms	64×	body	640	nan
17.0ms	256×	body	80	valid
5.0ms	26×	body	320	nan
1.0ms	10×	body	160	nan
1.0ms	7×	body	80	overflowed
0.0ms	5×	body	80	nan
0.0ms	3×	body	80	invalid

simplify72.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	4891	7
1	4891	7

prune10.0ms

Filtered

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

Counts

2 → 2

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b	(/ (pow l (exp w)) (exp w))
0.2b	(pow l (exp w))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

21×	`times-frac`
20×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
15×	`unpow-prod-down`
7×	`associate-/l*`
5×	`add-exp-log` `sqr-pow`
4×	`add-cbrt-cube`
3×	`pow1` `pow-unpow` `div-exp` `associate-/r*`
2×	`pow-to-exp` `pow-exp` `add-log-exp`
1×	`cbrt-undiv` `pow-pow` `frac-2neg` `clear-num` `div-inv`

Counts

2 → 62

Calls

2 calls:

5.0ms	(/ (pow l (exp w)) (exp w))
3.0ms	(pow l (exp w))

series38.0ms

Counts

2 → 6

Calls

2 calls:

23.0ms	(/ (pow l (exp w)) (exp w))
15.0ms	(pow l (exp w))

simplify46.0ms

Algorithm

egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5129	793

prune89.0ms

Filtered

49 candidates to 68 candidates (-38.8%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	63	5	68
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	65	5	70

Merged error: 0.1b

Counts

70 → 5

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (exp w))
0.0b	(/ (pow (pow l (sqrt (exp w))) (sqrt (exp w))) (exp w))
0.2b	(pow (pow l (sqrt (exp w))) (sqrt (exp w)))
0.2b	(pow l (sqrt (exp w)))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

53×	`unpow-prod-down`
38×	`add-sqr-sqrt`
37×	`add-cube-cbrt` `*-un-lft-identity`
33×	`times-frac`
12×	`pow-unpow`
11×	`associate-/l*` `sqr-pow`
10×	`add-exp-log`
9×	`pow-exp` `sqrt-prod`
6×	`pow1` `add-cbrt-cube`
5×	`pow-to-exp` `div-exp`
4×	`sqrt-pow1` `add-log-exp`
3×	`exp-prod` `associate-/r*`
2×	`pow-pow`
1×	`cbrt-undiv` `rem-sqrt-square` `frac-2neg` `pow1/2` `clear-num` `div-inv`

Counts

4 → 125

Calls

4 calls:

2.0ms	(sqrt (exp w))
7.0ms	(/ (pow (pow l (sqrt (exp w))) (sqrt (exp w))) (exp w))
4.0ms	(pow (pow l (sqrt (exp w))) (sqrt (exp w)))
3.0ms	(pow l (sqrt (exp w)))

series85.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(sqrt (exp w))
35.0ms	(/ (pow (pow l (sqrt (exp w))) (sqrt (exp w))) (exp w))
30.0ms	(pow (pow l (sqrt (exp w))) (sqrt (exp w)))
17.0ms	(pow l (sqrt (exp w)))

simplify37.0ms

Algorithm

egg-herbie

Counts

137 → 137

Iterations

Useful iterations: 0 (24.0ms)

Iter	Nodes	Cost
0	5048	1721

prune143.0ms

Filtered

95 candidates to 137 candidates (-44.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	135	2	137
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	135	7	142

Merged error: 0.1b

Counts

142 → 7

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(cbrt (exp w))
0.2b	(pow (sqrt l) (exp w))
0.2b	(pow (sqrt l) (exp w))
0.5b	(* (/ (pow (sqrt l) (exp w)) (* (cbrt (exp w)) (cbrt (exp w)))) (/ (pow (sqrt l) (exp w)) (cbrt (exp w))))

rewrite56.0ms

Algorithm

rewrite-expression-head

Rules

165×	`add-sqr-sqrt`
146×	`times-frac`
104×	`add-exp-log`
92×	`unpow-prod-down`
64×	`associate-r`
54×	`add-cube-cbrt` `*-un-lft-identity`
53×	`cbrt-prod`
46×	`sqrt-prod`
45×	`div-exp` `unswap-sqr`
40×	`prod-exp`
28×	`sqr-pow`
18×	`add-cbrt-cube`
17×	`pow-to-exp` `pow-exp`
14×	`associate-l`
10×	`pow1`
8×	`cbrt-unprod`
7×	`cbrt-undiv`
6×	`pow-unpow` `pow-pow`
4×	`add-log-exp`
2×	`sqrt-pow1` `pow1/2` `sqrt-pow2` `div-inv`
1×	`frac-times` `pow1/3` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative`

Counts

4 → 226

Calls

4 calls:

2.0ms	(cbrt (exp w))
3.0ms	(pow (sqrt l) (exp w))
3.0ms	(pow (sqrt l) (exp w))
32.0ms	(* (/ (pow (sqrt l) (exp w)) (* (cbrt (exp w)) (cbrt (exp w)))) (/ (pow (sqrt l) (exp w)) (cbrt (exp w))))

series86.0ms

Counts

4 → 12

Calls

4 calls:

18.0ms	(cbrt (exp w))
18.0ms	(pow (sqrt l) (exp w))
18.0ms	(pow (sqrt l) (exp w))
33.0ms	(* (/ (pow (sqrt l) (exp w)) (* (cbrt (exp w)) (cbrt (exp w)))) (/ (pow (sqrt l) (exp w)) (cbrt (exp w))))

simplify62.0ms

Algorithm

egg-herbie

Counts

238 → 238

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5286	4943

prune202.0ms

Filtered

137 candidates to 238 candidates (-73.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	237	1	238
Fresh	0	5	5
Picked	1	0	1
Done	0	1	1
Total	238	7	245

Merged error: 0.1b

Counts

245 → 7

localize12.0ms

Local error

Found 4 expressions with local error:

0.2b	(pow (* (sqrt (pow l (sqrt (exp w)))) (sqrt (pow l (sqrt (exp w))))) (sqrt (exp w)))
0.2b	(pow l (sqrt (exp w)))
0.2b	(pow l (sqrt (exp w)))
0.5b	(* (sqrt (pow l (sqrt (exp w)))) (sqrt (pow l (sqrt (exp w)))))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

63×	`sqrt-prod`
52×	`add-sqr-sqrt`
27×	`unpow-prod-down`
24×	`add-cube-cbrt` `*-un-lft-identity`
21×	`pow1`
18×	`pow-unpow`
16×	`unswap-sqr`
15×	`sqr-pow`
14×	`pow-pow`
12×	`sqrt-pow1` `pow1/2` `swap-sqr`
11×	`add-exp-log`
10×	`associate-r` `associate-l`
6×	`pow-prod-down` `pow-sqr` `pow-prod-up` `add-cbrt-cube`
4×	`pow-exp` `add-log-exp`
3×	`pow-to-exp`
2×	`pow2` `pow-plus` `sqrt-unprod` `prod-exp`
1×	`rem-square-sqrt` `*-commutative` `sqrt-pow2` `cbrt-unprod`

Counts

4 → 142

Calls

4 calls:

8.0ms	(pow (* (sqrt (pow l (sqrt (exp w)))) (sqrt (pow l (sqrt (exp w))))) (sqrt (exp w)))
3.0ms	(pow l (sqrt (exp w)))
3.0ms	(pow l (sqrt (exp w)))
9.0ms	(* (sqrt (pow l (sqrt (exp w)))) (sqrt (pow l (sqrt (exp w)))))

series82.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(pow (* (sqrt (pow l (sqrt (exp w)))) (sqrt (pow l (sqrt (exp w))))) (sqrt (exp w)))
20.0ms	(pow l (sqrt (exp w)))
17.0ms	(pow l (sqrt (exp w)))
17.0ms	(* (sqrt (pow l (sqrt (exp w)))) (sqrt (pow l (sqrt (exp w)))))

simplify63.0ms

Algorithm

egg-herbie

Counts

154 → 154

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	4930	1584
1	4930	1584

prune120.0ms

Filtered

79 candidates to 154 candidates (-94.9%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	154	0	154
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	154	7	161

Merged error: 0.1b

Counts

161 → 7

regimes115.0ms

Accuracy

0% (0.2b remaining)

Error of 0.3b against oracle of 0.1b and baseline of 0.3b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	12
1	7	12

end0.0ms

sample8.9s

Algorithm

intervals

Results

6.1s	4456×	body	5120	exit
1.1s	2342×	body	1280	nan
592.0ms	1990×	body	640	nan
537.0ms	8000×	body	80	valid
177.0ms	946×	body	320	nan
34.0ms	285×	body	160	nan
10.0ms	205×	body	80	nan
9.0ms	130×	body	80	overflowed
9.0ms	129×	body	80	invalid
5.0ms	2×	body	5120	nan

Details

analyze912.0ms

sample297.0ms

simplify72.0ms

prune10.0ms

localize9.0ms

rewrite9.0ms

series38.0ms

simplify46.0ms

prune89.0ms

localize9.0ms

rewrite20.0ms

series85.0ms

simplify37.0ms

prune143.0ms

localize12.0ms

rewrite56.0ms

series86.0ms

simplify62.0ms

prune202.0ms

localize12.0ms

rewrite28.0ms

series82.0ms

simplify63.0ms

prune120.0ms

regimes115.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample8.9s

Profiling