Add Mul x0 Mul x0 sech Pow x0 Pow x0 atan acosh x6 x5 
Add Mul x0 sech Pow x0 Pow x0 atan acosh x6 Mul x0 Add sech Pow x0 Pow x0 atan acosh x6 Mul x0 Mul Mul tanh Pow x0 Pow x0 atan acosh x6 Mul -1 sech Pow x0 Pow x0 atan acosh x6 Mul Pow x0 Add Pow x0 atan acosh x6 -1 Add Pow x0 atan acosh x6 Mul Mul x0 log x0 Mul Pow x0 Add atan acosh x6 -1 atan acosh x6 