derivative ln3x