Mul Pow acos acot x2 Pow x0 -1 Add atanh x0 Mul 5 x0 
Add Mul Add atanh x0 Mul 5 x0 Mul Pow acos acot x2 Add Pow x0 -1 -1 Mul Mul acos acot x2 log acos acot x2 Mul Pow x0 2 -1 Mul Pow acos acot x2 Pow x0 -1 Add Pow Add 1 Mul -1 Mul x0 x0 -1 5 