Solve first – ask questions later: Discovering geometry using symbolic geometry and CAS