Add x6 Add Pow cbrt sqrt Mul x0 x1 atanh x0 Add Add x2 Pow Pow x0 acot x7 x4 x0 
Add Mul Pow cbrt sqrt Mul x0 x1 Add atanh x0 -1 Add Mul atanh x0 Mul Pow Mul Mul 3 cbrt sqrt Mul x0 x1 cbrt sqrt Mul x0 x1 -1 Mul Pow Mul 2 sqrt Mul x0 x1 -1 x1 Mul Mul cbrt sqrt Mul x0 x1 log cbrt sqrt Mul x0 x1 Pow Add 1 Mul -1 Mul x0 x0 -1 Add Mul Pow Pow x0 acot x7 Add x4 -1 Mul x4 Mul Pow x0 Add acot x7 -1 acot x7 1 