Mul Pow Mul sqrt cos x3 x0 -1 Pow Pow atan Mul x0 sin x1 E Mul Add x0 x0 x0 
Add Mul Pow Pow atan Mul x0 sin x1 E Mul Add x0 x0 x0 Mul Pow Mul sqrt cos x3 x0 2 Mul -1 sqrt cos x3 Mul Pow Mul sqrt cos x3 x0 -1 Mul Pow Pow atan Mul x0 sin x1 E Add Mul Add x0 x0 x0 -1 Add Mul Mul Add x0 x0 x0 Mul Pow atan Mul x0 sin x1 Add E -1 Mul E Mul sin x1 Pow Add 1 Mul Mul x0 sin x1 Mul x0 sin x1 -1 Mul Mul Pow atan Mul x0 sin x1 E log Pow atan Mul x0 sin x1 E Add Mul x0 2 Add x0 x0 