asin Pow Pow x0 acot asin coth x3 x4 
Mul Mul Pow Pow x0 acot asin coth x3 Add x4 -1 Mul x4 Mul Pow x0 Add acot asin coth x3 -1 acot asin coth x3 Pow sqrt Add 1 Mul -1 Mul Pow Pow x0 acot asin coth x3 x4 Pow Pow x0 acot asin coth x3 x4 -1 