[{"name":"35-powz023","spec":"(pow z0 -2/3)"},{"name":"73-powz01z01z1","spec":"(pow (* (- z0 1) (- z0 1)) z1)"},{"name":"25-powz025","spec":"(pow z0 2/5)"},{"name":"24-powz035","spec":"(pow z0 3/5)"},{"name":"22-powz0345","spec":"(pow z0 34/5)"},{"name":"867-z0z1z2","spec":"(* (* z0 z1) z2)"},{"name":"32-powz045","spec":"(pow z0 -4/5)"},{"name":"18-powz053","spec":"(pow z0 5/3)"},{"name":"34-powz0225","spec":"(pow z0 -22/5)"},{"name":"36-powz0165","spec":"(pow z0 -16/5)"},{"name":"48-powz0z1743750000","spec":"(pow (/ z0 z1) -7437/50000)"},{"name":"178-z0z013z1z2z1z2z0z1z2z0","spec":"(/ (* z0 z0) (- (* -1/3 (* (* (* z1 z2) z1) z2)) (* (/ z0 (* z1 z2)) z0)))"},{"name":"2-sqrtz0z1","spec":"(sqrt (* z0 z1))"},{"name":"668-543125z0","spec":"(* -54312/5 z0)"},{"name":"736-powz023sqrt1000630259z1","spec":"(* (pow z0 2/3) (sqrt (* 1000/630259 z1)))"},{"name":"978-z0z1z0z2","spec":"(* (* (* z0 z1) z0) z2)"},{"name":"506-z0z1z1z23z1z1z2","spec":"(* z0 (/ z1 (+ (* (* (/ z1 (* z2 3)) z1) z1) z2)))"}]