acot Add Mul Pow x0 x6 x0 Mul Pow Add x0 x0 atanh x3 Add 4 asec atanh asech x6 
Mul -1 Mul Add Add Mul x0 Mul Pow x0 Add x6 -1 x6 Pow x0 x6 Mul Add 4 asec atanh asech x6 Mul Pow Add x0 x0 Add atanh x3 -1 Mul atanh x3 2 Pow Add 1 Mul Add Mul Pow x0 x6 x0 Mul Pow Add x0 x0 atanh x3 Add 4 asec atanh asech x6 Add Mul Pow x0 x6 x0 Mul Pow Add x0 x0 atanh x3 Add 4 asec atanh asech x6 -1 