Mul Pow Mul atanh Mul cosh x0 Mul log x6 x0 Mul x0 sech x0 Add x0 x0 2 
Mul 2 Mul Pow Mul atanh Mul cosh x0 Mul log x6 x0 Mul x0 sech x0 Add Add x0 x0 -1 Add Mul Add x0 x0 Add Mul Mul x0 sech x0 Mul Add Mul Mul log x6 x0 sinh x0 Mul cosh x0 log x6 Pow Add 1 Mul -1 Mul Mul cosh x0 Mul log x6 x0 Mul cosh x0 Mul log x6 x0 -1 Mul atanh Mul cosh x0 Mul log x6 x0 Add sech x0 Mul x0 Mul tanh x0 Mul -1 sech x0 Mul Mul Mul atanh Mul cosh x0 Mul log x6 x0 Mul x0 sech x0 log Mul atanh Mul cosh x0 Mul log x6 x0 Mul x0 sech x0 2 