Pow Pow x0 Mul cosh x0 sqrt x0 atan pi 
Mul Pow Pow x0 Mul cosh x0 sqrt x0 Add atan pi -1 Mul atan pi Mul Pow x0 Add Mul cosh x0 sqrt x0 -1 Add Mul cosh x0 sqrt x0 Mul Mul x0 log x0 Add Mul sqrt x0 sinh x0 Mul cosh x0 Pow Mul 2 sqrt x0 -1 