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