[{"name":"600-sinz0z03z1z2","spec":"(* (sin (- (+ z0 z0) (* -3 z1))) z2)"},{"name":"7-powcosz0z1","spec":"(pow (cos z0) z1)"},{"name":"26-powcosz0z111z1z1sqrt1z1z1z2","spec":"(pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) z2)"},{"name":"653-cosz03z1z0z2","spec":"(* (cos (- z0 (- (* -3 z1) z0))) z2)"},{"name":"187-1sqrt1z0z01z0z0powcosz1z011z0z03","spec":"(- (/ 1 (* (sqrt (- 1 (* z0 z0))) (- 1 (* z0 z0)))) (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 3))"},{"name":"611-sinz0z0z1z2","spec":"(* (sin (+ (+ z0 z0) z1)) z2)"},{"name":"182-powcosz0z111z1z1sqrt1z1z12cosz0z111z1z1","spec":"(- (pow (* (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) (sqrt (- 1 (* z1 z1)))) 2) (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))))"},{"name":"218-11112cosz0z0140powcosz0432512cosz0z0","spec":"(- (- 1 (* 11 (* 1/2 (+ (cos (+ z0 z0)) 1)))) (/ (* 40 (pow (cos z0) 4)) (- -3/2 (* 5 (* 1/2 (cos (+ z0 z0)))))))"},{"name":"11-powcosz0z111z1z1z2","spec":"(pow (/ (- (* (cos z0) z1) -1) (- 1 (* z1 z1))) z2)"},{"name":"231-40powcosz0432512cosz0z012cosz0z01111","spec":"(- (- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5 (* 1/2 (cos (+ z0 z0)))))) (* (* 1/2 (+ (cos (+ z0 z0)) 1)) 11)) -1)"}]