[{"name":"48-powz023","spec":"(pow z0 2/3)"},{"name":"780-pow1z01z0z1z2","spec":"(* (pow (* (- 1 z0) (- 1 z0)) z1) z2)"},{"name":"47-powz025","spec":"(pow z0 2/5)"},{"name":"87-powz0z1z0z2","spec":"(pow (/ (- z0 z1) z0) z2)"},{"name":"80-powz0z1z2","spec":"(pow (/ z0 z1) z2)"},{"name":"46-powz035","spec":"(pow z0 3/5)"},{"name":"134-pow1z01z0z1","spec":"(pow (* (- 1 z0) (- 1 z0)) z1)"},{"name":"44-powz0345","spec":"(pow z0 34/5)"},{"name":"117-pow1000630259z045","spec":"(pow (* 1000/630259 z0) -4/5)"},{"name":"927-86433500000000000000powz022pow10061689z1165","spec":"(* (* -86433/500000000000000 (pow z0 22)) (pow (* 100/61689 z1) -16/5))"},{"name":"423-powz015230710000000021915000000powz011","spec":"(- (* (pow z0 15) 2307/100000000) (* 2191/5000000 (pow z0 11)))"},{"name":"933-111016250000000000000powz025pow1000630259z1225","spec":"(* (* -11101/6250000000000000 (pow z0 25)) (pow (* 1000/630259 z1) -22/5))"}]