Mul x0 Pow Pow asin log x1 x0 acot x0 
Add Pow Pow asin log x1 x0 acot x0 Mul x0 Mul Pow Pow asin log x1 x0 Add acot x0 -1 Add Mul acot x0 Mul Pow asin log x1 Add x0 -1 Mul asin log x1 log asin log x1 Mul Mul Pow asin log x1 x0 log Pow asin log x1 x0 Mul -1 Pow Add 1 Mul x0 x0 -1 