Mul x7 exp Pow Mul atanh x0 acot acos cbrt x4 Add x0 x2 
Mul x7 Mul exp Pow Mul atanh x0 acot acos cbrt x4 Add x0 x2 Mul Pow Mul atanh x0 acot acos cbrt x4 Add Add x0 x2 -1 Add Mul Add x0 x2 Mul acot acos cbrt x4 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul atanh x0 acot acos cbrt x4 log Mul atanh x0 acot acos cbrt x4 