Pow Mul acoth acsc tan x0 x0 Pow Add asech pi Add x0 x0 x6 
Mul Pow Mul acoth acsc tan x0 x0 Add Pow Add asech pi Add x0 x0 x6 -1 Add Mul Pow Add asech pi Add x0 x0 x6 Add Mul x0 Mul Mul -1 Mul Pow sec x0 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul tan x0 tan x0 -1 tan x0 tan x0 -1 Pow Add 1 Mul -1 Mul acsc tan x0 acsc tan x0 -1 acoth acsc tan x0 Mul Mul Mul acoth acsc tan x0 x0 log Mul acoth acsc tan x0 x0 Mul Pow Add asech pi Add x0 x0 Add x6 -1 Mul x6 2 