How do you solve ln y = pi?