Sentence 1: The inverse of the double exponential function is the double logarithm ( ln ( `` x '' ) ) .
Sentence 2: The inverse of the double exponential function is the double logarithm ln ( ln ( `` x '' ) ) .
Question: Do Sentence 1 and Sentence 2 express the same meaning? Yes or No?