cot log acosh Mul Pow Mul acos Add acoth asinh E x0 x0 E x0 
Mul Mul -1 Pow csc log acosh Mul Pow Mul acos Add acoth asinh E x0 x0 E x0 2 Mul Mul Add Mul x0 Mul Pow Mul acos Add acoth asinh E x0 x0 Add E -1 Mul E Add Mul x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul Add acoth asinh E x0 Add acoth asinh E x0 -1 acos Add acoth asinh E x0 Pow Mul acos Add acoth asinh E x0 x0 E Pow Mul sqrt Add Mul Pow Mul acos Add acoth asinh E x0 x0 E x0 -1 sqrt Add 1 Mul Pow Mul acos Add acoth asinh E x0 x0 E x0 -1 Pow acosh Mul Pow Mul acos Add acoth asinh E x0 x0 E x0 -1 