Pow sech x0 Mul asinh Mul E sec cot x2 x0 
Mul Pow sech x0 Add Mul asinh Mul E sec cot x2 x0 -1 Add Mul Mul asinh Mul E sec cot x2 x0 Mul tanh x0 Mul -1 sech x0 Mul Mul sech x0 log sech x0 asinh Mul E sec cot x2 