Add E Pow asinh x0 coth exp Pow x0 E 
Mul Pow asinh x0 Add coth exp Pow x0 E -1 Add Mul coth exp Pow x0 E Pow sqrt Add 1 Mul x0 x0 -1 Mul Mul asinh x0 log asinh x0 Mul Mul -1 Pow csch exp Pow x0 E 2 Mul exp Pow x0 E Mul Pow x0 Add E -1 E 