acosh Add Pow cot Mul 2 Pow x0 cosh E x0 2 
Mul Mul Pow cot Mul 2 Pow x0 cosh E Add x0 -1 Add Mul x0 Mul Mul -1 Pow csc Mul 2 Pow x0 cosh E 2 Mul 2 Mul Pow x0 Add cosh E -1 cosh E Mul cot Mul 2 Pow x0 cosh E log cot Mul 2 Pow x0 cosh E Pow Mul sqrt Add Add Pow cot Mul 2 Pow x0 cosh E x0 2 -1 sqrt Add 1 Add Pow cot Mul 2 Pow x0 cosh E x0 2 -1 