[{"name":"250-logtan12z134PIz0","spec":"(- (log (tan (- (* 1/2 z1) (* 3/4 PI)))) z0)"},{"name":"29-sqrtz1z01","spec":"(sqrt (- (* z1 z0) -1))"},{"name":"35-sqrtz1z1z0","spec":"(sqrt (+ (* z1 z1) z0))"},{"name":"442-z2z23z1z1z0","spec":"(* (- (* (* z2 z2) 3) (* z1 z1)) z0)"},{"name":"430-z2z2z1z13z0","spec":"(* (- (* z2 z2) (* (* z1 z1) 3)) z0)"},{"name":"291-z2z2z1z13881662847200000000000000000000000000z2z2z","spec":"(- (+ (+ (* (- (* z2 z2) (* (* z1 z1) 3)) (* -881662847/200000000000000000000000000 z2)) (* (* (- z2 z1) (+ z2 z1)) (- 4616990181/500000000000000000000 (* (* z2 z1) 4165541759/125000000000000000000000000000000)))) z0) (* 3689471323/1000000000000000000000000000000000 (- (* (- (* 6 (* z1 z1)) (* z2 z2)) (* z2 z2)) (* (* (* z1 z1) z1) z1))))"}]