Pow asin Pow acot x3 x0 Add x0 -2 
Mul Pow asin Pow acot x3 x0 Add Add x0 -2 -1 Add Mul Add x0 -2 Mul Mul Pow acot x3 Add x0 -1 Mul acot x3 log acot x3 Pow sqrt Add 1 Mul -1 Mul Pow acot x3 x0 Pow acot x3 x0 -1 Mul asin Pow acot x3 x0 log asin Pow acot x3 x0 