با عرض ادب:

الگوریتم جالبی است فقط تنها مورد آن همان طور که اشاره کردید خاص بودن آن برای یک نوع داده است که با کمی تغییر به دیگر داده ها نیز قابل تعمیم است.
به طور کلی چون اساس شرط گیت های منطقی است فکر نمی کنم از راه محاسباتی صرف یک راه حل کلی برای تمامی حالات(هر ماشینی و هر زبانی) بتوان داد اما یک راه آن همانطور که اشاره شد تقریب تابع با استفاده از توابع و محاسبات ریاضی ابتدایی است. راهی که گفته ششدتقریب با استفاده از atan بود که فکر جالبی بود با استفاده از بسط ها(تیلور و ...) هم می توان به آن نزدیک شد.
البته من چون به این جا ها رسیده بودم سعی کردم سوال را طوری مطرح کنم که همان جواب اول( با abs) منظور نظر باشد ولی حالا که به این جا رسیده ایم اگر کسی راه حل بهتری سراغ دارد بگوید ما که تا همین جا متوقف شدیم.

یه عشق برنامه نویسی خفن.