atanh Pow Add -4 x0 cot Pow x3 Add x2 Add x1 x7 
Mul Mul Pow Add -4 x0 Add cot Pow x3 Add x2 Add x1 x7 -1 cot Pow x3 Add x2 Add x1 x7 Pow Add 1 Mul -1 Mul Pow Add -4 x0 cot Pow x3 Add x2 Add x1 x7 Pow Add -4 x0 cot Pow x3 Add x2 Add x1 x7 -1 