f:=x -> sin(100*x)-5*x