Algorithmic Manipulation of Fibonacci Identities