Pow tan csc log cosh x0 Mul -1 Pow E Mul 3 x0 
Mul Pow tan csc log cosh x0 Add Mul -1 Pow E Mul 3 x0 -1 Add Mul Mul -1 Pow E Mul 3 x0 Mul Pow sec csc log cosh x0 2 Mul Mul Mul -1 cot log cosh x0 csc log cosh x0 Mul sinh x0 Pow cosh x0 -1 Mul Mul tan csc log cosh x0 log tan csc log cosh x0 Mul -1 Mul Pow E Add Mul 3 x0 -1 Mul Mul E log E 3 