Real function/Derivative function/Definition