Redirecting to Anosov diffeomorphism