Mul acot x0 Pow tanh acsch Pow sec Pow x6 -1 Mul x6 x0 asech Add x1 Pow x7 4 
Add Mul Pow tanh acsch Pow sec Pow x6 -1 Mul x6 x0 asech Add x1 Pow x7 4 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Mul Pow tanh acsch Pow sec Pow x6 -1 Mul x6 x0 Add asech Add x1 Pow x7 4 -1 Mul asech Add x1 Pow x7 4 Mul Pow sech acsch Pow sec Pow x6 -1 Mul x6 x0 2 Mul Mul -1 Mul Pow sec Pow x6 -1 Add Mul x6 x0 -1 Mul Mul sec Pow x6 -1 log sec Pow x6 -1 x6 Pow Mul Mul Pow sec Pow x6 -1 Mul x6 x0 Pow sec Pow x6 -1 Mul x6 x0 sqrt Add 1 Mul -1 Pow Mul Pow sec Pow x6 -1 Mul x6 x0 Pow sec Pow x6 -1 Mul x6 x0 -1 -1 