Add sech x0 Pow sinh Add Pow x7 x0 E atan Pow Add acosh pi -2 x3 
Add Mul tanh x0 Mul -1 sech x0 Mul Pow sinh Add Pow x7 x0 E Add atan Pow Add acosh pi -2 x3 -1 Mul atan Pow Add acosh pi -2 x3 Mul cosh Add Pow x7 x0 E Mul Pow x7 Add x0 -1 Mul x7 log x7 