Add Pow Mul -2 x0 Mul asin cos x0 Pow Add x0 cos x3 x0 Mul Add x0 -4 x0 
Add Mul Pow Mul -2 x0 Add Mul asin cos x0 Pow Add x0 cos x3 x0 -1 Add Mul Mul asin cos x0 Pow Add x0 cos x3 x0 -2 Mul Mul Mul -2 x0 log Mul -2 x0 Add Mul Pow Add x0 cos x3 x0 Mul Mul -1 sin x0 Pow sqrt Add 1 Mul -1 Mul cos x0 cos x0 -1 Mul asin cos x0 Mul Pow Add x0 cos x3 Add x0 -1 Add x0 Mul Add x0 cos x3 log Add x0 cos x3 Add x0 Add x0 -4 