x = log_3 15