Yes, it is 8. It can be evaluated in at least 2-3 ways.
(spoiler)
mine was noticing

(based on nice solution for

), substituting it directly into

, and then using

. A cute one!

Also, at this step, one just can easily get explicit expressions for any three variables, just to make sure that the magic works! (I have to confess I've done it)