acoth asec Pow cot x0 x1 
Mul Mul Mul Pow cot x0 Add x1 -1 Mul x1 Mul -1 Pow csc x0 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow cot x0 x1 Pow cot x0 x1 -1 Pow cot x0 x1 Pow cot x0 x1 -1 Pow Add 1 Mul -1 Mul asec Pow cot x0 x1 asec Pow cot x0 x1 -1 