Pow x0 sec coth Add asinh E x0 
Mul Pow x0 Add sec coth Add asinh E x0 -1 Add sec coth Add asinh E x0 Mul Mul x0 log x0 Mul Mul tan coth Add asinh E x0 sec coth Add asinh E x0 Mul -1 Pow csch Add asinh E x0 2 