AASL 5.3.2 Derivative at a point