Mul Mul Pow cosh x0 acos E x0 Add cosh Mul x0 x2 Pow x5 Add x0 Add Mul x0 sqrt Pow x0 x0 x1 
Add Mul Add cosh Mul x0 x2 Pow x5 Add x0 Add Mul x0 sqrt Pow x0 x0 x1 Add Mul x0 Mul Pow cosh x0 Add acos E -1 Mul acos E sinh x0 Pow cosh x0 acos E Mul Mul Pow cosh x0 acos E x0 Add Mul sinh Mul x0 x2 x2 Mul Pow x5 Add Add x0 Add Mul x0 sqrt Pow x0 x0 x1 -1 Mul Mul x5 log x5 Add 1 Add sqrt Pow x0 x0 Mul x0 Mul Pow Mul 2 sqrt Pow x0 x0 -1 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 