/ 2 \ 3 log\sin(x), x - 8*x + 23/ > -------------- log(2, sin(x))
log(sin(x), x^2 - 8*x + 23) > 3/log(2, sin(x))