High order invariant manifold model reduction for systems with non-polynomial non-linearities: geometrically exact finite-element structures and validity limit | Synapse