Pow x4 acsch sin acsch Pow cot x1 x0 
Mul Pow x4 Add acsch sin acsch Pow cot x1 x0 -1 Mul Mul x4 log x4 Mul Mul -1 Mul cos acsch Pow cot x1 x0 Mul Mul -1 Mul Pow cot x1 Add x0 -1 Mul cot x1 log cot x1 Pow Mul Mul Pow cot x1 x0 Pow cot x1 x0 sqrt Add 1 Mul -1 Pow Mul Pow cot x1 x0 Pow cot x1 x0 -1 -1 Pow Mul Mul sin acsch Pow cot x1 x0 sin acsch Pow cot x1 x0 sqrt Add 1 Mul -1 Pow Mul sin acsch Pow cot x1 x0 sin acsch Pow cot x1 x0 -1 -1 