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