Real function/Higher derivative/Recursive/Definition