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