Details

sample120.0ms

Algorithm

intervals

Results

61.0ms	129×	body	1280	valid
17.0ms	256×	pre	80	true
15.0ms	63×	body	640	valid
4.0ms	24×	body	320	valid
2.0ms	31×	body	80	valid
1.0ms	9×	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

prune3.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: 13.5b

Counts

2 → 1

localize11.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.3b	(tan (+ y z))

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

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

series286.0ms

Counts

3 → 9

Calls

3 calls:

122.0ms	(+ x (- (tan (+ y z)) (tan a)))
114.0ms	(- (tan (+ y z)) (tan a))
50.0ms	(tan (+ y z))

simplify37.0ms

Algorithm

egg-herbie

Counts

51 → 51

Iterations

Useful iterations: 2 (12.0ms)

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

prune139.0ms

Filtered

51 candidates to 39 candidates (76.5%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	43	8	51
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	44	8	52

Merged error: 0.1b

Counts

52 → 8

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 67

Calls

4 calls:

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

series892.0ms

Counts

4 → 12

Calls

4 calls:

334.0ms	(+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)))
93.0ms	(+ (tan y) (tan z))
373.0ms	(- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))
90.0ms	(* (tan y) (tan z))

simplify74.0ms

Algorithm

egg-herbie

Counts

79 → 79

Iterations

Useful iterations: 2 (24.0ms)

Iter	Nodes	Cost
0	367	860
1	1074	821
2	3057	814
3	5001	814

prune247.0ms

Filtered

79 candidates to 59 candidates (74.7%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	73	6	79
Fresh	4	3	7
Picked	1	0	1
Done	0	0	0
Total	78	9	87

Merged error: 0.0b

Counts

87 → 9

localize41.0ms

Local error

Found 4 expressions with local error:

0.1b	(+ (tan y) (tan z))
0.2b	(/ (* (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))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 70

Calls

4 calls:

4.0ms	(+ (tan y) (tan z))
6.0ms	(/ (* (tan y) (sin z)) (cos z))
22.0ms	(- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a))
8.0ms	(* (tan y) (sin z))

series671.0ms

Counts

4 → 12

Calls

4 calls:

90.0ms	(+ (tan y) (tan z))
117.0ms	(/ (* (tan y) (sin z)) (cos z))
395.0ms	(- (/ (+ (tan y) (tan z)) (- 1 (/ (* (tan y) (sin z)) (cos z)))) (tan a))
69.0ms	(* (tan y) (sin z))

simplify40.0ms

Algorithm

egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 2 (32.0ms)

Iter	Nodes	Cost
0	382	781
1	1351	707
2	5002	698

prune270.0ms

Filtered

82 candidates to 61 candidates (74.4%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	81	1	82
Fresh	0	8	8
Picked	1	0	1
Done	0	0	0
Total	82	9	91

Merged error: 0.0b

Counts

91 → 9

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 95

Calls

4 calls:

23.0ms	(- (/ (cbrt (pow (+ (tan y) (tan z)) 3)) (- 1 (* (tan y) (tan z)))) (tan a))
5.0ms	(* (tan y) (tan z))
6.0ms	(pow (+ (tan y) (tan z)) 3)
6.0ms	(cbrt (pow (+ (tan y) (tan z)) 3))

series677.0ms

Counts

4 → 12

Calls

4 calls:

377.0ms	(- (/ (cbrt (pow (+ (tan y) (tan z)) 3)) (- 1 (* (tan y) (tan z)))) (tan a))
93.0ms	(* (tan y) (tan z))
116.0ms	(pow (+ (tan y) (tan z)) 3)
90.0ms	(cbrt (pow (+ (tan y) (tan z)) 3))

simplify57.0ms

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 2 (42.0ms)

Iter	Nodes	Cost
0	448	1027
1	1674	969
2	5002	949

prune274.0ms

Filtered

107 candidates to 67 candidates (62.6%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	107	0	107
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	107	9	116

Merged error: 0.0b

Counts

116 → 9

regimes435.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	13
1	22	13

end0.0ms

sample3.1s

Algorithm

intervals

Results

1.6s	3810×	body	1280	valid
507.0ms	8000×	pre	80	true
476.0ms	1973×	body	640	valid
122.0ms	735×	body	320	valid
61.0ms	1187×	body	80	valid
33.0ms	295×	body	160	valid

Details

sample120.0ms

simplify18.0ms

prune3.0ms

localize11.0ms

rewrite21.0ms

series286.0ms

simplify37.0ms

prune139.0ms

localize16.0ms

rewrite39.0ms

series892.0ms

simplify74.0ms

prune247.0ms

localize41.0ms

rewrite43.0ms

series671.0ms

simplify40.0ms

prune270.0ms

localize24.0ms

rewrite42.0ms

series677.0ms

simplify57.0ms

prune274.0ms

regimes435.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample3.1s

Profiling