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