simplification of a fraction and the neperian logarithm of a quotient
Express `-2*ln(1/(8))` as a function of ln(2)
Course reminder : Real functions