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