int a^x dx