Mul acos pi Add Pow Pow cot sec x0 x2 x0 x0 
Mul acos pi Add Mul Pow Pow cot sec x0 x2 Add x0 -1 Add Mul x0 Mul Pow cot sec x0 Add x2 -1 Mul x2 Mul Mul -1 Pow csc sec x0 2 Mul tan x0 sec x0 Mul Pow cot sec x0 x2 log Pow cot sec x0 x2 1 