∫dx/(√(20-x^2+8x))