Implement bisection mentally: 4 iterations for the root of cos x = x starting from [0, pi/2]