Mul x0 sin csc acosh Pow acoth x0 cosh E 
Add sin csc acosh Pow acoth x0 cosh E Mul x0 Mul cos csc acosh Pow acoth x0 cosh E Mul Mul Mul -1 cot acosh Pow acoth x0 cosh E csc acosh Pow acoth x0 cosh E Mul Mul Pow acoth x0 Add cosh E -1 Mul cosh E Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add Pow acoth x0 cosh E -1 sqrt Add 1 Pow acoth x0 cosh E -1 