[WIP] Interfacing Arb with CSymPy