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