Pow Mul Mul -1 x0 atanh Mul cot x1 x0 -1 
Mul Pow Mul Mul -1 x0 atanh Mul cot x1 x0 2 Mul -1 Add Mul atanh Mul cot x1 x0 -1 Mul Mul -1 x0 Mul cot x1 Pow Add 1 Mul -1 Mul Mul cot x1 x0 Mul cot x1 x0 -1 