Pow 2 Add x0 Pow Pow cosh x0 Mul Mul x0 x0 Add Add E x0 x0 acoth E 
Mul Pow 2 Add Add x0 Pow Pow cosh x0 Mul Mul x0 x0 Add Add E x0 x0 acoth E -1 Mul 2.69314718055995 Add 1 Mul Pow Pow cosh x0 Mul Mul x0 x0 Add Add E x0 x0 Add acoth E -1 Mul acoth E Mul Pow cosh x0 Add Mul Mul x0 x0 Add Add E x0 x0 -1 Add Mul Mul Mul x0 x0 Add Add E x0 x0 sinh x0 Mul Mul cosh x0 log cosh x0 Add Mul Add Add E x0 x0 Add x0 x0 Mul Mul x0 x0 2 