Да, всё верно, но если ты вместо а подставишь, например, 3, а вместо b - 4, а затем решишь изначальное выражение и то, к которому ты преобразовала, то результаты получатся разные. А я еще немного подумал и решил правильно. Верное преобразование - 2a(ab-b^2+1)-b(1-b^2)