Pow acot x0 Pow Add Add 1 x0 Pow sec cbrt acos cbrt x2 x7 Pow atanh pi 3 
Mul Pow acot x0 Add Pow Add Add 1 x0 Pow sec cbrt acos cbrt x2 x7 Pow atanh pi 3 -1 Add Mul Pow Add Add 1 x0 Pow sec cbrt acos cbrt x2 x7 Pow atanh pi 3 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul acot x0 log acot x0 Mul Pow Add Add 1 x0 Pow sec cbrt acos cbrt x2 x7 Add Pow atanh pi 3 -1 Pow atanh pi 3 