Details

sample50.0ms

Algorithm

intervals

Results

12.0ms	30×	body	640	valid
8.0ms	185×	body	80	valid
5.0ms	21×	body	1280	valid
4.0ms	22×	body	1280	nan
3.0ms	89×	body	80	nan
2.0ms	16×	body	640	nan
2.0ms	17×	body	320	nan
2.0ms	14×	body	320	valid
0.0ms	6×	body	160	valid
0.0ms	4×	body	160	nan

simplify19.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	19	6
1	29	6
2	41	6
3	60	6
4	78	6
5	94	6
6	109	6
7	139	6
8	214	6
9	279	6
10	279	6

prune2.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: 17.4b

Counts

2 → 1

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
0.0b	(/ (- x y) (- 1.0 y))
1.3b	(- 1.0 (/ (- x y) (- 1.0 y)))
4.2b	(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite58.0ms

Algorithm

rewrite-expression-head

Rules

59×	`add-sqr-sqrt`
51×	`*-un-lft-identity`
28×	`times-frac`
19×	`difference-of-squares`
18×	`add-cube-cbrt`
17×	`distribute-lft-out--`
12×	`log-prod`
7×	`add-exp-log` `add-log-exp`
6×	`pow1` `flip3--` `add-cbrt-cube` `flip--` `associate--r+`
5×	`associate-/r` `associate-/l`
4×	`log-div`
3×	`associate--r-`
2×	`sub-neg` `diff-log` `div-sub` `associate-/r/` `log-pow` `associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `rem-log-exp` `clear-num` `div-inv`

Counts

4 → 108

Calls

4 calls:

17.0ms	(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
8.0ms	(/ (- x y) (- 1.0 y))
13.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))
13.0ms	(log (- 1.0 (/ (- x y) (- 1.0 y))))

series270.0ms

Counts

4 → 12

Calls

4 calls:

93.0ms	(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
42.0ms	(/ (- x y) (- 1.0 y))
50.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))
86.0ms	(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify46.0ms

Algorithm

egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 2 (34.0ms)

Iter	Nodes	Cost
0	488	942
1	1388	894
2	5001	876

prune270.0ms

Filtered

120 candidates to 88 candidates (73.3%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	116	4	120
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	117	4	121

Merged error: 0.0b

Counts

121 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ 1 (- 1.0 y))
0.1b	(* (- x y) (/ 1 (- 1.0 y)))
4.2b	(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))
5.2b	(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

48×	`add-sqr-sqrt`
42×	`*-un-lft-identity`
32×	`times-frac`
25×	`add-cube-cbrt`
21×	`associate-r`
18×	`add-exp-log`
11×	`add-cbrt-cube`
8×	`pow1` `distribute-lft-out--` `difference-of-squares`
6×	`flip3--` `flip--` `add-log-exp`
5×	`associate-l` `associate-/r*`
4×	`div-exp` `prod-exp` `associate-/r/`
3×	`log-prod` `associate-/l*` `unswap-sqr`
2×	`cbrt-undiv` `frac-times` `log-div` `rec-exp` `1-exp` `associate-*l/` `cbrt-unprod` `div-inv`
1×	`sub-neg` `pow-flip` `frac-2neg` `diff-log` `associate-r/` `rem-log-exp` `pow-prod-down` `clear-num` `log-pow` `un-div-inv` `-commutative` `inv-pow`

Counts

4 → 117

Calls

4 calls:

5.0ms	(/ 1 (- 1.0 y))
13.0ms	(* (- x y) (/ 1 (- 1.0 y)))
2.0ms	(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))
3.0ms	(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))

series205.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(/ 1 (- 1.0 y))
36.0ms	(* (- x y) (/ 1 (- 1.0 y)))
86.0ms	(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))
55.0ms	(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))

simplify57.0ms

Algorithm

egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 2 (46.0ms)

Iter	Nodes	Cost
0	480	834
1	2036	732
2	5003	684

prune203.0ms

Filtered

129 candidates to 82 candidates (63.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	129	0	129
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	129	4	133

Merged error: 0.0b

Counts

133 → 4

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (- x y) (- 1.0 y))
0.0b	(log (/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y)))))
0.1b	(/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y))))
1.3b	(- 1.0 (/ (- x y) (- 1.0 y)))

rewrite64.0ms

Algorithm

rewrite-expression-head

Rules

101×	`add-sqr-sqrt`
77×	`*-un-lft-identity`
69×	`times-frac`
37×	`add-cube-cbrt`
28×	`difference-of-squares`
24×	`log-prod`
20×	`distribute-lft-out--`
11×	`associate-/r*`
9×	`add-exp-log`
8×	`add-cbrt-cube` `associate-/l*`
6×	`associate-/r/` `add-log-exp`
5×	`pow1` `flip3--` `flip--`
3×	`div-exp` `div-inv`
2×	`cbrt-undiv` `frac-2neg` `div-sub` `rem-log-exp` `clear-num` `associate-/l/`
1×	`sub-neg` `log-div` `diff-log` `log-pow` `associate--r-`

Counts

4 → 144

Calls

4 calls:

8.0ms	(/ (- x y) (- 1.0 y))
20.0ms	(log (/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y)))))
16.0ms	(/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y))))
14.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))

series371.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(/ (- x y) (- 1.0 y))
154.0ms	(log (/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y)))))
130.0ms	(/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y))))
50.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))

simplify58.0ms

Algorithm

egg-herbie

Counts

156 → 156

Iterations

Useful iterations: 2 (42.0ms)

Iter	Nodes	Cost
0	621	1546
1	1974	1467
2	5001	1448

prune337.0ms

Filtered

156 candidates to 118 candidates (75.6%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	155	1	156
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	155	5	160

Merged error: 0b

Counts

160 → 5

localize13.0ms

Local error

Found 4 expressions with local error:

1.3b	(- 1.0 (/ (- x y) (- 1.0 y)))
1.3b	(- 1.0 (/ (- x y) (- 1.0 y)))
4.2b	(log (- 1.0 (/ (- x y) (- 1.0 y))))
4.2b	(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite61.0ms

Algorithm

rewrite-expression-head

Rules

26×	`add-sqr-sqrt`
14×	`*-un-lft-identity`
12×	`log-prod`
8×	`add-log-exp` `difference-of-squares`
6×	`pow1` `add-exp-log` `add-cube-cbrt`
4×	`log-div` `flip3--` `times-frac` `add-cbrt-cube` `flip--` `distribute-lft-out--`
2×	`sub-neg` `diff-log` `div-sub` `rem-log-exp` `log-pow` `associate--r-`

Counts

4 → 66

Calls

4 calls:

14.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))
13.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))
14.0ms	(log (- 1.0 (/ (- x y) (- 1.0 y))))
18.0ms	(log (- 1.0 (/ (- x y) (- 1.0 y))))

series281.0ms

Counts

4 → 12

Calls

4 calls:

50.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))
58.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))
86.0ms	(log (- 1.0 (/ (- x y) (- 1.0 y))))
87.0ms	(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify62.0ms

Algorithm

egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 2 (15.0ms)

Iter	Nodes	Cost
0	194	688
1	481	626
2	1890	618
3	5002	618

prune244.0ms

Filtered

78 candidates to 62 candidates (79.5%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	78	0	78
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	78	5	83

Merged error: 0b

Counts

83 → 5

regimes190.0ms

Accuracy

98.1% (0.3b remaining)

Error of 0.4b against oracle of 0.1b and baseline of 17.9b

bsearch1.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	19
1	30	19

end0.0ms

sample1.3s

Algorithm

intervals

Results

261.0ms	5689×	body	80	valid
180.0ms	809×	body	1280	valid
135.0ms	799×	body	640	valid
114.0ms	700×	body	1280	nan
108.0ms	784×	body	640	nan
87.0ms	2696×	body	80	nan
55.0ms	457×	body	320	valid
45.0ms	463×	body	320	nan
19.0ms	246×	body	160	valid
15.0ms	236×	body	160	nan

Details

sample50.0ms

simplify19.0ms

prune2.0ms

localize8.0ms

rewrite58.0ms

series270.0ms

simplify46.0ms

prune270.0ms

localize10.0ms

rewrite28.0ms

series205.0ms

simplify57.0ms

prune203.0ms

localize10.0ms

rewrite64.0ms

series371.0ms

simplify58.0ms

prune337.0ms

localize13.0ms

rewrite61.0ms

series281.0ms

simplify62.0ms

prune244.0ms

regimes190.0ms

bsearch1.0ms

simplify2.0ms

end0.0ms

sample1.3s

Profiling