Mul asin Add x7 Pow Pow pi sqrt x3 x0 sin x0 
Add Mul sin x0 Mul Mul Pow Pow pi sqrt x3 Add x0 -1 Mul Pow pi sqrt x3 log Pow pi sqrt x3 Pow sqrt Add 1 Mul -1 Mul Add x7 Pow Pow pi sqrt x3 x0 Add x7 Pow Pow pi sqrt x3 x0 -1 Mul asin Add x7 Pow Pow pi sqrt x3 x0 cos x0 