結果 : integration of tan inverse x dx is equal to