Add x7 Pow acot log cosh sec cosh x0 x6 
Mul Pow acot log cosh sec cosh x0 Add x6 -1 Mul x6 Mul -1 Mul Mul Mul sinh sec cosh x0 Mul Mul tan cosh x0 sec cosh x0 sinh x0 Pow cosh sec cosh x0 -1 Pow Add 1 Mul log cosh sec cosh x0 log cosh sec cosh x0 -1 