Details

sample119.0ms

Algorithm

intervals

Results

59.0ms	130×	body	1280	valid
17.0ms	256×	pre	80	true
14.0ms	58×	body	640	valid
4.0ms	24×	body	320	valid
2.0ms	39×	body	80	valid
1.0ms	5×	body	160	valid

simplify18.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

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

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

Counts

2 → 1

localize10.0ms

Local error

Found 3 expressions with local error:

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

rewrite17.0ms

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:

5.0ms	(+ x (- (tan (+ y z)) (tan a)))
7.0ms	(- (tan (+ y z)) (tan a))
4.0ms	(tan (+ y z))

series288.0ms

Counts

3 → 9

Calls

3 calls:

120.0ms	(+ x (- (tan (+ y z)) (tan a)))
113.0ms	(- (tan (+ y z)) (tan a))
55.0ms	(tan (+ y z))

simplify40.0ms

Algorithm

egg-herbie

Counts

51 → 51

Iterations

Useful iterations: 2 (13.0ms)

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

prune151.0ms

Filtered

51 candidates to 39 candidates (76.5%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	42	9	51
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	43	9	52

Merged error: 0.1b

Counts

52 → 9

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 86

Calls

4 calls:

4.0ms	(+ (tan y) (tan z))
8.0ms	(/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z))))
12.0ms	(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
5.0ms	(* (tan y) (tan z))

series782.0ms

Counts

4 → 12

Calls

4 calls:

92.0ms	(+ (tan y) (tan z))
216.0ms	(/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z))))
381.0ms	(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
93.0ms	(* (tan y) (tan z))

simplify109.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 2 (32.0ms)

Iter	Nodes	Cost
0	394	1046
1	1350	1000
2	4350	992
3	5001	992

prune321.0ms

Filtered

98 candidates to 74 candidates (75.5%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	95	3	98
Fresh	1	7	8
Picked	1	0	1
Done	0	0	0
Total	97	10	107

Merged error: 0.0b

Counts

107 → 10

localize18.0ms

Local error

Found 4 expressions with local error:

0.2b	(- (/ (+ (tan y) (tan z)) (- 1 (log (exp (* (tan y) (tan z)))))) (tan a))
0.2b	(exp (* (tan y) (tan z)))
0.3b	(* (tan y) (tan z))
3.2b	(log (exp (* (tan y) (tan z))))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 61

Calls

4 calls:

18.0ms	(- (/ (+ (tan y) (tan z)) (- 1 (log (exp (* (tan y) (tan z)))))) (tan a))
4.0ms	(exp (* (tan y) (tan z)))
6.0ms	(* (tan y) (tan z))
2.0ms	(log (exp (* (tan y) (tan z))))

series685.0ms

Counts

4 → 12

Calls

4 calls:

381.0ms	(- (/ (+ (tan y) (tan z)) (- 1 (log (exp (* (tan y) (tan z)))))) (tan a))
120.0ms	(exp (* (tan y) (tan z)))
92.0ms	(* (tan y) (tan z))
92.0ms	(log (exp (* (tan y) (tan z))))

simplify56.0ms

Algorithm

egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 2 (17.0ms)

Iter	Nodes	Cost
0	261	684
1	705	622
2	1821	612
3	5002	612

prune244.0ms

Filtered

73 candidates to 55 candidates (75.3%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	73	0	73
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	73	10	83

Merged error: 0.0b

Counts

83 → 10

localize20.0ms

Local error

Found 4 expressions with local error:

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

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

51×	`*-un-lft-identity`
42×	`add-sqr-sqrt`
28×	`times-frac`
20×	`add-cube-cbrt`
13×	`add-exp-log` `add-cbrt-cube`
12×	`difference-of-squares`
9×	`associate-/r*`
7×	`distribute-lft-out`
6×	`pow1` `distribute-lft-out--` `add-log-exp`
5×	`tan-quot` `associate-/l*`
4×	`associate-/l/`
3×	`cbrt-undiv` `div-exp` `associate-r` `associate-l`
2×	`flip3--` `frac-2neg` `associate-*l/` `prod-exp` `clear-num` `associate-/r/` `flip--` `cbrt-unprod` `div-inv`
1×	`sub-neg` `flip3-+` `diff-log` `pow-prod-down` `frac-add` `*-commutative` `frac-sub` `flip-+` `unswap-sqr`

Counts

4 → 108

Calls

4 calls:

6.0ms	(/ (* (tan y) (sin z)) (cos z))
11.0ms	(/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z))))
17.0ms	(- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a))
9.0ms	(* (tan y) (sin z))

series758.0ms

Counts

4 → 12

Calls

4 calls:

95.0ms	(/ (* (tan y) (sin z)) (cos z))
211.0ms	(/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z))))
384.0ms	(- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a))
67.0ms	(* (tan y) (sin z))

simplify57.0ms

Algorithm

egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 2 (39.0ms)

Iter	Nodes	Cost
0	489	1551
1	1849	1459
2	5002	1449

prune338.0ms

Filtered

120 candidates to 83 candidates (69.2%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	120	0	120
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	120	10	130

Merged error: 0.0b

Counts

130 → 10

regimes578.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	13
1	21	13

end0.0ms

sample3.3s

Algorithm

intervals

Results

1.7s	3892×	body	1280	valid
532.0ms	8000×	pre	80	true
502.0ms	1991×	body	640	valid
128.0ms	704×	body	320	valid
62.0ms	1138×	body	80	valid
33.0ms	275×	body	160	valid

Details

sample119.0ms

simplify18.0ms

prune2.0ms

localize10.0ms

rewrite17.0ms

series288.0ms

simplify40.0ms

prune151.0ms

localize15.0ms

rewrite32.0ms

series782.0ms

simplify109.0ms

prune321.0ms

localize18.0ms

rewrite31.0ms

series685.0ms

simplify56.0ms

prune244.0ms

localize20.0ms

rewrite47.0ms

series758.0ms

simplify57.0ms

prune338.0ms

regimes578.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample3.3s

Profiling