Similarity-Based Equational Inference in Physics