Pow x0 Add asec Mul coth x4 asech Mul x0 acot x7 x0 
Mul Pow x0 Add Add asec Mul coth x4 asech Mul x0 acot x7 x0 -1 Add Add asec Mul coth x4 asech Mul x0 acot x7 x0 Mul Mul x0 log x0 Add Mul Mul coth x4 Mul acot x7 Pow Mul Mul Mul x0 acot x7 Mul x0 acot x7 sqrt Add 1 Mul -1 Pow Mul Mul x0 acot x7 Mul x0 acot x7 -1 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul coth x4 asech Mul x0 acot x7 Mul coth x4 asech Mul x0 acot x7 -1 Mul coth x4 asech Mul x0 acot x7 Mul coth x4 asech Mul x0 acot x7 -1 1 