公式としては参考書や教科書には載ってないかも知れないし、載って無くても不思議ではありません。
なぜなら、 a^(log[a]b) = b というのが log[a]b の定義そのものだから。
log[a] b は、a を何乗すれば b になるかという数
a^x = b となる x が log[a]b
なので、
a^log[a]b = b は、対数の定義そのもの。
参考書で公式を探すのではなく、教科書と参考書で「理解」しましょう。
対数の公式も暗記すべきものなどは無く、全てなぜそうなるのか理解しておくべきものです。がんばって。