WIP: MrvAsympt algorithm to find asymptotic expansion

rebase of #7529

TODO:
- [ ] #7872