[{"name":"17-cos3z0z1z1","spec":"(cos (- (- (* -3 z0) z1) z1))"},{"name":"1-sinz1z13z0","spec":"(sin (- (+ z1 z1) (* -3 z0)))"},{"name":"79-40powcosz0452cosz0z032cosz0z0112111","spec":"(- (- (/ (* 40 (pow (cos z0) 4)) (- (* 5/2 (cos (+ z0 z0))) -3/2)) (* (* (- (cos (+ z0 z0)) -1) 1/2) 11)) -1)"},{"name":"211-1sqrt1z0z01z0z0pow1cosz1z0z0z01332cosz2z211","spec":"(* (- (/ 1 (* (sqrt (- 1 (* z0 z0))) (- 1 (* z0 z0)))) (pow (/ (- -1 (* (cos z1) z0)) (- (* z0 z0) 1)) 3)) (- (* 3/2 (- (cos (+ z2 z2)) -1)) 1))"},{"name":"60-pow1cosz1z0z0z0131sqrt1z0z01z0z0","spec":"(- (pow (/ (- -1 (* (cos z1) z0)) (- (* z0 z0) 1)) 3) (/ 1 (* (sqrt (- 1 (* z0 z0))) (- 1 (* z0 z0)))))"},{"name":"308-z0z112z2z1","spec":"(* (* (* (* z0 z1) 1/2) z2) z1)"},{"name":"100-40powcosz04152cosz0z01112cosz0z011","spec":"(- (* -40 (/ (pow (cos z0) 4) (- 1 (* 5/2 (- (cos (+ z0 z0)) -1))))) (- (* 11/2 (- (cos (+ z0 z0)) -1)) 1))"},{"name":"124-1cosz0z01121140powcosz04152cosz0z01","spec":"(+ 1 (- (* (* (- (cos (+ z0 z0)) -1) -1/2) 11) (/ (* 40 (pow (cos z0) 4)) (- 1 (* 5/2 (- (cos (+ z0 z0)) -1))))))"},{"name":"109-pow1cosz1z01z0z021z0z01","spec":"(- (* (pow (/ (- -1 (* (cos z1) z0)) (- 1 (* z0 z0))) 2) (- 1 (* z0 z0))) -1)"},{"name":"7-powcosz04","spec":"(pow (cos z0) 4)"}]