derivative a^a^x