add sym and trans to holDerivationLib