Learning to Discover Efficient Mathematical Identities