>>597
1+y^2の形はy=tanθと置換するのが定石
ちなみに答えは(π/4)-(1/2)log2