derivative ln ln ln x