Pow tan x4 Add acosh Mul x0 Add acos acsch tanh x0 Mul -2 pi E 
Mul Pow tan x4 Add Add acosh Mul x0 Add acos acsch tanh x0 Mul -2 pi E -1 Mul Mul tan x4 log tan x4 Mul Add Add acos acsch tanh x0 Mul -2 pi Mul x0 Mul -1 Mul Mul Mul -1 Pow sech x0 2 Pow Mul Mul tanh x0 tanh x0 sqrt Add 1 Mul -1 Pow Mul tanh x0 tanh x0 -1 -1 Pow sqrt Add 1 Mul -1 Mul acsch tanh x0 acsch tanh x0 -1 Pow Mul sqrt Add Mul x0 Add acos acsch tanh x0 Mul -2 pi -1 sqrt Add 1 Mul x0 Add acos acsch tanh x0 Mul -2 pi -1 