Mul sqrt Pow x0 exp sec cosh x0 x0 
Add Mul x0 Mul Pow Mul 2 sqrt Pow x0 exp sec cosh x0 -1 Mul Pow x0 Add exp sec cosh x0 -1 Add exp sec cosh x0 Mul Mul x0 log x0 Mul exp sec cosh x0 Mul Mul tan cosh x0 sec cosh x0 sinh x0 sqrt Pow x0 exp sec cosh x0 