Pow Pow asin x0 Pow x6 acos x5 coth Pow x3 -4 
Mul Pow Pow asin x0 Pow x6 acos x5 Add coth Pow x3 -4 -1 Mul coth Pow x3 -4 Mul Pow asin x0 Add Pow x6 acos x5 -1 Mul Pow x6 acos x5 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 