A ladder rests against a wall at an angle θ with the horizontal. When its foot is pulled away from the wall through a distance of y units, it slides a distance of x units down the wall and makes an angle α with the horizontal, then the value of xy is equal to