Mul acot x0 Add Add tan x4 cosh Pow 4 tan x0 E 
Add Mul Add Add tan x4 cosh Pow 4 tan x0 E Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Mul sinh Pow 4 tan x0 Mul Pow 4 Add tan x0 -1 Mul 5.38629436111989 Pow sec x0 2 