Mul x3 Add Add Pow sech acsch pi Pow Pow tan x6 tan x0 acoth sin E x0 x0 
Mul x3 Add Add Mul Pow sech acsch pi Add Pow Pow tan x6 tan x0 acoth sin E -1 Mul Mul sech acsch pi log sech acsch pi Mul Pow Pow tan x6 tan x0 Add acoth sin E -1 Mul acoth sin E Mul Pow tan x6 Add tan x0 -1 Mul Mul tan x6 log tan x6 Pow sec x0 2 1 1 