Там дальше не упростишь. Тождество на числах можно проверить. Подставьте x=0.7 и y=0.5 и убедитесь, что правая часть не равна левой. Тождество будет выполняться при x=y.