sympy>=1.12
tqdm
lightecc