simplifying the neperian logarithm of a square root
Express `-3*ln(sqrt(3))` as a function of ln(3)
Course reminder : Real functions