(√(log3(5-x)))'