Computing connected proof(-structure)s from their Taylor expansion