TeX source:
\log 5-\log 7+3 \log x