Details

sample50.0ms

Algorithm

intervals

Results

8.0ms	166×	body	80	valid
7.0ms	29×	body	1280	valid
5.0ms	28×	body	640	valid
4.0ms	22×	body	1280	nan
3.0ms	80×	body	80	nan
3.0ms	21×	body	320	valid
2.0ms	18×	body	640	nan
2.0ms	20×	body	320	nan
1.0ms	12×	body	160	valid
1.0ms	9×	body	160	nan

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

prune6.0ms

Filtered

1 candidates to 0 candidates (100.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: 22.2b

Counts

2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (- x y) (- 1.0 y))
2.7b	(log (- 1.0 (/ (- x y) (- 1.0 y))))
3.7b	(- 1.0 (/ (- x y) (- 1.0 y)))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

50×	`add-sqr-sqrt`
44×	`*-un-lft-identity`
27×	`times-frac`
16×	`add-cube-cbrt` `difference-of-squares`
14×	`distribute-lft-out--`
6×	`add-exp-log` `log-prod`
5×	`associate-/r` `add-cbrt-cube` `associate-/l` `add-log-exp`
4×	`pow1` `flip3--` `flip--`
2×	`log-div` `div-sub` `associate-/r/` `associate-/l/`
1×	`cbrt-undiv` `sub-neg` `frac-2neg` `diff-log` `div-exp` `rem-log-exp` `clear-num` `log-pow` `div-inv` `associate--r-`

Counts

3 → 85

Calls

3 calls:

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

series27.0ms

Counts

3 → 9

Calls

3 calls:

6.0ms	(/ (- x y) (- 1.0 y))
12.0ms	(log (- 1.0 (/ (- x y) (- 1.0 y))))
9.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))

simplify39.0ms

Algorithm

egg-herbie

Counts

94 → 94

Iterations

Useful iterations: 2 (28.0ms)

Iter	Nodes	Cost
0	404	711
1	1152	666
2	5001	659

prune168.0ms

Filtered

94 candidates to 69 candidates (26.6%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	89	5	94
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	90	5	95

Merged error: 0.3b

Counts

95 → 5

localize10.0ms

Local error

Found 4 expressions with local error:

2.7b	(log (sqrt (- 1.0 (/ (- x y) (- 1.0 y)))))
2.7b	(log (sqrt (- 1.0 (/ (- x y) (- 1.0 y)))))
3.7b	(- 1.0 (/ (- x y) (- 1.0 y)))
3.7b	(- 1.0 (/ (- x y) (- 1.0 y)))

rewrite58.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 76

Calls

4 calls:

14.0ms	(log (sqrt (- 1.0 (/ (- x y) (- 1.0 y)))))
16.0ms	(log (sqrt (- 1.0 (/ (- x y) (- 1.0 y)))))
13.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))
13.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))

series47.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(log (sqrt (- 1.0 (/ (- x y) (- 1.0 y)))))
15.0ms	(log (sqrt (- 1.0 (/ (- x y) (- 1.0 y)))))
9.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))
9.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))

simplify61.0ms

Algorithm

egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 3 (50.0ms)

Iter	Nodes	Cost
0	225	852
1	527	780
2	2093	774
3	5001	766

prune198.0ms

Filtered

88 candidates to 68 candidates (22.7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	86	2	88
Fresh	1	3	4
Picked	0	1	1
Done	0	0	0
Total	87	6	93

Merged error: 0.2b

Counts

93 → 6

localize11.0ms

Local error

Found 4 expressions with local error:

0.3b	(cbrt (pow (log (- 1.0 (/ (- x y) (- 1.0 y)))) 3))
0.3b	(pow (log (- 1.0 (/ (- x y) (- 1.0 y)))) 3)
2.7b	(log (- 1.0 (/ (- x y) (- 1.0 y))))
3.7b	(- 1.0 (/ (- x y) (- 1.0 y)))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

21×	`add-sqr-sqrt`
15×	`*-un-lft-identity`
14×	`cbrt-prod`
11×	`add-cube-cbrt`
10×	`pow1`
8×	`unpow-prod-down` `cube-prod`
6×	`add-exp-log` `log-prod` `add-log-exp`
5×	`log-pow` `add-cbrt-cube`
4×	`difference-of-squares`
3×	`pow-unpow`
2×	`cube-mult` `log-div` `flip3--` `times-frac` `unpow3` `flip--` `distribute-lft-out--` `sqr-pow`
1×	`pow-to-exp` `sub-neg` `pow-pow` `pow1/3` `diff-log` `div-sub` `rem-log-exp` `pow-exp` `rem-cbrt-cube` `associate--r-` `rem-cube-cbrt`

Counts

4 → 81

Calls

4 calls:

2.0ms	(cbrt (pow (log (- 1.0 (/ (- x y) (- 1.0 y)))) 3))
3.0ms	(pow (log (- 1.0 (/ (- x y) (- 1.0 y)))) 3)
15.0ms	(log (- 1.0 (/ (- x y) (- 1.0 y))))
13.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))

series93.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(cbrt (pow (log (- 1.0 (/ (- x y) (- 1.0 y)))) 3))
59.0ms	(pow (log (- 1.0 (/ (- x y) (- 1.0 y)))) 3)
13.0ms	(log (- 1.0 (/ (- x y) (- 1.0 y))))
9.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))

simplify78.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 2 (66.0ms)

Iter	Nodes	Cost
0	728	1086
1	2804	1014
2	5002	999

prune183.0ms

Filtered

93 candidates to 59 candidates (36.6%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	92	1	93
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	92	7	99

Merged error: 0.2b

Counts

99 → 7

localize13.0ms

Local error

Found 4 expressions with local error:

2.7b	(log (- 1.0 (/ (- x y) (- 1.0 y))))
3.7b	(- 1.0 (/ (- x y) (- 1.0 y)))
3.7b	(- 1.0 (/ (- x y) (- 1.0 y)))
3.7b	(- 1.0 (/ (- x y) (- 1.0 y)))

rewrite58.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 65

Calls

4 calls:

14.0ms	(log (- 1.0 (/ (- x y) (- 1.0 y))))
14.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))
15.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))
14.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))

series41.0ms

Counts

4 → 12

Calls

4 calls:

14.0ms	(log (- 1.0 (/ (- x y) (- 1.0 y))))
9.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))
9.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))
9.0ms	(- 1.0 (/ (- x y) (- 1.0 y)))

simplify55.0ms

Algorithm

egg-herbie

Counts

77 → 77

Iterations

Useful iterations: 2 (15.0ms)

Iter	Nodes	Cost
0	201	638
1	518	580
2	2236	575
3	5001	575

prune188.0ms

Filtered

77 candidates to 61 candidates (20.8%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	76	1	77
Fresh	1	3	4
Picked	0	1	1
Done	0	2	2
Total	77	7	84

Merged error: 0.2b

Counts

84 → 7

regimes461.0ms

Accuracy

99.8% (0.0b remaining)

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

bsearch72.0ms

Steps

Iters	Range		Point
10	7423.9342200737565	5906535677041146.0	110125774.79327267
7	-249197998.3190651	-14868208.395061962	-165686570.7256086

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	35	23
1	35	23

end0.0ms

sample1.5s

Algorithm

intervals

Results

278.0ms	5702×	body	80	valid
208.0ms	830×	body	1280	valid
136.0ms	763×	body	640	valid
128.0ms	677×	body	1280	nan
112.0ms	800×	body	640	nan
93.0ms	2669×	body	80	nan
59.0ms	461×	body	320	valid
49.0ms	449×	body	320	nan
21.0ms	244×	body	160	valid
17.0ms	244×	body	160	nan

Details

sample50.0ms

simplify16.0ms

prune6.0ms

localize8.0ms

rewrite37.0ms

series27.0ms

simplify39.0ms

prune168.0ms

localize10.0ms

rewrite58.0ms

series47.0ms

simplify61.0ms

prune198.0ms

localize11.0ms

rewrite35.0ms

series93.0ms

simplify78.0ms

prune183.0ms

localize13.0ms

rewrite58.0ms

series41.0ms

simplify55.0ms

prune188.0ms

regimes461.0ms

bsearch72.0ms

simplify1.0ms

end0.0ms

sample1.5s

Profiling