Pow x0 Pow cosh asinh sinh pi x0 
Mul Pow x0 Add Pow cosh asinh sinh pi x0 -1 Add Pow cosh asinh sinh pi x0 Mul Mul x0 log x0 Mul Pow cosh asinh sinh pi Add x0 -1 Mul cosh asinh sinh pi log cosh asinh sinh pi 