>>618
arctan(3)-arctan(1/2)=π/4 か?