sech cot Pow cosh csch x4 x0 
Mul Mul tanh cot Pow cosh csch x4 x0 Mul -1 sech cot Pow cosh csch x4 x0 Mul Mul -1 Pow csc Pow cosh csch x4 x0 2 Mul Pow cosh csch x4 Add x0 -1 Mul cosh csch x4 log cosh csch x4 