acot Pow x0 cot Pow acsch cos E acsc x1 
Mul -1 Mul Mul Pow x0 Add cot Pow acsch cos E acsc x1 -1 cot Pow acsch cos E acsc x1 Pow Add 1 Mul Pow x0 cot Pow acsch cos E acsc x1 Pow x0 cot Pow acsch cos E acsc x1 -1 