Mul Pow sec x0 pi acoth Add tan x0 cosh Mul atan x6 x4 
Add Mul acoth Add tan x0 cosh Mul atan x6 x4 Mul Pow sec x0 Add pi -1 Mul pi Mul tan x0 sec x0 Mul Pow sec x0 pi Mul Pow sec x0 2 Pow Add 1 Mul -1 Mul Add tan x0 cosh Mul atan x6 x4 Add tan x0 cosh Mul atan x6 x4 -1 