Pow asin Pow x0 Pow cot x2 x0 E 
Mul Pow asin Pow x0 Pow cot x2 x0 Add E -1 Mul E Mul Mul Pow x0 Add Pow cot x2 x0 -1 Add Pow cot x2 x0 Mul Mul x0 log x0 Mul Pow cot x2 Add x0 -1 Mul cot x2 log cot x2 Pow sqrt Add 1 Mul -1 Mul Pow x0 Pow cot x2 x0 Pow x0 Pow cot x2 x0 -1 