Refactor TF tests into separate program
Correct quaternion log/exponential derivatives