Using the logarithmic form of \(\operatorname { arcosh } x\), prove that the derivative of \(\operatorname { arcosh } x\) is \(\frac { 1 } { \sqrt { x ^ { 2 } - 1 } }\).
Hence find \(\int _ { 1 } ^ { 2 } \operatorname { arcosh } x \mathrm {~d} x\), giving your answer in exact logarithmic form.
Ali tries to evaluate \(\int _ { 0 } ^ { 1 } \operatorname { arcosh } x \mathrm {~d} x\) using his calculator, and gets an 'error'. Explain why.