Integral of $$$a^{4^{x}}$$$ with respect to $$$x$$$

Find $$$\int a^{4^{x}}\, dx$$$.

Let $$$u=4^{x}$$$.

Then $$$du=\left(4^{x}\right)^{\prime }dx = 4^{x} \ln{\left(4 \right)} dx$$$ (steps can be seen »), and we have that $$$4^{x} dx = \frac{du}{\ln{\left(4 \right)}}$$$.

Thus,

$${\color{red}{\int{a^{4^{x}} d x}}} = {\color{red}{\int{\frac{a^{u}}{2 u \ln{\left(2 \right)}} d u}}}$$

Apply the constant multiple rule $$$\int c f{\left(u \right)}\, du = c \int f{\left(u \right)}\, du$$$ with $$$c=\frac{1}{2 \ln{\left(2 \right)}}$$$ and $$$f{\left(u \right)} = \frac{a^{u}}{u}$$$:

$${\color{red}{\int{\frac{a^{u}}{2 u \ln{\left(2 \right)}} d u}}} = {\color{red}{\left(\frac{\int{\frac{a^{u}}{u} d u}}{2 \ln{\left(2 \right)}}\right)}}$$

Change the base:

$$\frac{{\color{red}{\int{\frac{a^{u}}{u} d u}}}}{2 \ln{\left(2 \right)}} = \frac{{\color{red}{\int{\frac{e^{u \ln{\left(a \right)}}}{u} d u}}}}{2 \ln{\left(2 \right)}}$$

Let $$$v=u \ln{\left(a \right)}$$$.

Then $$$dv=\left(u \ln{\left(a \right)}\right)^{\prime }du = \ln{\left(a \right)} du$$$ (steps can be seen »), and we have that $$$du = \frac{dv}{\ln{\left(a \right)}}$$$.

Thus,

$$\frac{{\color{red}{\int{\frac{e^{u \ln{\left(a \right)}}}{u} d u}}}}{2 \ln{\left(2 \right)}} = \frac{{\color{red}{\int{\frac{e^{v}}{v} d v}}}}{2 \ln{\left(2 \right)}}$$

This integral (Exponential Integral) does not have a closed form:

$$\frac{{\color{red}{\int{\frac{e^{v}}{v} d v}}}}{2 \ln{\left(2 \right)}} = \frac{{\color{red}{\operatorname{Ei}{\left(v \right)}}}}{2 \ln{\left(2 \right)}}$$

Recall that $$$v=u \ln{\left(a \right)}$$$:

$$\frac{\operatorname{Ei}{\left({\color{red}{v}} \right)}}{2 \ln{\left(2 \right)}} = \frac{\operatorname{Ei}{\left({\color{red}{u \ln{\left(a \right)}}} \right)}}{2 \ln{\left(2 \right)}}$$

Recall that $$$u=4^{x}$$$:

$$\frac{\operatorname{Ei}{\left(\ln{\left(a \right)} {\color{red}{u}} \right)}}{2 \ln{\left(2 \right)}} = \frac{\operatorname{Ei}{\left(\ln{\left(a \right)} {\color{red}{4^{x}}} \right)}}{2 \ln{\left(2 \right)}}$$

Therefore,

$$\int{a^{4^{x}} d x} = \frac{\operatorname{Ei}{\left(4^{x} \ln{\left(a \right)} \right)}}{2 \ln{\left(2 \right)}}$$

Add the constant of integration:

$$\int{a^{4^{x}} d x} = \frac{\operatorname{Ei}{\left(4^{x} \ln{\left(a \right)} \right)}}{2 \ln{\left(2 \right)}}+C$$

$$$\int a^{4^{x}}\, dx = \frac{\operatorname{Ei}{\left(4^{x} \ln\left(a\right) \right)}}{2 \ln\left(2\right)} + C$$$A