Tag derivation of potential energy of spring