Formulate an answer to this elaborate question: What is the formal name of the tree that is the dominant vegetation on the west side of the Ochoco Mountains, commonly known as the ponderosa pine?
ponderosa pine