Mul Pow x0 x2 Mul sqrt Mul cos x0 0.785398163397448 cot x3 
Add Mul Mul sqrt Mul cos x0 0.785398163397448 cot x3 Mul Pow x0 Add x2 -1 x2 Mul Pow x0 x2 Mul cot x3 Mul Pow Mul 2 sqrt Mul cos x0 0.785398163397448 -1 Mul 0.785398163397448 Mul -1 sin x0 