Mathematica gibi sembolik hesaplama araçları, trigonometrik ve ters trigonometrik fonksiyonları basitleştirme konusunda genellikle beklentileri karşılar. Örneğin, Sin[ArcCos[x]] ifadesini √(1 - x²) olarak basitleştirir. Ancak, hiperbolik fonksiyonlara geçildiğinde, özellikle Sinh[ArcCosh[x]] durumunda, Mathematica doğrudan √(x² - 1) yerine daha karmaşık bir ifade döndürür. Bu durum, ilk bakışta bir eksiklik gibi görünse de, aslında matematiksel olarak daha doğru bir yaklaşımdır. Örneğin, Sinh[ArcCosh[2]] ifadesi -√3 sonucunu verirken, √(2² - 1) ifadesi √3'tür; Mathematica'nın cevabı bu durumda doğru işareti içermektedir.
Bu farklılığın temel nedeni, ArcCosh fonksiyonunun titizlikle nasıl tanımlandığına dayanır. Cosh fonksiyonu çift bir fonksiyon olduğundan (cosh(-x) = cosh(x)), ArcCosh'un tek bir değer döndürmesi için bir ana değer seçimi yapılması gerekir; genellikle x > 1 için pozitif gerçek sayı olarak tanımlanır. Ancak, ArcCosh'u tüm karmaşık düzlemde analitik bir fonksiyon olarak tanımlayabilmek için bir "dal kesimi" (branch cut) yapmak zorunludur. Mathematica'nın belgelerinde de belirtildiği gibi, ArcCosh[z] fonksiyonunun karmaşık z düzleminde -∞'dan +1'e uzanan bir dal kesimi süreksizliği bulunur.
Dal kesimi üzerindeki x değerleri (örneğin x ≤ 1) için ArcCosh'u analitik bir fonksiyon olarak genişletmek mümkün değildir. Bu durumda, dal kesimine yukarıdan mı yoksa aşağıdan mı yaklaşılacağı gibi bir seçim yapılması gerekir ve bu seçim, fonksiyonun değerini etkiler. Mathematica, bu dal kesimlerini ve karmaşık düzlemdeki davranışları dikkate alarak, her zaman matematiksel olarak en doğru ve tutarlı sonucu verecek şekilde bir basitleştirme stratejisi benimser. Bu nedenle, Sinh[ArcCosh[x]] için döndürdüğü ifade, farklı x değerleri için doğru işareti ve değeri garanti eden, daha genel bir formdur.
Mathematica'nın matematiksel ifadeleri basitleştirme şekli, karmaşık fonksiyon tanımlarının ve dal kesimlerinin derinlemesine anlaşılmasını gerektirir.