TY - RPRT TI - Fast Trigonometric Functions using the RLIBM Approach AU - Sehyeok Park AU - Santosh Nagarakatte PY - 2025 DO - 10.4204/eptcs.432.9 UR - https://arxiv.org/abs/2510.13426 ID - 2510.13426 ER -