[{"name":"464-11z0z0sqrt1z0z0powcosz1z011z0z03z21","spec":"(* (- (/ 1 (* (- 1 (* z0 z0)) (sqrt (- 1 (* z0 z0))))) (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 3)) (- z2 1))"},{"name":"550-z01z1z1cosz2z2","spec":"(* (* z0 (- 1 (* z1 z1))) (cos (+ z2 z2)))"},{"name":"428-cos3z0z1z1z2","spec":"(* (cos (- (- (* -3 z0) z1) z1)) z2)"},{"name":"466-40powcosz04151212cos2z01212cos2z0111z11z2z2","spec":"(* (- (/ (* -40 (pow (cos z0) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z0))))))) (- (* (+ 1/2 (* 1/2 (cos (* 2 z0)))) 11) 1)) (* z1 (- 1 (* z2 z2))))"},{"name":"250-111powcosz0240powcosz0415powcosz02","spec":"(+ (- 1 (* 11 (pow (cos z0) 2))) (- (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5 (pow (cos z0) 2))))))"},{"name":"547-z0cosz1z140powcosz24151212cos2z21212cos2z2111","spec":"(* (* z0 (cos (+ z1 z1))) (- (/ (* -40 (pow (cos z2) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z2))))))) (- (* (+ 1/2 (* 1/2 (cos (* 2 z2)))) 11) 1)))"},{"name":"210-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))))))) z2))"},{"name":"467-40powcosz04151212cos2z01212cos2z0111sqrt1z1z1z2","spec":"(* (- (/ (* -40 (pow (cos z0) 4)) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z0))))))) (- (* (+ 1/2 (* 1/2 (cos (* 2 z0)))) 11) 1)) (* (sqrt (- 1 (* z1 z1))) z2))"},{"name":"147-200z0z080z1151212cos2z2","spec":"(/ (* (+ (* 200 (* z0 z0)) 80) z1) (- 1 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z2)))))))"},{"name":"209-z0z0233z0z0221212cos2z1z2powcosz16400z0z0pow151212","spec":"(- (- (- (* z0 z0) -2) (* (+ (* 33 (* z0 z0)) 22) (+ 1/2 (* 1/2 (cos (* 2 z1)))))) (- z2 (* (* (* (pow (cos z1) 6) 400) (* z0 z0)) (pow (- 1 (* 5 (+ 1/2 (* 1/2 (cos (* 2 z1)))))) -2))))"},{"name":"560-400powz02powz16","spec":"(* (* 400 (pow z0 2)) (pow z1 6))"},{"name":"514-200z0z080powz14","spec":"(* (+ (* 200 (* z0 z0)) 80) (pow z1 4))"}]