Langmuir Hinshelwood Mechanism Elucidated using Symbolic Computation