This is almost unreadable. Are you asking to evaluate
?
According to a pm from vikrant, Prove It has the correct formula to be evaluated, I believe. So, what's desired is
I am not qualified to answer this question (other than simply asking Mathematica to spit out the answer, which it does), so someone else please continue.