[{"name":"541-z0pow1cosz1z2z2z2131z2z21sqrt1z2z2","spec":"(* z0 (- (pow (/ (- -1 (* (cos z1) z2)) (- (* z2 z2) 1)) 3) (/ -1 (* (- (* z2 z2) 1) (sqrt (- 1 (* z2 z2)))))))"},{"name":"876-111powcosz0240powcosz0415powcosz02z1","spec":"(* (+ (- 1 (* 11 (pow (cos z0) 2))) (- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2)))))) z1)"},{"name":"282-z0z0233z0z0221212cos2z1","spec":"(- (- (* z0 z0) -2) (* (+ (* 33 (* z0 z0)) 22) (+ 1/2 (* 1/2 (cos (* 2 z1))))))"},{"name":"248-pow1cosz0z1z1z11sqrt1z1z121cosz0z1z1z11","spec":"(- (pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) 2) (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)))"},{"name":"555-z0z1z1233z1z1221212cos2z2200z1z180powcosz24151212c","spec":"(* z0 (- (- (- (* z1 z1) -2) (* (+ (* 33 (* z1 z1)) 22) (+ 1/2 (* 1/2 (cos (* 2 z2)))))) (- (/ (* (+ (* 200 (* z1 z1)) 80) (pow (cos z2) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z2))))))) (* (* (* (pow (cos z2) 6) 400) (* z1 z1)) (pow (- 1 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z2)))))) -2)))))"},{"name":"351-z0cosz1sinz13z2","spec":"(+ z0 (* (cos z1) (sin (- z1 (* -3 z2)))))"},{"name":"483-z0powz1z22","spec":"(* z0 (pow (/ z1 z2) 2))"}]