remove dead code that is handled by unrad
remove dead code: only Pow and exp qualify
remove dead code: f(x)**Integer=0 would not come to tsolve
remove dead code; annotate maybe-dead code
lambert coverage test added