Mul x6 Mul Mul Mul acos x3 Add x0 asin acoth Mul x4 pi Mul x0 Pow cosh x0 2 2 
Mul x6 Mul 2 Add Mul Mul x0 Pow cosh x0 2 acos x3 Mul Mul acos x3 Add x0 asin acoth Mul x4 pi Add Pow cosh x0 2 Mul x0 Mul cosh x0 Mul 2 sinh x0 