Add x0 log cot csc acot Pow x0 atanh x1 
Add 1 Mul Mul Mul -1 Pow csc csc acot Pow x0 atanh x1 2 Mul Mul Mul -1 cot acot Pow x0 atanh x1 csc acot Pow x0 atanh x1 Mul -1 Mul Mul Pow x0 Add atanh x1 -1 atanh x1 Pow Add 1 Mul Pow x0 atanh x1 Pow x0 atanh x1 -1 Pow cot csc acot Pow x0 atanh x1 -1 