Mul log Mul x0 Pow 2 Pow Mul x0 x0 cosh x0 Add Add x2 Mul x6 x3 acot Add -0.275720564771783 Pow -1 x4 
Mul Add Add x2 Mul x6 x3 acot Add -0.275720564771783 Pow -1 x4 Mul Add Pow 2 Pow Mul x0 x0 cosh x0 Mul x0 Mul Pow 2 Add Pow Mul x0 x0 cosh x0 -1 Mul 2.69314718055995 Mul Pow Mul x0 x0 Add cosh x0 -1 Add Mul cosh x0 Add x0 x0 Mul Mul Mul x0 x0 log Mul x0 x0 sinh x0 Pow Mul x0 Pow 2 Pow Mul x0 x0 cosh x0 -1 