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