Pow x6 Add acosh x1 cosh Pow 3 cosh Add 2 Mul x0 x0 
Mul Pow x6 Add Add acosh x1 cosh Pow 3 cosh Add 2 Mul x0 x0 -1 Mul Mul x6 log x6 Mul sinh Pow 3 cosh Add 2 Mul x0 x0 Mul Pow 3 Add cosh Add 2 Mul x0 x0 -1 Mul 4.09861228866811 Mul sinh Add 2 Mul x0 x0 Add x0 x0 