2alpha-hydroxytaxusin + oxidized [NADPH--hemoprotein reductase] + H2O + H(+) => taxusin + reduced [NADPH--hemoprotein reductase] + O2
2alpha-hydroxytaxusin + oxidized [nadph--hemoprotein reductase] + h2o + h(+) => taxusin + reduced [nadph--hemoprotein reductase] + o2