cos((x)^2/2)/log(2,x+2)) at x = 1