Mul Mul acot Pow 2 Mul x0 4 Mul tan x0 E Add cosh x6 x0 
Add Mul Add cosh x6 x0 Add Mul Mul tan x0 E Mul -1 Mul Mul Pow 2 Add Mul x0 4 -1 6.69314718055995 Pow Add 1 Mul Pow 2 Mul x0 4 Pow 2 Mul x0 4 -1 Mul acot Pow 2 Mul x0 4 Mul E Pow sec x0 2 Mul acot Pow 2 Mul x0 4 Mul tan x0 E 