acosh Pow csch sin x0 acot asin x6 
Mul Mul Pow csch sin x0 Add acot asin x6 -1 Mul acot asin x6 Mul Mul Mul -1 coth sin x0 csch sin x0 cos x0 Pow Mul sqrt Add Pow csch sin x0 acot asin x6 -1 sqrt Add 1 Pow csch sin x0 acot asin x6 -1 