letsimp works by finding products and transforming them. That is a^n*b^m*c^k .... can be transformed by letsimp to essentially factor out a^r*b^s*c^t and replacing with some expression, if r<=n, s<=m, t<=k. almost anything more complicated will not work with letsimp. RJF