Mul asec csch Pow x0 cot x1 x0 
Add Mul x0 Mul Mul Mul Mul -1 coth Pow x0 cot x1 csch Pow x0 cot x1 Mul Pow x0 Add cot x1 -1 cot x1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul csch Pow x0 cot x1 csch Pow x0 cot x1 -1 csch Pow x0 cot x1 csch Pow x0 cot x1 -1 asec csch Pow x0 cot x1 