WolframAlpha computational knowledge AI
solve ln(x) + ln(x-2) = ln(15)