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