[{"name":"443-111powcosz0240powcosz0415powcosz02","spec":"(+ (- 1 (* 11 (pow (cos z0) 2))) (- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2))))))"},{"name":"721-cos3z0z1z1z2","spec":"(* (cos (- (- (* -3 z0) z1) z1)) z2)"},{"name":"284-pow1cosz0z1z1z1131z1z11sqrt1z1z1","spec":"(- (pow (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) 3) (/ -1 (* (- (* z1 z1) 1) (sqrt (- 1 (* z1 z1))))))"},{"name":"353-z0z0233z0z0221212cosz1z1","spec":"(- (- (* z0 z0) -2) (* (- (* 33 (* z0 z0)) -22) (- 1/2 (* -1/2 (cos (+ z1 z1))))))"},{"name":"885-3z0sin2z1z2","spec":"(* (* 3 z0) (sin (+ (* 2 z1) z2)))"},{"name":"61-powcosz04","spec":"(pow (cos z0) 4)"},{"name":"699-cosz0z1","spec":"(* (cos z0) z1)"},{"name":"65-powz0z12","spec":"(pow (/ z0 z1) 2)"},{"name":"511-z0sinz1z2z2","spec":"(* z0 (sin (+ z1 (+ z2 z2))))"},{"name":"898-3z0sinz1z2z2","spec":"(* (* -3 z0) (sin (+ z1 (+ z2 z2))))"},{"name":"351-z0z0233z0z0221212cos2z1200z0z080powcosz14151212cos","spec":"(- (- (- (* z0 z0) -2) (* (+ (* 33 (* z0 z0)) 22) (+ 1/2 (* 1/2 (cos (* 2 z1)))))) (- (/ (* (+ (* 200 (* z0 z0)) 80) (pow (cos z1) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z1))))))) (* (* (* (pow (cos z1) 6) 400) (* z0 z0)) (pow (- 1 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z1)))))) -2))))"}]