The pythagorean property is . I think that the substitution should be . Then , and
The integrand can be transformed to a square root involving tanh x by use of the Pythagoran property relating sech x and tanh x. Then a very clever trigonometric substitution can be used to rationalize the radical. Confirm that formula works by evaluating the integral on the interval (0,1), then checking by numerical integration.
Can anyone show me how to do this?