Before revision:  To efficiently implement   , we keep a finite number of terms from the Taylor series and provide a provable guarantee on the approximation error.
After revision:  To efficiently implement  SOC , we keep a finite number of terms from the Taylor series and provide a provable guarantee on the approximation error.