tan Mul sech Pow x0 Mul asech asech atanh Add -1 x0 acot x6 x0 
Mul Pow sec Mul sech Pow x0 Mul asech asech atanh Add -1 x0 acot x6 x0 2 Add Mul x0 Mul Mul tanh Pow x0 Mul asech asech atanh Add -1 x0 acot x6 Mul -1 sech Pow x0 Mul asech asech atanh Add -1 x0 acot x6 Mul Pow x0 Add Mul asech asech atanh Add -1 x0 acot x6 -1 Add Mul asech asech atanh Add -1 x0 acot x6 Mul Mul x0 log x0 Mul acot x6 Mul Mul Pow Add 1 Mul -1 Mul Add -1 x0 Add -1 x0 -1 Pow Mul Mul atanh Add -1 x0 atanh Add -1 x0 sqrt Add 1 Mul -1 Pow Mul atanh Add -1 x0 atanh Add -1 x0 -1 -1 Pow Mul Mul asech atanh Add -1 x0 asech atanh Add -1 x0 sqrt Add 1 Mul -1 Pow Mul asech atanh Add -1 x0 asech atanh Add -1 x0 -1 -1 sech Pow x0 Mul asech asech atanh Add -1 x0 acot x6 