Add Mul atanh x2 Mul Pow E Pow x0 cot Add x2 Add x3 x0 x7 -2 
Mul atanh x2 Mul x7 Mul Pow E Add Pow x0 cot Add x2 Add x3 x0 -1 Mul Mul E log E Mul Pow x0 Add cot Add x2 Add x3 x0 -1 Add cot Add x2 Add x3 x0 Mul Mul x0 log x0 Mul -1 Pow csc Add x2 Add x3 x0 2 