A Go tool find_arctan_relations that searches for Machin‑style arctan formulas for π by selecting arctan(1/x) terms according to prime‑factor norms and applying the PSLQ integer‑relation algorithm.