sec Pow x0 Add x0 Pow tan x0 Mul 2 Pow x0 Mul acoth x0 x6 
Mul Mul tan Pow x0 Add x0 Pow tan x0 Mul 2 Pow x0 Mul acoth x0 x6 sec Pow x0 Add x0 Pow tan x0 Mul 2 Pow x0 Mul acoth x0 x6 Mul Pow x0 Add Add x0 Pow tan x0 Mul 2 Pow x0 Mul acoth x0 x6 -1 Add Add x0 Pow tan x0 Mul 2 Pow x0 Mul acoth x0 x6 Mul Mul x0 log x0 Add 1 Mul Pow tan x0 Add Mul 2 Pow x0 Mul acoth x0 x6 -1 Add Mul Mul 2 Pow x0 Mul acoth x0 x6 Pow sec x0 2 Mul Mul tan x0 log tan x0 Mul 2 Mul Pow x0 Add Mul acoth x0 x6 -1 Add Mul acoth x0 x6 Mul Mul x0 log x0 Mul x6 Pow Add 1 Mul -1 Mul x0 x0 -1 