Proving that two funcs are equivalent is undecidable in general. Still, this SO answer describes some amazing tools! https://stackoverflow.com/a/17046172/509706