Mul csc acosh Pow E x0 exp atanh acosh Mul x2 x0 
Add Mul exp atanh acosh Mul x2 x0 Mul Mul Mul -1 cot acosh Pow E x0 csc acosh Pow E x0 Mul Mul Pow E Add x0 -1 Mul E log E Pow Mul sqrt Add Pow E x0 -1 sqrt Add 1 Pow E x0 -1 Mul csc acosh Pow E x0 Mul exp atanh acosh Mul x2 x0 Mul Mul x2 Pow Mul sqrt Add Mul x2 x0 -1 sqrt Add 1 Mul x2 x0 -1 Pow Add 1 Mul -1 Mul acosh Mul x2 x0 acosh Mul x2 x0 -1 