Assume that $M$ is a Hadamard manifold, i.e., $M$ is a Riemannian manifold such that for any point $x\in M$, the map $$ \exp_x: T_x(M)\rightarrow M $$ is defined on all $T_x(M)$ and is a diffeomorphism.
Say I fix a point $x\in M$, and an orthogonal transformation $K\in O(T_p(M))$ of the tangent space. I define a transformation $T_K:M\rightarrow M$ given by $T_K(\exp_x(v))=\exp_x(Kv)$.
Is $T_K$ an isometry of $M$?
Note that $T_K(x)=x$ and $DT_K\mid_x=K$ on the tangent space, which preserves lengths of tangent vectors by construction. But for different points, say $y,T_K(y)\in M$ I wasn't able to see what the differential map $T_y(M)\rightarrow T_{T_K(y)}(M)$ is, and whether it preserves lengths.