# Hard integral

But I wonder Dick how did you actually find this way of solving this particular integral? I know the "differentiation under the integral sign" trick but as you've found out those tan and sec made it hard to see if it's actually working so I immediately went looking for another way (and failed...).

Dick