Details

sample47.0ms

Algorithm

intervals

Results

9.0ms	187×	body	80	valid
6.0ms	25×	body	1280	valid
6.0ms	20×	body	1280	nan
5.0ms	29×	body	640	valid
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

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.2b

Counts

2 → 1

localize9.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))))

rewrite56.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:

19.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))))

series264.0ms

Counts

4 → 12

Calls

4 calls:

90.0ms	(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
39.0ms	(/ (- x y) (- 1.0 y))
50.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))
84.0ms	(log (- 1.0 (/ (- x y) (- 1.0 y))))

simplify46.0ms

Algorithm

egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 2 (35.0ms)

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

prune253.0ms

Filtered

120 candidates to 88 candidates (73.3%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	117	3	120
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	118	3	121

Merged error: 0b

Counts

121 → 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)))))

rewrite30.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)))
3.0ms	(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))
2.0ms	(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))

series198.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(/ 1 (- 1.0 y))
40.0ms	(* (- x y) (/ 1 (- 1.0 y)))
51.0ms	(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))
84.0ms	(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))

simplify58.0ms

Algorithm

egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 2 (47.0ms)

Iter	Nodes	Cost
0	480	836
1	2036	736
2	5001	688

prune194.0ms

Filtered

129 candidates to 83 candidates (64.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	129	0	129
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	129	3	132

Merged error: 0b

Counts

132 → 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)))

rewrite61.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:

16.0ms	(log (/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y)))))
8.0ms	(/ (- x y) (- 1.0 y))
19.0ms	(/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y))))
13.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))

series366.0ms

Counts

4 → 12

Calls

4 calls:

151.0ms	(log (/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y)))))
36.0ms	(/ (- x y) (- 1.0 y))
124.0ms	(/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y))))
54.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))

simplify63.0ms

Algorithm

egg-herbie

Counts

156 → 156

Iterations

Useful iterations: 2 (43.0ms)

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

prune308.0ms

Filtered

156 candidates to 118 candidates (75.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	156	0	156
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	156	3	159

Merged error: 0b

Counts

159 → 3

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite81.0ms

Algorithm

rewrite-expression-head

Rules

63×	`add-sqr-sqrt`
48×	`times-frac`
34×	`*-un-lft-identity`
22×	`add-cube-cbrt`
15×	`unpow-prod-down` `difference-of-squares`
10×	`add-exp-log`
8×	`associate-/r*` `add-log-exp`
7×	`unpow2` `sqr-pow`
6×	`associate-*r/` `frac-add` `add-cbrt-cube`
5×	`pow1` `log-div`
4×	`associate-+l+`
3×	`sub-neg` `log-prod` `flip3--` `div-exp` `frac-sub` `flip--` `associate-/l*` `distribute-lft-out--`
2×	`distribute-rgt-in` `distribute-lft-in` `flip3-+` `flip-+` `div-inv`
1×	`cbrt-undiv` `+-commutative` `pow-to-exp` `frac-2neg` `diff-log` `rem-log-exp` `pow-exp` `clear-num` `sum-log` `log-pow`

Counts

4 → 115

Calls

4 calls:

23.0ms	(- (/ x (pow y 2)) (/ 1 y))
25.0ms	(+ (* 1.0 (- (/ x (pow y 2)) (/ 1 y))) (/ x y))
25.0ms	(log (+ (* 1.0 (- (/ x (pow y 2)) (/ 1 y))) (/ x y)))
5.0ms	(/ x (pow y 2))

series146.0ms

Counts

4 → 12

Calls

4 calls:

32.0ms	(- (/ x (pow y 2)) (/ 1 y))
31.0ms	(+ (* 1.0 (- (/ x (pow y 2)) (/ 1 y))) (/ x y))
62.0ms	(log (+ (* 1.0 (- (/ x (pow y 2)) (/ 1 y))) (/ x y)))
21.0ms	(/ x (pow y 2))

simplify56.0ms

Algorithm

egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 2 (43.0ms)

Iter	Nodes	Cost
0	519	1121
1	1896	1014
2	5002	1005

prune225.0ms

Filtered

127 candidates to 82 candidates (64.6%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	127	0	127
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	127	3	130

Merged error: 0b

Counts

130 → 3

regimes96.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	28	19
1	28	19

end0.0ms

sample1.3s

Algorithm

intervals

Results

269.0ms	5637×	body	80	valid
200.0ms	830×	body	1280	valid
135.0ms	777×	body	640	valid
124.0ms	688×	body	1280	nan
107.0ms	775×	body	640	nan
92.0ms	2637×	body	80	nan
62.0ms	492×	body	320	valid
44.0ms	410×	body	320	nan
22.0ms	264×	body	160	valid
19.0ms	244×	body	160	nan

Details

sample47.0ms

simplify19.0ms

prune2.0ms

localize9.0ms

rewrite56.0ms

series264.0ms

simplify46.0ms

prune253.0ms

localize10.0ms

rewrite30.0ms

series198.0ms

simplify58.0ms

prune194.0ms

localize10.0ms

rewrite61.0ms

series366.0ms

simplify63.0ms

prune308.0ms

localize15.0ms

rewrite81.0ms

series146.0ms

simplify56.0ms

prune225.0ms

regimes96.0ms

bsearch1.0ms

simplify1.0ms

end0.0ms

sample1.3s

Profiling