asin cot Add acot x0 Pow asin x1 x0 
Mul Mul Mul -1 Pow csc Add acot x0 Pow asin x1 x0 2 Add Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Pow asin x1 Add x0 -1 Mul asin x1 log asin x1 Pow sqrt Add 1 Mul -1 Mul cot Add acot x0 Pow asin x1 x0 cot Add acot x0 Pow asin x1 x0 -1 