Mul sin Pow x0 Add sqrt x0 pi Add x0 Mul E tanh Pow acosh x0 Pow pi x0 
Add Mul Add x0 Mul E tanh Pow acosh x0 Pow pi x0 Mul cos Pow x0 Add sqrt x0 pi Mul Pow x0 Add Add sqrt x0 pi -1 Add Add sqrt x0 pi Mul Mul x0 log x0 Pow Mul 2 sqrt x0 -1 Mul sin Pow x0 Add sqrt x0 pi Add 1 Mul E Mul Pow sech Pow acosh x0 Pow pi x0 2 Mul Pow acosh x0 Add Pow pi x0 -1 Add Mul Pow pi x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul acosh x0 log acosh x0 Mul Pow pi Add x0 -1 Mul pi log pi 