Mul acosh x0 acsch Pow csc x0 E 
Add Mul acsch Pow csc x0 E Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul acosh x0 Mul Mul -1 Mul Pow csc x0 Add E -1 Mul E Mul Mul -1 cot x0 csc x0 Pow Mul Mul Pow csc x0 E Pow csc x0 E sqrt Add 1 Mul -1 Pow Mul Pow csc x0 E Pow csc x0 E -1 -1 