Pow Add coth Mul Pow Pow acot x0 7 asec x4 Pow Pow x6 3 -4 acot x7 cot x3 
Mul Pow Add coth Mul Pow Pow acot x0 7 asec x4 Pow Pow x6 3 -4 acot x7 Add cot x3 -1 Mul cot x3 Mul Mul -1 Pow csch Mul Pow Pow acot x0 7 asec x4 Pow Pow x6 3 -4 2 Mul Pow Pow x6 3 -4 Mul Pow Pow acot x0 7 Add asec x4 -1 Mul asec x4 Mul Pow acot x0 6 Mul 7 Mul -1 Pow Add 1 Mul x0 x0 -1 