sqrt Add Add Pow 2 x0 sqrt Pow cosh x6 cos Pow 2 Mul x0 Pow Add x0 3 E x0 
Mul Pow Mul 2 sqrt Add Add Pow 2 x0 sqrt Pow cosh x6 cos Pow 2 Mul x0 Pow Add x0 3 E x0 -1 Add Add Mul Pow 2 Add x0 -1 2.69314718055995 Mul Pow Mul 2 sqrt Pow cosh x6 cos Pow 2 Mul x0 Pow Add x0 3 E -1 Mul Pow cosh x6 Add cos Pow 2 Mul x0 Pow Add x0 3 E -1 Mul Mul cosh x6 log cosh x6 Mul Mul -1 sin Pow 2 Mul x0 Pow Add x0 3 E Mul Pow 2 Add Mul x0 Pow Add x0 3 E -1 Mul 2.69314718055995 Add Pow Add x0 3 E Mul x0 Mul Pow Add x0 3 Add E -1 E 1 