Discovering circle theorems