integral of tanx/(secx - 9)^1/2