>>643
∫dθ = θ+C
x = tan(θ) より θ = arctan(x)