Y mul div c c mul sqrt c mul pow x0 c mul sqrt mul x0 mul pow x0 c add mul c sin x0 mul x3 add x0 sin cos x3 mul pow add mul c sin x0 mul x3 add x0 sin cos x3 c mul add mul c sin x0 add mul x0 cos x0 mul x3 add x0 sin cos x3 sin mul sqrt c sqrt mul x0 mul pow x0 c add mul c sin x0 mul x3 add x0 sin cos x3