Mul sec Pow sec x6 cosh Mul x0 cot E x0 
Add Mul x0 Mul Mul tan Pow sec x6 cosh Mul x0 cot E sec Pow sec x6 cosh Mul x0 cot E Mul Pow sec x6 Add cosh Mul x0 cot E -1 Mul Mul sec x6 log sec x6 Mul sinh Mul x0 cot E cot E sec Pow sec x6 cosh Mul x0 cot E 