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