Pow atanh Pow Pow x2 x0 3 Mul x0 acot x3 
Mul Pow atanh Pow Pow x2 x0 3 Add Mul x0 acot x3 -1 Add Mul Mul x0 acot x3 Mul Mul Pow Pow x2 x0 2 Mul 3 Mul Pow x2 Add x0 -1 Mul x2 log x2 Pow Add 1 Mul -1 Mul Pow Pow x2 x0 3 Pow Pow x2 x0 3 -1 Mul Mul atanh Pow Pow x2 x0 3 log atanh Pow Pow x2 x0 3 acot x3 