Add Mul 4 acsch cosh x0 Mul tan x0 Mul x0 Pow x7 E 
Add Mul 4 Mul Mul -1 sinh x0 Pow Mul Mul cosh x0 cosh x0 sqrt Add 1 Mul -1 Pow Mul cosh x0 cosh x0 -1 -1 Add Mul Mul x0 Pow x7 E Pow sec x0 2 Mul tan x0 Pow x7 E 