در دسترس
Applies a much larger set of simplifying transformations
بهطور مستقل قابل بررسی: پاسخ این تابع از مسیری دیگر بازاشتقاق و مقایسه میشود - میزکار و ابزار verify این کار را خودکار انجام میدهند، پس پاسخ نادرست بهجای اعتماد، گرفته میشود. تاریخچه →
همهٔ 6300 تابع · استفاده از این در کلاینت MCP