Решение 

log[5](`+`(5, `-`(`*`(5, `*`(x))))) = `+`(`*`(2, `*`(log[5](2)))){x = `/`(1, 5)}