log 12^40