Add Mul Mul x0 acoth x0 csc cos sqrt Pow x6 tan x0 -5 
Add Mul csc cos sqrt Pow x6 tan x0 Add acoth x0 Mul x0 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul x0 acoth x0 Mul Mul Mul -1 cot cos sqrt Pow x6 tan x0 csc cos sqrt Pow x6 tan x0 Mul Mul -1 sin sqrt Pow x6 tan x0 Mul Pow Mul 2 sqrt Pow x6 tan x0 -1 Mul Pow x6 Add tan x0 -1 Mul Mul x6 log x6 Pow sec x0 2 