Pow Pow asin cos x0 Pow x0 x3 exp Add log acos coth x6 Mul -1 x4 
Mul Pow Pow asin cos x0 Pow x0 x3 Add exp Add log acos coth x6 Mul -1 x4 -1 Mul exp Add log acos coth x6 Mul -1 x4 Mul Pow asin cos x0 Add Pow x0 x3 -1 Add Mul Pow x0 x3 Mul Mul -1 sin x0 Pow sqrt Add 1 Mul -1 Mul cos x0 cos x0 -1 Mul Mul asin cos x0 log asin cos x0 Mul Pow x0 Add x3 -1 x3 