log(0.8,3)*log(3,1.25)