[{"name":"0-sinz13z0z1","spec":"(sin (- z1 (- (* -3 z0) z1)))"},{"name":"270-z2z2z1z1z0","spec":"(* z2 (* (/ z2 (* z1 z1)) z0))"},{"name":"314-121cosz0","spec":"(* 1/2 (- 1 (cos z0)))"},{"name":"96-1cosz0","spec":"(- 1 (cos z0))"},{"name":"2-sinz03z1","spec":"(sin (- z0 (* -3 z1)))"},{"name":"471-z0z11z1z11z0z11z1z111z1z1","spec":"(* (* (/ (- (* z0 z1) -1) (- (* z1 z1) 1)) (/ (- (* z0 z1) -1) (- (* z1 z1) 1))) (- 1 (* z1 z1)))"},{"name":"465-z2z0z1z1","spec":"(* (* (/ z2 z0) z1) z1)"},{"name":"377-z2z1z1z0","spec":"(* (/ z2 (* z1 z1)) z0)"},{"name":"39-z2z0z1z11z0z1z11","spec":"(/ z2 (* (* (* z0 (- (* z1 z1) 1)) z0) (- (* z1 z1) 1)))"},{"name":"37-z2z0z1z11","spec":"(/ z2 (* z0 (- (* z1 z1) 1)))"}]