Pow Mul Pow sqrt x7 acot x2 5 atanh Add x0 asec x5 
Mul Pow Mul Pow sqrt x7 acot x2 5 Add atanh Add x0 asec x5 -1 Mul Mul Mul Pow sqrt x7 acot x2 5 log Mul Pow sqrt x7 acot x2 5 Pow Add 1 Mul -1 Mul Add x0 asec x5 Add x0 asec x5 -1 