Let $a: (0,\infty)\rightarrow (0,\infty)$ and let $a_s\equiv a(s)$ $\forall s>0$.
Let $f: \mathbb{R}\rightarrow (0,\infty)$ where $f(x)\equiv \log(a_{e^x})$.
Could you help me to show that $f(x)$ satisfies the Cauchy Function Equation $$ f(x+y)=f(x)+f(y) $$ (e.g., see the end of p.3 here)