simplify: tan(2cos^(-1)(x/4))