sin acot Add x4 acsch cot x0 
Mul cos acot Add x4 acsch cot x0 Mul -1 Mul Mul Mul -1 Mul -1 Pow csc x0 2 Pow Mul Mul cot x0 cot x0 sqrt Add 1 Mul -1 Pow Mul cot x0 cot x0 -1 -1 Pow Add 1 Mul Add x4 acsch cot x0 Add x4 acsch cot x0 -1 