Pow Pow x5 Pow Mul cosh x0 x0 x0 sqrt pi 
Mul Pow Pow x5 Pow Mul cosh x0 x0 x0 Add sqrt pi -1 Mul sqrt pi Mul Pow x5 Add Pow Mul cosh x0 x0 x0 -1 Mul Mul x5 log x5 Mul Pow Mul cosh x0 x0 Add x0 -1 Add Mul x0 Add Mul x0 sinh x0 cosh x0 Mul Mul cosh x0 x0 log Mul cosh x0 x0 