Linearization Checker (Calculus)