Deriving analytic positive steady states of biochemical reaction networks with non-trivial independent decompositions