Pow Pow atan Mul tan x0 coth x6 acosh pi Mul Mul 5 Mul x0 x0 E 
Mul Pow Pow atan Mul tan x0 coth x6 acosh pi Add Mul Mul 5 Mul x0 x0 E -1 Add Mul Mul Mul 5 Mul x0 x0 E Mul Pow atan Mul tan x0 coth x6 Add acosh pi -1 Mul acosh pi Mul Mul coth x6 Pow sec x0 2 Pow Add 1 Mul Mul tan x0 coth x6 Mul tan x0 coth x6 -1 Mul Mul Pow atan Mul tan x0 coth x6 acosh pi log Pow atan Mul tan x0 coth x6 acosh pi Mul E Mul 5 Add x0 x0 