cos acoth Pow asinh x0 sec E 
Mul Mul -1 sin acoth Pow asinh x0 sec E Mul Mul Pow asinh x0 Add sec E -1 Mul sec E Pow sqrt Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Pow asinh x0 sec E Pow asinh x0 sec E -1 