Add x6 Pow asech x5 Pow Add Add x0 acot atanh x4 E x0 
Mul Pow asech x5 Add Pow Add Add x0 acot atanh x4 E x0 -1 Mul Mul asech x5 log asech x5 Mul Pow Add Add x0 acot atanh x4 E Add x0 -1 Add x0 Mul Add Add x0 acot atanh x4 E log Add Add x0 acot atanh x4 E 