Problem: if two dice are thrown together , the probability of getting a doublet on the dice is
Rationale: "the number of exhaustive outcomes is 36 . let e be the event of getting doublet on the dies is 6 / 36 = 1 / 6 p ( e ) = 1 / 6 . a )"
annotated_formula: divide(const_6, multiply(const_6, const_6))