inverse -x+log_3 x