Mul x0 tanh Pow sec Pow x6 x0 asech cosh x7 
Add tanh Pow sec Pow x6 x0 asech cosh x7 Mul x0 Mul Pow sech Pow sec Pow x6 x0 asech cosh x7 2 Mul Pow sec Pow x6 x0 Add asech cosh x7 -1 Mul asech cosh x7 Mul Mul tan Pow x6 x0 sec Pow x6 x0 Mul Pow x6 Add x0 -1 Mul x6 log x6 