Y mul x1 mul pow cos x3 c mul add mul c mul cos x3 tan mul x0 sin mul c mul sqrt mul x1 x3 pow cos x3 c mul c mul x0 mul sqrt mul x1 x3 mul pow cos mul x0 sin mul c mul sqrt mul x1 x3 pow cos x3 c c cos mul c mul sqrt mul x1 x3 pow cos x3 c tan mul x0 sin mul c mul sqrt mul x1 x3 pow cos x3 c