Dear Wolfram community, I am trying to simplify the following expression
Simplify[Abs[B Exp[2 z] Cos[x + y] + A Cos[y - z]] /( B Exp[2 z] Cos[x + y] + A Cos[y - z]),
B Exp[2 z] Cos[x + y] + A Cos[y - z] > 0]
And it returns
-1 B E^(2 z) Cos[x + y] + A Cos[y - z] < 0
1 True
Why does it not just return
1
since I specified that
B Exp[2 z] Cos[x + y] + A Cos[y - z] > 0