Add Mul Pow coth cos Mul acosh log x0 x0 x0 Pow acsch E Add x0 3 x0 
Add Add Mul Pow acsch E Add x0 3 Mul Pow coth cos Mul acosh log x0 x0 Add x0 -1 Add Mul x0 Mul Mul -1 Pow csch cos Mul acosh log x0 x0 2 Mul Mul -1 sin Mul acosh log x0 x0 Add Mul x0 Mul Pow x0 -1 Pow Mul sqrt Add log x0 -1 sqrt Add 1 log x0 -1 acosh log x0 Mul coth cos Mul acosh log x0 x0 log coth cos Mul acosh log x0 x0 Mul Pow coth cos Mul acosh log x0 x0 x0 Mul Pow acsch E Add Add x0 3 -1 Mul acsch E log acsch E 1 