Removed redundant type hints

let type inference do its thing
Constant deriviate to zero
Add quotient rule