cot Mul x0 csch Mul x5 csc Add asech x5 x0 
Mul Mul -1 Pow csc Mul x0 csch Mul x5 csc Add asech x5 x0 2 Add csch Mul x5 csc Add asech x5 x0 Mul x0 Mul Mul Mul -1 coth Mul x5 csc Add asech x5 x0 csch Mul x5 csc Add asech x5 x0 Mul x5 Mul Mul -1 cot Add asech x5 x0 csc Add asech x5 x0 