Details

sample323.0ms

Algorithm

intervals

Results

59.0ms	123×	body	1280	valid
19.0ms	256×	pre	80	true
15.0ms	58×	body	640	valid
5.0ms	28×	body	320	valid
3.0ms	40×	body	80	valid
1.0ms	7×	body	160	valid

simplify490.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (7.0ms)

Iter	Nodes	Cost
0	185	9
1	185	9

prune6.0ms

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.3b

Counts

2 → 1

localize12.0ms

Local error

Found 3 expressions with local error:

0.1b	(+ x (- (tan (+ y z)) (tan a)))
0.1b	(- (tan (+ y z)) (tan a))
3.6b	(tan (+ y z))

rewrite20.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))
6.0ms	(tan (+ y z))

series111.0ms

Counts

3 → 9

Calls

3 calls:

41.0ms	(+ x (- (tan (+ y z)) (tan a)))
45.0ms	(- (tan (+ y z)) (tan a))
25.0ms	(tan (+ y z))

simplify70.0ms

Algorithm

egg-herbie

Counts

51 → 51

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	4916	570
1	4916	570

prune88.0ms

Filtered

39 candidates to 51 candidates (-30.8%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	46	5	51
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	47	5	52

Merged error: 0.1b

Counts

52 → 5

localize22.0ms

Local error

Found 4 expressions with local error:

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

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-sqr-sqrt`
15×	`add-exp-log` `add-cbrt-cube`
14×	`tan-quot` `*-un-lft-identity`
13×	`associate-*l/`
12×	`add-cube-cbrt`
10×	`pow1` `associate-l`
9×	`associate-r` `frac-add`
8×	`associate-*r/` `associate-/l/`
7×	`flip3-+` `flip-+`
4×	`prod-exp` `cbrt-unprod` `add-log-exp`
3×	`times-frac` `pow-prod-down` `-commutative` `associate-/l` `unswap-sqr`
2×	`cbrt-undiv` `frac-times` `div-exp` `associate-/r/`
1×	`flip3--` `frac-2neg` `clear-num` `associate-/r*` `flip--` `div-inv` `distribute-lft-out`

Counts

4 → 95

Calls

4 calls:

7.0ms	(* (+ (tan y) (tan z)) (cos a))
5.0ms	(* (tan y) (tan z))
5.0ms	(* (tan y) (tan z))
17.0ms	(/ (+ (* (+ (tan y) (tan z)) (cos a)) (* (sin a) (+ (* (tan y) (tan z)) -1))) (* (- 1 (* (tan y) (tan z))) (cos a)))

series231.0ms

Counts

4 → 12

Calls

4 calls:

34.0ms	(* (+ (tan y) (tan z)) (cos a))
23.0ms	(* (tan y) (tan z))
22.0ms	(* (tan y) (tan z))
151.0ms	(/ (+ (* (+ (tan y) (tan z)) (cos a)) (* (sin a) (+ (* (tan y) (tan z)) -1))) (* (- 1 (* (tan y) (tan z))) (cos a)))

simplify43.0ms

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5436	1771

prune180.0ms

Filtered

82 candidates to 107 candidates (-30.5%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	102	5	107
Fresh	2	2	4
Picked	1	0	1
Done	0	0	0
Total	105	7	112

Merged error: 0.0b

Counts

112 → 7

localize27.0ms

Local error

Found 4 expressions with local error:

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

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-exp-log` `add-cbrt-cube`
16×	`add-sqr-sqrt`
12×	`add-cube-cbrt` `*-un-lft-identity`
11×	`associate-*l/`
10×	`tan-quot`
9×	`associate-/l/`
8×	`pow1` `frac-add`
7×	`associate-*r/`
6×	`flip3-+` `times-frac` `associate-r` `associate-l` `flip-+`
4×	`cbrt-undiv` `div-exp` `prod-exp` `associate-/r` `cbrt-unprod` `associate-/l` `add-log-exp`
2×	`frac-2neg` `pow-prod-down` `clear-num` `associate-/r/` `*-commutative` `div-inv` `unswap-sqr`
1×	`frac-times` `flip3--` `flip--`

Counts

4 → 93

Calls

4 calls:

7.0ms	(* (tan z) (sin y))
6.0ms	(/ (* (tan z) (sin y)) (cos y))
5.0ms	(* (tan y) (tan z))
20.0ms	(/ (+ (* (+ (tan y) (tan z)) (cos a)) (* (sin a) (+ (* (tan y) (tan z)) -1))) (* (- 1 (/ (* (tan z) (sin y)) (cos y))) (cos a)))

series209.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(* (tan z) (sin y))
22.0ms	(/ (* (tan z) (sin y)) (cos y))
23.0ms	(* (tan y) (tan z))
148.0ms	(/ (+ (* (+ (tan y) (tan z)) (cos a)) (* (sin a) (+ (* (tan y) (tan z)) -1))) (* (- 1 (/ (* (tan z) (sin y)) (cos y))) (cos a)))

simplify31.0ms

Algorithm

egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 0 (20.0ms)

Iter	Nodes	Cost
0	5512	1859

prune153.0ms

Filtered

81 candidates to 105 candidates (-29.6%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	104	1	105
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	104	8	112

Merged error: 0.0b

Counts

112 → 8

localize28.0ms

Local error

Found 4 expressions with local error:

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

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-exp-log` `add-cbrt-cube`
16×	`add-sqr-sqrt`
12×	`add-cube-cbrt` `*-un-lft-identity`
11×	`associate-*l/`
10×	`tan-quot`
9×	`associate-/l/`
8×	`pow1` `frac-add`
7×	`associate-*r/`
6×	`flip3-+` `times-frac` `associate-r` `associate-l` `flip-+`
4×	`cbrt-undiv` `div-exp` `prod-exp` `associate-/r` `cbrt-unprod` `associate-/l` `add-log-exp`
2×	`frac-2neg` `pow-prod-down` `clear-num` `associate-/r/` `*-commutative` `div-inv` `unswap-sqr`
1×	`frac-times` `flip3--` `flip--`

Counts

4 → 93

Calls

4 calls:

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

series210.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(/ (* (tan y) (sin z)) (cos z))
22.0ms	(* (tan y) (tan z))
16.0ms	(* (tan y) (sin z))
149.0ms	(/ (+ (* (+ (tan y) (tan z)) (cos a)) (* (sin a) (+ (* (tan y) (tan z)) -1))) (* (- 1 (/ (* (tan y) (sin z)) (cos z))) (cos a)))

simplify31.0ms

Algorithm

egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 0 (20.0ms)

Iter	Nodes	Cost
0	5483	1861

prune116.0ms

Filtered

81 candidates to 105 candidates (-29.6%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	105	0	105
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	105	8	113

Merged error: 0.0b

Counts

113 → 8

regimes745.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	65	35
1	65	35

end0.0ms

sample3.5s

Algorithm

intervals

Results

1.7s	3883×	body	1280	valid
531.0ms	8000×	pre	80	true
488.0ms	1971×	body	640	valid
121.0ms	715×	body	320	valid
62.0ms	1150×	body	80	valid
33.0ms	281×	body	160	valid

Details

sample323.0ms

simplify490.0ms

prune6.0ms

localize12.0ms

rewrite20.0ms

series111.0ms

simplify70.0ms

prune88.0ms

localize22.0ms

rewrite38.0ms

series231.0ms

simplify43.0ms

prune180.0ms

localize27.0ms

rewrite40.0ms

series209.0ms

simplify31.0ms

prune153.0ms

localize28.0ms

rewrite41.0ms

series210.0ms

simplify31.0ms

prune116.0ms

regimes745.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample3.5s

Profiling