evalf(int(ln(1+sin(x)),x=0..pi/2))