[math-fun] Did any of you integrate √tan in freshman calculus?