include proof program for _arb_atan_taylor_rs