Details

sample0.0hr

Algorithm

intervals

Results

0.0hr	64×	body	640	valid
0.0hr	115×	body	1280	valid
0.0hr	256×	pre	80	true
0.0hr	38×	body	320	valid
0.0hr	35×	body	80	valid
0.0hr	4×	body	160	valid

simplify0.0hr

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0hr)

Iter	Nodes	Cost
0	15	5
1	22	5
2	33	5
3	39	5
4	50	5
5	70	5
6	99	5
7	124	5
8	166	5
9	259	5
10	260	5
11	260	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: 12.4b

Counts

2 → 1

localize0.0hr

Local error

Found 3 expressions with local error:

0.1b	(+ x (- (tan (+ y z)) (tan a)))
0.2b	(- (tan (+ y z)) (tan a))
3.7b	(tan (+ y z))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

10×	`*-un-lft-identity` `add-log-exp`
5×	`add-sqr-sqrt`
4×	`tan-quot`
3×	`pow1` `add-exp-log` `add-cube-cbrt` `add-cbrt-cube`
2×	`sub-neg` `tan-sum` `associate-+r+` `diff-log` `sum-log` `frac-sub` `distribute-lft-out` `distribute-lft-out--`
1×	`+-commutative` `associate-+r-` `flip3--` `flip3-+` `flip--` `flip-+` `difference-of-squares`

Counts

3 → 42

Calls

3 calls:

0.0hr	(+ x (- (tan (+ y z)) (tan a)))
0.0hr	(- (tan (+ y z)) (tan a))
0.0hr	(tan (+ y z))

series0.0hr

Counts

3 → 9

Calls

3 calls:

0.0hr	(+ x (- (tan (+ y z)) (tan a)))
0.0hr	(- (tan (+ y z)) (tan a))
0.0hr	(tan (+ y z))

simplify0.0hr

Algorithm

egg-herbie

Counts

51 → 51

Iterations

Useful iterations: 2 (0.0hr)

Iter	Nodes	Cost
0	196	346
1	467	335
2	1316	334
3	5002	334

prune0.0hr

Filtered

51 candidates to 39 candidates (23.5%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	44	7	51
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	45	7	52

Merged error: 0.1b

Counts

52 → 7

localize0.0hr

Local error

Found 4 expressions with local error:

0.1b	(- 1 (* (tan y) (tan z)))
0.1b	(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
0.1b	(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
0.3b	(* (tan y) (tan z))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

13×	`add-sqr-sqrt` `*-un-lft-identity` `add-log-exp`
6×	`pow1` `add-exp-log` `add-cube-cbrt` `add-cbrt-cube`
5×	`tan-quot`
3×	`sub-neg` `diff-log` `associate-r` `associate-l`
2×	`associate-+r+` `flip3--` `sum-log` `flip--` `distribute-lft-out` `distribute-lft-out--` `difference-of-squares`
1×	`+-commutative` `frac-times` `associate-+r-` `flip3-+` `times-frac` `associate-r/` `pow-prod-down` `associate-l/` `prod-exp` `*-commutative` `frac-sub` `cbrt-unprod` `flip-+` `unswap-sqr`

Counts

4 → 66

Calls

4 calls:

0.0hr	(- 1 (* (tan y) (tan z)))
0.0hr	(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
0.0hr	(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
0.0hr	(* (tan y) (tan z))

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(- 1 (* (tan y) (tan z)))
0.0hr	(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
0.0hr	(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
0.0hr	(* (tan y) (tan z))

simplify0.0hr

Algorithm

egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 2 (0.0hr)

Iter	Nodes	Cost
0	356	871
1	1108	831
2	3700	824
3	5001	824

prune0.0hr

Filtered

78 candidates to 57 candidates (26.9%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	72	6	78
Fresh	2	4	6
Picked	1	0	1
Done	0	0	0
Total	75	10	85

Merged error: 0.1b

Counts

85 → 10

localize0.0hr

Local error

Found 4 expressions with local error:

0.1b	(+ x (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a)))
0.1b	(- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a))
0.2b	(/ (* (tan y) (sin z)) (cos z))
0.2b	(* (tan y) (sin z))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt` `*-un-lft-identity`
11×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
8×	`add-cube-cbrt`
6×	`pow1`
4×	`times-frac`
3×	`tan-quot` `associate-r` `associate-l` `associate-/r*`
2×	`cbrt-undiv` `sub-neg` `associate-+r+` `diff-log` `div-exp` `associate-*l/` `prod-exp` `sum-log` `cbrt-unprod` `distribute-lft-out` `distribute-lft-out--` `difference-of-squares`
1×	`+-commutative` `associate-+r-` `flip3--` `frac-2neg` `flip3-+` `pow-prod-down` `clear-num` `-commutative` `frac-sub` `flip--` `flip-+` `div-inv` `associate-/l/` `associate-/l` `unswap-sqr`

Counts

4 → 74

Calls

4 calls:

0.0hr	(+ x (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a)))
0.0hr	(- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a))
0.0hr	(/ (* (tan y) (sin z)) (cos z))
0.0hr	(* (tan y) (sin z))

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(+ x (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a)))
0.0hr	(- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a))
0.0hr	(/ (* (tan y) (sin z)) (cos z))
0.0hr	(* (tan y) (sin z))

simplify0.0hr

Algorithm

egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 2 (0.0hr)

Iter	Nodes	Cost
0	391	1035
1	1334	960
2	5002	951

prune0.0hr

Filtered

86 candidates to 62 candidates (27.9%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	84	2	86
Fresh	1	8	9
Picked	1	0	1
Done	0	0	0
Total	86	10	96

Merged error: 0.1b

Counts

96 → 10

localize0.0hr

Local error

Found 4 expressions with local error:

0.1b	(cbrt (pow (- 1 (* (tan y) (tan z))) 3))
0.1b	(- (/ (+ (tan y) (tan z)) (cbrt (pow (- 1 (* (tan y) (tan z))) 3))) (tan a))
0.2b	(pow (- 1 (* (tan y) (tan z))) 3)
0.3b	(* (tan y) (tan z))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

30×	`add-sqr-sqrt`
16×	`cbrt-prod`
14×	`*-un-lft-identity`
12×	`add-cube-cbrt`
7×	`pow1` `add-exp-log` `unpow-prod-down` `cube-prod` `add-cbrt-cube`
6×	`add-log-exp` `difference-of-squares`
5×	`tan-quot` `times-frac`
4×	`cube-div`
3×	`pow-unpow` `flip3--` `associate-r` `associate-l` `flip--` `sqr-pow`
2×	`cube-mult` `cbrt-div` `unpow3`
1×	`frac-times` `pow-to-exp` `sub-neg` `pow-pow` `pow1/3` `diff-log` `associate-r/` `pow-prod-down` `associate-l/` `pow-exp` `prod-exp` `*-commutative` `frac-sub` `rem-cbrt-cube` `cbrt-unprod` `distribute-lft-out--` `rem-cube-cbrt` `unswap-sqr`

Counts

4 → 89

Calls

4 calls:

0.0hr	(cbrt (pow (- 1 (* (tan y) (tan z))) 3))
0.0hr	(- (/ (+ (tan y) (tan z)) (cbrt (pow (- 1 (* (tan y) (tan z))) 3))) (tan a))
0.0hr	(pow (- 1 (* (tan y) (tan z))) 3)
0.0hr	(* (tan y) (tan z))

series0.0hr

Counts

4 → 12

Calls

4 calls:

0.0hr	(cbrt (pow (- 1 (* (tan y) (tan z))) 3))
0.0hr	(- (/ (+ (tan y) (tan z)) (cbrt (pow (- 1 (* (tan y) (tan z))) 3))) (tan a))
0.0hr	(pow (- 1 (* (tan y) (tan z))) 3)
0.0hr	(* (tan y) (tan z))

simplify0.0hr

Algorithm

egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 2 (0.0hr)

Iter	Nodes	Cost
0	402	1065
1	1536	998
2	5002	979

prune0.0hr

Filtered

101 candidates to 64 candidates (36.6%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	101	0	101
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	101	10	111

Merged error: 0.1b

Counts

111 → 10

regimes0.0hr

Accuracy

0% (0.1b remaining)

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

bsearch0.0hr

simplify0.0hr

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0hr)

Iter	Nodes	Cost
0	22	13
1	22	13

end0.0hr

sample0.0hr

Algorithm

intervals

Results

0.0hr	3893×	body	1280	valid
0.0hr	8000×	pre	80	true
0.0hr	1948×	body	640	valid
0.0hr	738×	body	320	valid
0.0hr	1125×	body	80	valid
0.0hr	296×	body	160	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