Use limit definition of derivative (#517)