I was going through some integral problems and I stumbled upon this.
$$\int_{0}^{1} \int_{y^{2}}^{1} \frac{\cosh(\pi x)}{ \sqrt{x} }\,dx\,dy$$
Initially I tried using the $u$ substitution $u$ = $\sqrt{x}$ when integrating wrt $x$, but I ended up with just $\int_{y = 0}^{y = 1} \int_{u=y}^{1} $$\ e^{\pi u^{2}} + e^{- \pi u^{2}} $$\,du\,dy$ which is even more difficult. I thought of using reverse product rule but found no luck with that either. Any thoughts?
If you reverse the order, you'll get$$\int_0^1\int_0^{\sqrt x}\frac{\cosh(\pi x)}{\sqrt x}\,\mathrm dy\,\mathrm dx.$$Can you take it from here?