Mul Pow sec acot x3 Add Add Add x5 x0 x0 x0 Pow acos x3 atanh x0 
Add Mul Pow acos x3 atanh x0 Mul Pow sec acot x3 Add Add Add Add x5 x0 x0 x0 -1 Mul Mul sec acot x3 log sec acot x3 3 Mul Pow sec acot x3 Add Add Add x5 x0 x0 x0 Mul Pow acos x3 Add atanh x0 -1 Mul Mul acos x3 log acos x3 Pow Add 1 Mul -1 Mul x0 x0 -1 