Add Mul E x0 Pow cosh sqrt Mul Add x1 cosh Pow x0 x0 pi Mul x4 asin x2 
Add E Mul Pow cosh sqrt Mul Add x1 cosh Pow x0 x0 pi Add Mul x4 asin x2 -1 Mul Mul x4 asin x2 Mul sinh sqrt Mul Add x1 cosh Pow x0 x0 pi Mul Pow Mul 2 sqrt Mul Add x1 cosh Pow x0 x0 pi -1 Mul pi Mul sinh Pow x0 x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 