Pow Pow sec Pow csch Mul exp tan x3 x0 acoth x0 x1 log Add pi Pow Pow x0 x0 x0 
Mul Pow Pow sec Pow csch Mul exp tan x3 x0 acoth x0 x1 Add log Add pi Pow Pow x0 x0 x0 -1 Add Mul log Add pi Pow Pow x0 x0 x0 Mul Pow sec Pow csch Mul exp tan x3 x0 acoth x0 Add x1 -1 Mul x1 Mul Mul tan Pow csch Mul exp tan x3 x0 acoth x0 sec Pow csch Mul exp tan x3 x0 acoth x0 Mul Pow csch Mul exp tan x3 x0 Add acoth x0 -1 Add Mul acoth x0 Mul Mul Mul -1 coth Mul exp tan x3 x0 csch Mul exp tan x3 x0 exp tan x3 Mul Mul csch Mul exp tan x3 x0 log csch Mul exp tan x3 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Pow sec Pow csch Mul exp tan x3 x0 acoth x0 x1 log Pow sec Pow csch Mul exp tan x3 x0 acoth x0 x1 Mul Mul Pow Pow x0 x0 Add x0 -1 Add Mul x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Pow x0 x0 log Pow x0 x0 Pow Add pi Pow Pow x0 x0 x0 -1 