Is A(φUψ)and AGφ∧AFψ equivalent?


This question is regarding CTL. Is A(φUψ)and AGφ∧AFψ equivalent? If it is not equivalent, how come? Thank you!