[WIP] Rewriting the Univariate Solver

This PR aims to rewrite a cleaner and robust univariate equation solver.
    - [x] polynomial
    - [x] rational
    - [x] trigonometric
    - [ ] functions solvable by LambertW
Addressed in https://github.com/hargup/sympy/commit/ff2e2dd490b4f74c2b4101dc6d35298b0a9a8013#diff-d41d8cd98f00b204e9800998ecf8427e