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