derivative ln ln^2 ln^3 x