val secant : (float -> float) -> float -> float
val second_order : (float -> float) -> float -> float