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