Pow_pos( inv_pos(A) + inv_pos(B), 2 )

It would be less confusing if you did not spread one question across multiple forum topics.

Does my answer to your other topic inv_pos(A)+inv_pos(B) (moderator note: the expression in the title is convex, but the problem in the question is not) - #2 by Mark_L_Stone r resolve this question?