计算 integrate from 0 to 1 of arctan x dx 。