4,4-dimethyl-8,14-cholestadien-3beta-ol + formate + 3 oxidized [NADPH--hemoprotein reductase] + 4 H2O + 4 H(+) => 24,25-dihydrolanosterol + 3 reduced [NADPH--hemoprotein reductase] + 3 O2
4,4-dimethyl-8,14-cholestadien-3beta-ol + formate + 3 oxidized [nadph--hemoprotein reductase] + 4 h2o + 4 h(+) => 24,25-dihydrolanosterol + 3 reduced [nadph--hemoprotein reductase] + 3 o2