Integrals with Coalescing Saddles - 36.9 Integral Identities

DLMF	Formula	Constraints	Maple	Mathematica	Symbolic Maple	Symbolic Mathematica	Numeric Maple	Numeric Mathematica
36.9.E2	${\displaystyle{\displaystyle(\mathrm{Ai}\left(x\right))^{2}=\frac{2^{2/3}}{\pi}\int_{0}^{\infty}\mathrm{Ai}\left(2^{2/3}(u^{2}+x)\right)\mathrm{d}u}}$ (\AiryAi@{x})^{2} = \frac{2^{2/3}}{\pi}\int_{0}^{\infty}\AiryAi@{2^{2/3}(u^{2}+x)}\diff{u}		(AiryAi(x))^(2) = ((2)^(2/3))/(Pi)*int(AiryAi((2)^(2/3)*((u)^(2)+ x)), u = 0..infinity)	(AiryAi[x])^(2) == Divide[(2)^(2/3),Pi]*Integrate[AiryAi[(2)^(2/3)*((u)^(2)+ x)], {u, 0, Infinity}, GenerateConditions->None]	Failure	Failure	Successful [Tested: 3]	Successful [Tested: 3]