arctan(2x/(x^2+35)) > 0.122173