Question: equality verification

I am trying to explore the equality of two lengthy expressions. Unfortunately, my relations that all are symbolic, are lengthy and I use 'verify' command to explore the equality of them. When I use this command the 'FAIL' message appears. Maybe it is because of lengthy expressions and Maple cannot exploring equality of them. I have attached the corresponding file. Does anyone know what's the real problem? Thanks in advance.

MMatrix.mw

Please Wait...