常に結果と元の式を満たすxが同じでないといけないの？

こうやったら絶対同値変形になる

みたいなのを見分ける、する方法ってないの？