My own problem! Enjoy.
Show that for , one has
Is there a clever way to do this or just brute stuff? If you created it you probably worked backwards from something and so have an "ideal" solution which retraces your steps. I would guess the easiest way to do this would be to have that be the LHS and then we are trying to show that and to start squaring stuff.