csch Pow asin Mul tan x0 log cot x2 x0 
Mul Mul Mul -1 coth Pow asin Mul tan x0 log cot x2 x0 csch Pow asin Mul tan x0 log cot x2 x0 Mul Pow asin Mul tan x0 log cot x2 Add x0 -1 Add Mul x0 Mul Mul log cot x2 Pow sec x0 2 Pow sqrt Add 1 Mul -1 Mul Mul tan x0 log cot x2 Mul tan x0 log cot x2 -1 Mul asin Mul tan x0 log cot x2 log asin Mul tan x0 log cot x2 