use Calculus for derivative rules; tidy tests