cot Pow acoth x1 asin log Mul Mul tan x0 3 Pow x2 x0 
Mul Mul -1 Pow csc Pow acoth x1 asin log Mul Mul tan x0 3 Pow x2 x0 2 Mul Pow acoth x1 Add asin log Mul Mul tan x0 3 Pow x2 x0 -1 Mul Mul acoth x1 log acoth x1 Mul Mul Add Mul Pow x2 x0 Mul 3 Pow sec x0 2 Mul Mul tan x0 3 Mul Pow x2 Add x0 -1 Mul x2 log x2 Pow Mul Mul tan x0 3 Pow x2 x0 -1 Pow sqrt Add 1 Mul -1 Mul log Mul Mul tan x0 3 Pow x2 x0 log Mul Mul tan x0 3 Pow x2 x0 -1 