Mul acoth Pow asin pi sec x0 x0 
Add Mul x0 Mul Mul Pow asin pi Add sec x0 -1 Mul Mul asin pi log asin pi Mul tan x0 sec x0 Pow Add 1 Mul -1 Mul Pow asin pi sec x0 Pow asin pi sec x0 -1 acoth Pow asin pi sec x0 