Add Mul cosh sech Pow x0 2 exp sinh acot Mul Mul log Add x0 x7 Pow E x0 x0 x0 
Add Add Mul exp sinh acot Mul Mul log Add x0 x7 Pow E x0 x0 Mul sinh sech Pow x0 2 Mul Mul tanh Pow x0 2 Mul -1 sech Pow x0 2 Mul x0 2 Mul cosh sech Pow x0 2 Mul exp sinh acot Mul Mul log Add x0 x7 Pow E x0 x0 Mul cosh acot Mul Mul log Add x0 x7 Pow E x0 x0 Mul -1 Mul Add Mul x0 Add Mul Pow E x0 Pow Add x0 x7 -1 Mul log Add x0 x7 Mul Pow E Add x0 -1 Mul E log E Mul log Add x0 x7 Pow E x0 Pow Add 1 Mul Mul Mul log Add x0 x7 Pow E x0 x0 Mul Mul log Add x0 x7 Pow E x0 x0 -1 1 