Tag derive potential energy of spring