An amazing integration result: Lobachevsky's formula

Proofs for the series expansions: https://youtu.be/mL3ftmldMow This is definitely an overpowered trick and the proof is surprisingly elegant.