Provided herein are non-naturally occurring microbial organisms having a formaldehyde fixation pathway and a formate assimilation pathway, which can further include a methanol metabolic pathway, a methanol oxidation pathway, a hydrogenase and/or a carbon monoxide dehydrogenase. These microbial organisms can further include a butadiene, 1,3-butanediol, crotyl alcohol or 3-buten-2-ol pathway. Additionally provided are methods of using such microbial organisms to produce butadiene, 1,3-butanediol, crotyl alcohol or 3-buten-2-ol.