csch Pow sec x0 Mul Mul Mul x6 x0 cot x1 x0 
Mul Mul Mul -1 coth Pow sec x0 Mul Mul Mul x6 x0 cot x1 x0 csch Pow sec x0 Mul Mul Mul x6 x0 cot x1 x0 Mul Pow sec x0 Add Mul Mul Mul x6 x0 cot x1 x0 -1 Add Mul Mul Mul Mul x6 x0 cot x1 x0 Mul tan x0 sec x0 Mul Mul sec x0 log sec x0 Add Mul x0 Mul cot x1 x6 Mul Mul x6 x0 cot x1 