tanh Pow Add 5 x0 atan Add cosh x0 x0 
Mul Pow sech Pow Add 5 x0 atan Add cosh x0 x0 2 Mul Pow Add 5 x0 Add atan Add cosh x0 x0 -1 Add atan Add cosh x0 x0 Mul Mul Add 5 x0 log Add 5 x0 Mul Add sinh x0 1 Pow Add 1 Mul Add cosh x0 x0 Add cosh x0 x0 -1 