High-order expansion around BCS theory | ResearchHub