Y mul c mul x2 mul pow x5 c mul pow add x2 add mul c x5 mul x2 add c mul x2 mul pow x0 c pow add x0 sqrt x2 c c add mul x2 mul pow x0 c add mul c x0 mul c sqrt x2 mul c mul x2 mul pow x0 c pow add x0 sqrt x2 c