Details

sample44.0ms

Algorithm

intervals

Results

9.0ms	187×	body	80	valid
6.0ms	25×	body	1280	valid
5.0ms	29×	body	640	valid
3.0ms	20×	body	1280	nan
3.0ms	21×	body	640	nan
3.0ms	82×	body	80	nan
2.0ms	19×	body	320	nan
1.0ms	11×	body	320	valid
1.0ms	8×	body	160	nan
0.0ms	4×	body	160	valid

simplify20.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.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.2b

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.4b	(- 1.0 (/ (- x y) (- 1.0 y)))
2.5b	(log (- 1.0 (/ (- x y) (- 1.0 y))))

rewrite76.0ms

Algorithm

rewrite-expression-head

Rules

192×	`add-sqr-sqrt`
184×	`*-un-lft-identity`
105×	`prod-diff`
103×	`times-frac`
91×	`add-cube-cbrt`
49×	`difference-of-squares`
47×	`distribute-lft-out--`
12×	`log-prod`
9×	`pow1` `flip3--` `flip--`
8×	`associate-/r/`
7×	`add-exp-log` `add-log-exp`
6×	`fma-neg` `add-cbrt-cube` `associate--r+`
5×	`associate-/r` `log-pow` `associate-/l`
4×	`expm1-log1p-u` `log-div` `log1p-expm1-u` `div-inv`
3×	`associate--r-`
2×	`sub-neg` `diff-log` `div-sub` `associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `rem-log-exp` `clear-num`

Counts

4 → 227

Calls

4 calls:

16.0ms	(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
8.0ms	(/ (- x y) (- 1.0 y))
16.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))
22.0ms	(log (- 1.0 (/ (- x y) (- 1.0 y))))

series318.0ms

Counts

4 → 12

Calls

4 calls:

92.0ms	(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
49.0ms	(/ (- x y) (- 1.0 y))
70.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))
106.0ms	(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify110.0ms

Algorithm

egg-herbie

Counts

239 → 239

Iterations

Useful iterations: 2 (76.0ms)

Iter	Nodes	Cost
0	986	4621
1	3240	3344
2	5001	3134

prune386.0ms

Filtered

239 candidates to 126 candidates (52.7%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	236	3	239
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	237	3	240

Merged error: 0b

Counts

240 → 3

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ 1 (- 1.0 y))
0.1b	(* (- x y) (/ 1 (- 1.0 y)))
2.4b	(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))
2.5b	(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

50×	`add-sqr-sqrt`
44×	`*-un-lft-identity`
32×	`times-frac`
27×	`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×	`expm1-log1p-u` `div-exp` `prod-exp` `associate-/r/` `log1p-expm1-u`
3×	`log-prod` `fma-neg` `prod-diff` `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 → 131

Calls

4 calls:

6.0ms	(/ 1 (- 1.0 y))
16.0ms	(* (- x y) (/ 1 (- 1.0 y)))
3.0ms	(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))
3.0ms	(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))

series201.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(/ 1 (- 1.0 y))
39.0ms	(* (- x y) (/ 1 (- 1.0 y)))
51.0ms	(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))
87.0ms	(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))

simplify63.0ms

Algorithm

egg-herbie

Counts

143 → 143

Iterations

Useful iterations: 2 (51.0ms)

Iter	Nodes	Cost
0	521	939
1	2176	819
2	5001	766

prune231.0ms

Filtered

143 candidates to 97 candidates (67.8%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	143	0	143
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	143	3	146

Merged error: 0b

Counts

146 → 3

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite77.0ms

Algorithm

rewrite-expression-head

Rules

226×	`add-sqr-sqrt`
202×	`*-un-lft-identity`
144×	`times-frac`
102×	`add-cube-cbrt`
93×	`prod-diff`
58×	`difference-of-squares`
50×	`distribute-lft-out--`
24×	`log-prod`
12×	`associate-/r/`
11×	`associate-/r*`
9×	`add-exp-log`
8×	`flip3--` `add-cbrt-cube` `flip--` `associate-/l*`
6×	`div-inv` `add-log-exp`
5×	`pow1`
4×	`expm1-log1p-u` `log1p-expm1-u`
3×	`fma-neg` `div-exp`
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 → 248

Calls

4 calls:

21.0ms	(log (/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y)))))
9.0ms	(/ (- x y) (- 1.0 y))
17.0ms	(/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y))))
17.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))

series365.0ms

Counts

4 → 12

Calls

4 calls:

149.0ms	(log (/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y)))))
37.0ms	(/ (- x y) (- 1.0 y))
127.0ms	(/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y))))
52.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))

simplify117.0ms

Algorithm

egg-herbie

Counts

260 → 260

Iterations

Useful iterations: 2 (74.0ms)

Iter	Nodes	Cost
0	1074	4812
1	3721	3718
2	5001	3710

prune453.0ms

Filtered

260 candidates to 157 candidates (60.4%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	260	0	260
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	260	3	263

Merged error: 0b

Counts

263 → 3

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (/ x (pow y 2)) (/ 1 y))
3.8b	(fma 1.0 (- (/ x (pow y 2)) (/ 1 y)) (/ x y))
3.9b	(log (fma 1.0 (- (/ x (pow y 2)) (/ 1 y)) (/ x y)))
8.8b	(/ x (pow y 2))

rewrite92.0ms

Algorithm

rewrite-expression-head

Rules

636×	`times-frac`
469×	`add-sqr-sqrt`
440×	`*-un-lft-identity`
428×	`add-cube-cbrt`
364×	`prod-diff`
141×	`unpow-prod-down`
49×	`unpow2` `sqr-pow`
44×	`div-inv`
28×	`fma-neg`
15×	`difference-of-squares`
10×	`add-exp-log`
8×	`associate-/r*`
6×	`add-cbrt-cube` `add-log-exp`
5×	`pow1`
4×	`expm1-log1p-u` `log1p-expm1-u`
3×	`log-prod` `div-exp` `associate-/l*` `distribute-lft-out--`
1×	`cbrt-undiv` `pow-to-exp` `sub-neg` `flip3--` `frac-2neg` `diff-log` `rem-log-exp` `pow-exp` `clear-num` `log-pow` `frac-sub` `flip--` `fma-udef`

Counts

4 → 500

Calls

4 calls:

30.0ms	(- (/ x (pow y 2)) (/ 1 y))
1.0ms	(fma 1.0 (- (/ x (pow y 2)) (/ 1 y)) (/ x y))
1.0ms	(log (fma 1.0 (- (/ x (pow y 2)) (/ 1 y)) (/ x y)))
5.0ms	(/ x (pow y 2))

series166.0ms

Counts

4 → 12

Calls

4 calls:

34.0ms	(- (/ x (pow y 2)) (/ 1 y))
28.0ms	(fma 1.0 (- (/ x (pow y 2)) (/ 1 y)) (/ x y))
67.0ms	(log (fma 1.0 (- (/ x (pow y 2)) (/ 1 y)) (/ x y)))
36.0ms	(/ x (pow y 2))

simplify148.0ms

Algorithm

egg-herbie

Counts

512 → 512

Iterations

Useful iterations: 2 (66.0ms)

Iter	Nodes	Cost
0	1276	10765
1	3395	6095
2	5003	6012

prune464.0ms

Filtered

512 candidates to 134 candidates (26.2%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	512	0	512
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	512	3	515

Merged error: 0b

Counts

515 → 3

regimes100.0ms

Accuracy

99.4% (0.1b remaining)

Error of 0.2b against oracle of 0.1b and baseline of 18.3b

bsearch1.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	18
1	25	18

end0.0ms

sample1.3s

Algorithm

intervals

Results

277.0ms	5637×	body	80	valid
205.0ms	830×	body	1280	valid
141.0ms	777×	body	640	valid
125.0ms	688×	body	1280	nan
111.0ms	775×	body	640	nan
94.0ms	2637×	body	80	nan
62.0ms	492×	body	320	valid
43.0ms	410×	body	320	nan
22.0ms	264×	body	160	valid
19.0ms	244×	body	160	nan

Details

sample44.0ms

simplify20.0ms

prune2.0ms

localize8.0ms

rewrite76.0ms

series318.0ms

simplify110.0ms

prune386.0ms

localize10.0ms

rewrite33.0ms

series201.0ms

simplify63.0ms

prune231.0ms

localize10.0ms

rewrite77.0ms

series365.0ms

simplify117.0ms

prune453.0ms

localize12.0ms

rewrite92.0ms

series166.0ms

simplify148.0ms

prune464.0ms

regimes100.0ms

bsearch1.0ms

simplify1.0ms

end0.0ms

sample1.3s

Profiling