Βασικά δε λύνεται με τις γνώσεις του λυκείου γιατί χρειάζεται η αντίστροφη συνάρτηση της εφαπτομένης. Η συνάρτηση της εφαπτομένης f(x)=εφx με πεδίο ορισμού το Α=(-π/2, π/2) έχει πεδίο τιμών το f(A)=R. Στο Α η f είναι 1-1 και συνεπώς αντιστρέψιμη. Δηλαδή ισχύει η ισοδυναμία:
\Leftrightarrow x={f}^{-1}(y))
όπου x ανήκει A και y ανήκει f(A)
Η αντίστροφη συνάρτηση συμβολίζεται ως
Για τον υπολογισμό του παραπάνω ολοκληρώματος θεωρούμε την αντικατάσταση:
όπου -π/2<θ<-π/2 και u ανήκει R. Επομένως

.
Χρησιμοποιώντας την ταυτότητα:

έχουμε: