Pow asin Add x1 3 acot Add acot x1 Mul 2 acsc x0 
Mul Pow asin Add x1 3 Add acot Add acot x1 Mul 2 acsc x0 -1 Mul Mul asin Add x1 3 log asin Add x1 3 Mul -1 Mul Mul 2 Mul -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Pow Add 1 Mul Add acot x1 Mul 2 acsc x0 Add acot x1 Mul 2 acsc x0 -1 