[appendix] Check calculation for appendix D and E in mathematica