积分 1/(x^2+16)貌似有个ARCTAN 之类的。高数都忘了。