Please find the attached figure.

What I have is:

- The length of [AB]

- The length of [AD]

- ABCD is a rectangle

- AFD is a right triangle

- Lines x and y are parallel

- Lines x and z are perpendicular

What I need to find is:

- The value of the angle ADE (a general formula for it)

Help please!