Pow atanh x2 Pow Pow atan acot Add x1 x0 -2 Mul x1 Add x1 x6 
Mul Pow atanh x2 Add Pow Pow atan acot Add x1 x0 -2 Mul x1 Add x1 x6 -1 Mul Mul atanh x2 log atanh x2 Mul Pow Pow atan acot Add x1 x0 -2 Add Mul x1 Add x1 x6 -1 Mul Mul x1 Add x1 x6 Mul Pow atan acot Add x1 x0 3 Mul -2 Mul Mul -1 Pow Add 1 Mul Add x1 x0 Add x1 x0 -1 Pow Add 1 Mul acot Add x1 x0 acot Add x1 x0 -1 