Y mul div c c mul x0 mul pow x1 div c c mul sqrt mul pow add c x0 c sqrt add x0 tan sqrt x1 mul pow add x0 tan sqrt x1 c mul add c pow tan sqrt x1 c add x4 add x0 sqrt mul pow add c x0 c sqrt add x0 tan sqrt x1