Details

sample49.0ms

Algorithm

intervals

Results

9.0ms	181×	body	80	valid
6.0ms	24×	body	1280	valid
5.0ms	29×	body	1280	nan
4.0ms	21×	body	640	valid
4.0ms	14×	body	160	valid
3.0ms	22×	body	640	nan
3.0ms	83×	body	80	nan
2.0ms	16×	body	320	valid
1.0ms	8×	body	320	nan
0.0ms	7×	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: 18.5b

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

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

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

series261.0ms

Counts

4 → 12

Calls

4 calls:

89.0ms	(- 1.0 (log (- 1.0 (/ (- x y) (- 1.0 y)))))
40.0ms	(/ (- x y) (- 1.0 y))
82.0ms	(log (- 1.0 (/ (- x y) (- 1.0 y))))
50.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))

simplify45.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

prune280.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

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ 1 (- 1.0 y))
0.1b	(* (- x y) (/ 1 (- 1.0 y)))
3.2b	(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))
6.1b	(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))

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

series244.0ms

Counts

4 → 12

Calls

4 calls:

39.0ms	(/ 1 (- 1.0 y))
60.0ms	(* (- x y) (/ 1 (- 1.0 y)))
93.0ms	(log (- 1.0 (* (- x y) (/ 1 (- 1.0 y)))))
52.0ms	(- 1.0 (* (- x y) (/ 1 (- 1.0 y))))

simplify65.0ms

Algorithm

egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 2 (51.0ms)

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

prune212.0ms

Filtered

129 candidates to 83 candidates (64.3%)

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	(log (/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y)))))
0.0b	(/ (- x y) (- 1.0 y))
0.2b	(/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y))))
3.2b	(- 1.0 (/ (- x y) (- 1.0 y)))

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

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

series396.0ms

Counts

4 → 12

Calls

4 calls:

160.0ms	(log (/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y)))))
36.0ms	(/ (- x y) (- 1.0 y))
145.0ms	(/ (exp 1.0) (- 1.0 (/ (- x y) (- 1.0 y))))
55.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))

simplify57.0ms

Algorithm

egg-herbie

Counts

156 → 156

Iterations

Useful iterations: 2 (41.0ms)

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

prune332.0ms

Filtered

156 candidates to 118 candidates (75.6%)

Pruning

5 alts after pruning (3 fresh and 2 done)

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

Merged error: 0b

Counts

160 → 5

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(log (+ (* (* 1.0 (exp 1.0)) (- x y)) (* 1.0 (exp 1.0))))
0.0b	(+ (* (* 1.0 (exp 1.0)) (- x y)) (* 1.0 (exp 1.0)))
0.3b	(* (* 1.0 (exp 1.0)) (- x y))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

9×	`pow1`
8×	`add-exp-log` `add-cbrt-cube`
7×	`add-sqr-sqrt` `*-un-lft-identity`
5×	`add-cube-cbrt` `associate-r` `add-log-exp`
4×	`distribute-rgt-in` `sub-neg` `associate-+l+` `distribute-lft-in`
3×	`log-prod` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`log-div` `flip3-+` `associate-*r/` `flip-+`
1×	`+-commutative` `flip3--` `rem-log-exp` `associate-l` `sum-log` `log-pow` `*-commutative` `flip--` `distribute-lft-out--` `difference-of-squares`

Counts

3 → 55

Calls

3 calls:

9.0ms	(log (+ (* (* 1.0 (exp 1.0)) (- x y)) (* 1.0 (exp 1.0))))
9.0ms	(+ (* (* 1.0 (exp 1.0)) (- x y)) (* 1.0 (exp 1.0)))
11.0ms	(* (* 1.0 (exp 1.0)) (- x y))

series368.0ms

Counts

3 → 9

Calls

3 calls:

174.0ms	(log (+ (* (* 1.0 (exp 1.0)) (- x y)) (* 1.0 (exp 1.0))))
105.0ms	(+ (* (* 1.0 (exp 1.0)) (- x y)) (* 1.0 (exp 1.0)))
89.0ms	(* (* 1.0 (exp 1.0)) (- x y))

simplify48.0ms

Algorithm

egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 2 (42.0ms)

Iter	Nodes	Cost
0	326	591
1	1456	505
2	5001	464

prune109.0ms

Filtered

64 candidates to 43 candidates (67.2%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	64	0	64
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	64	5	69

Merged error: 0b

Counts

69 → 5

regimes144.0ms

Accuracy

98.9% (0.2b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 17.9b

bsearch1.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	20
1	31	20

end0.0ms

sample1.3s

Algorithm

intervals

Results

278.0ms	5686×	body	80	valid
204.0ms	819×	body	1280	valid
134.0ms	738×	body	640	valid
123.0ms	682×	body	1280	nan
107.0ms	768×	body	640	nan
97.0ms	2665×	body	80	nan
65.0ms	480×	body	320	valid
48.0ms	461×	body	320	nan
24.0ms	277×	body	160	valid
16.0ms	232×	body	160	nan

Details

sample49.0ms

simplify19.0ms

prune2.0ms

localize8.0ms

rewrite55.0ms

series261.0ms

simplify45.0ms

prune280.0ms

localize9.0ms

rewrite27.0ms

series244.0ms

simplify65.0ms

prune212.0ms

localize10.0ms

rewrite59.0ms

series396.0ms

simplify57.0ms

prune332.0ms

localize9.0ms

rewrite31.0ms

series368.0ms

simplify48.0ms

prune109.0ms

regimes144.0ms

bsearch1.0ms

simplify1.0ms

end0.0ms

sample1.3s

Profiling