Add E csc acoth Mul Mul sqrt asech E x0 Pow x0 2 
Mul Mul Mul -1 cot acoth Mul Mul sqrt asech E x0 Pow x0 2 csc acoth Mul Mul sqrt asech E x0 Pow x0 2 Mul Add Mul Pow x0 2 sqrt asech E Mul Mul sqrt asech E x0 Mul x0 2 Pow Add 1 Mul -1 Mul Mul Mul sqrt asech E x0 Pow x0 2 Mul Mul sqrt asech E x0 Pow x0 2 -1 