x=log_2_2 \frac{13-15y}{5y-1}