This is already available in ZKF (zkf_sincos, zkf_atan2), we just need to incorporate it into the frontend and MIR.
This is already available in ZKF (zkf_sincos, zkf_atan2), we just need to incorporate it into the frontend and MIR.