Add log atan acosh Mul x3 Pow E csch x0 2 
Mul Mul Mul Mul x3 Mul Pow E Add csch x0 -1 Mul Mul E log E Mul Mul -1 coth x0 csch x0 Pow Mul sqrt Add Mul x3 Pow E csch x0 -1 sqrt Add 1 Mul x3 Pow E csch x0 -1 Pow Add 1 Mul acosh Mul x3 Pow E csch x0 acosh Mul x3 Pow E csch x0 -1 Pow atan acosh Mul x3 Pow E csch x0 -1 