Pow Mul 2 cosh x0 cosh Mul asec Mul cot Mul x0 2 x6 32 
Mul Pow Mul 2 cosh x0 Add cosh Mul asec Mul cot Mul x0 2 x6 32 -1 Add Mul cosh Mul asec Mul cot Mul x0 2 x6 32 Mul 2 sinh x0 Mul Mul Mul 2 cosh x0 log Mul 2 cosh x0 Mul sinh Mul asec Mul cot Mul x0 2 x6 32 Mul 32 Mul Mul x6 Mul Mul -1 Pow csc Mul x0 2 2 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul cot Mul x0 2 x6 Mul cot Mul x0 2 x6 -1 Mul cot Mul x0 2 x6 Mul cot Mul x0 2 x6 -1 