Details

sample0.0hr

Algorithm

intervals

Results

0.0hr	35×	body	320	valid
0.0hr	54×	body	2560	valid
0.0hr	73×	body	1280	valid
0.0hr	64×	body	640	valid
0.0hr	17×	body	160	valid
0.0hr	13×	body	80	valid

simplify0.0hr

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0hr)

Iter	Nodes	Cost
0	13	5
1	17	5
2	19	5
3	19	5

prune0.0hr

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: 30.5b

Counts

2 → 1

localize0.0hr

Local error

Found 3 expressions with local error:

0.0b	(/ (- x (sin x)) (- x (tan x)))
1.5b	(- x (tan x))
1.6b	(- x (sin x))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

43×	`add-sqr-sqrt` `*-un-lft-identity`
25×	`times-frac`
15×	`add-cube-cbrt`
14×	`distribute-lft-out--` `difference-of-squares`
7×	`add-log-exp`
5×	`add-exp-log` `associate-/r` `add-cbrt-cube` `associate-/l`
4×	`flip3--` `flip--`
3×	`pow1`
2×	`sub-neg` `diff-log` `associate-/r/` `associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `div-sub` `div-exp` `clear-num` `div-inv`

Counts

3 → 80

Calls

3 calls:

0.0hr	(/ (- x (sin x)) (- x (tan x)))
0.0hr	(- x (tan x))
0.0hr	(- x (sin x))

series0.0hr

Counts

3 → 9

Calls

3 calls:

0.0hr	(/ (- x (sin x)) (- x (tan x)))
0.0hr	(- x (tan x))
0.0hr	(- x (sin x))

simplify0.0hr

Algorithm

egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 1 (0.0hr)

Iter	Nodes	Cost
0	363	718
1	1148	684
2	4781	684
3	5001	684

prune0.0hr

Filtered

89 candidates to 63 candidates (29.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	86	3	89
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	87	3	90

Merged error: 0b

Counts

90 → 3

localize0.0hr

Local error

Found 4 expressions with local error:

0.1b	(/ (sin x) (- x (tan x)))
1.4b	(- (/ x (- x (tan x))) (/ (sin x) (- x (tan x))))
1.5b	(- x (tan x))
1.5b	(- x (tan x))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

54×	`*-un-lft-identity`
44×	`add-sqr-sqrt`
33×	`times-frac`
18×	`distribute-lft-out--`
16×	`add-cube-cbrt`
12×	`difference-of-squares`
10×	`add-log-exp`
6×	`add-exp-log` `flip3--` `associate-/r/` `add-cbrt-cube` `flip--`
5×	`associate-/r*`
4×	`pow1`
3×	`sub-neg` `distribute-rgt-out--` `diff-log` `div-inv` `associate-/l*`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `frac-sub` `sub-div`

Counts

4 → 94

Calls

4 calls:

0.0hr	(/ (sin x) (- x (tan x)))
0.0hr	(- (/ x (- x (tan x))) (/ (sin x) (- x (tan x))))
0.0hr	(- x (tan x))
0.0hr	(- x (tan x))

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(/ (sin x) (- x (tan x)))
0.0hr	(- (/ x (- x (tan x))) (/ (sin x) (- x (tan x))))
0.0hr	(- x (tan x))
0.0hr	(- x (tan x))

simplify0.0hr

Algorithm

egg-herbie

Counts

106 → 106

Iterations

Useful iterations: 1 (0.0hr)

Iter	Nodes	Cost
0	376	909
1	1205	870
2	5001	870

prune0.0hr

Filtered

106 candidates to 80 candidates (24.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	106	0	106
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	106	3	109

Merged error: 0b

Counts

109 → 3

localize0.0hr

Local error

Found 3 expressions with local error:

0.1b	(* 9/40 (pow x 2))
0.2b	(* 27/2800 (pow x 4))
13.8b	(- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

20×	`add-sqr-sqrt`
15×	`associate-r`
13×	`add-exp-log`
9×	`add-cube-cbrt` `*-un-lft-identity`
8×	`unpow-prod-down` `add-log-exp`
7×	`add-cbrt-cube` `unswap-sqr`
6×	`associate-l` `prod-exp`
4×	`sqr-pow`
3×	`pow1`
2×	`pow-to-exp` `diff-log` `pow-exp` `*-commutative` `cbrt-unprod` `unpow2`
1×	`sub-neg` `flip3--` `sum-log` `flip--` `associate--r+`

Counts

3 → 66

Calls

3 calls:

0.0hr	(* 9/40 (pow x 2))
0.0hr	(* 27/2800 (pow x 4))
0.0hr	(- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))

series0.0hr

Counts

3 → 9

Calls

3 calls:

0.0hr	(* 9/40 (pow x 2))
0.0hr	(* 27/2800 (pow x 4))
0.0hr	(- (* 9/40 (pow x 2)) (+ (* 27/2800 (pow x 4)) 1/2))

simplify0.0hr

Algorithm

egg-herbie

Counts

75 → 75

Iterations

Useful iterations: 2 (0.0hr)

Iter	Nodes	Cost
0	273	349
1	1123	316
2	5002	313

prune0.0hr

Filtered

75 candidates to 46 candidates (38.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	75	0	75
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	75	3	78

Merged error: 0b

Counts

78 → 3

localize0.0hr

Local error

Found 4 expressions with local error:

0.1b	(/ (- x (sin x)) (sqrt (- x (tan x))))
1.5b	(- x (tan x))
1.5b	(- x (tan x))
1.6b	(- x (sin x))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

61×	`add-sqr-sqrt` `*-un-lft-identity`
40×	`times-frac`
30×	`sqrt-prod`
25×	`add-cube-cbrt`
18×	`distribute-lft-out--` `difference-of-squares`
10×	`add-log-exp`
8×	`associate-/r*`
6×	`add-exp-log` `add-cbrt-cube`
5×	`flip3--` `flip--` `associate-/l*`
4×	`pow1`
3×	`sub-neg` `diff-log`
2×	`sqrt-div` `associate-/r/` `associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `div-sub` `div-exp` `clear-num` `div-inv`

Counts

4 → 112

Calls

4 calls:

0.0hr	(/ (- x (sin x)) (sqrt (- x (tan x))))
0.0hr	(- x (tan x))
0.0hr	(- x (tan x))
0.0hr	(- x (sin x))

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(/ (- x (sin x)) (sqrt (- x (tan x))))
0.0hr	(- x (tan x))
0.0hr	(- x (tan x))
0.0hr	(- x (sin x))

simplify0.0hr

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 2 (0.0hr)

Iter	Nodes	Cost
0	529	1182
1	1875	1127
2	5002	1098

prune0.0hr

Filtered

124 candidates to 82 candidates (33.9%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Merged error: 0b

Counts

127 → 3

regimes0.0hr

Accuracy

100% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 31.4b

bsearch0.0hr

Steps

Iters	Range		Point
9	0.00021166572504141735	1495.4209016812965	0.028340216393681443
10	-249197998.3190651	-3.6532051617239265e-06	-0.03044522579206205

simplify0.0hr

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0hr)

Iter	Nodes	Cost
0	30	14
1	30	14

end0.0hr

sample0.0hr

Algorithm

intervals

Results

0.0hr	1610×	body	2560	valid
0.0hr	2796×	body	1280	valid
0.0hr	1903×	body	640	valid
0.0hr	858×	body	320	valid
0.0hr	469×	body	160	valid
0.0hr	364×	body	80	valid

Details

sample0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

regimes0.0hr

bsearch0.0hr

simplify0.0hr

end0.0hr

sample0.0hr

Profiling