We have made the implementation of symbolic computation programs which can derive identity relations for arbitrarily given mathematical expressions. Simulations of relatively easy several concrete examples have been shown to run within practical speeds.
"Derivations of Identities by Symbolic Computation." Japan J. Indust. Appl. Math. 23 (3) 315 - 339, October 2006.