[{"name":"14-powcosz1z0","spec":"(pow (cos z1) z0)"},{"name":"715-z1z11z0","spec":"(* (- (* z1 z1) 1) z0)"},{"name":"3-sin3z0z1z1","spec":"(sin (- (- (* -3 z0) z1) z1))"},{"name":"517-sin3z1z2z2z0","spec":"(* (sin (- (- (* -3 z1) z2) z2)) z0)"},{"name":"611-z2z1z1z0","spec":"(* (/ z2 (* z1 z1)) z0)"},{"name":"584-cos3z1z2z2z0","spec":"(* (cos (- (- (* -3 z1) z2) z2)) z0)"},{"name":"18-pow1cosz2z1z1z11z0","spec":"(pow (/ (- -1 (* (cos z2) z1)) (- (* z1 z1) 1)) z0)"},{"name":"800-z2z1z0","spec":"(* (* z2 z1) z0)"},{"name":"905-1z2z2z1z0","spec":"(* (* (- 1 (* z2 z2)) z1) z0)"},{"name":"216-1sqrt1z0z01z0z0powcosz1z011z0z03","spec":"(- (/ 1 (* (sqrt (- 1 (* z0 z0))) (- 1 (* z0 z0)))) (pow (/ (- (* (cos z1) z0) -1) (- 1 (* z0 z0))) 3))"},{"name":"684-1sqrt1z1z11z1z1powcosz2z111z1z13z0","spec":"(* (- (/ 1 (* (sqrt (- 1 (* z1 z1))) (- 1 (* z1 z1)))) (pow (/ (- (* (cos z2) z1) -1) (- 1 (* z1 z1))) 3)) z0)"},{"name":"689-40powcosz143252cosz1z111cosz1z11292z0","spec":"(* (- (/ (* 40 (pow (cos z1) 4)) (- 3/2 (* -5/2 (cos (+ z1 z1))))) (+ (* 11 (* (cos (+ z1 z1)) 1/2)) 9/2)) z0)"},{"name":"229-40powcosz043252cosz0z011cosz0z01292","spec":"(- (/ (* 40 (pow (cos z0) 4)) (- 3/2 (* -5/2 (cos (+ z0 z0))))) (+ (* 11 (* (cos (+ z0 z0)) 1/2)) 9/2))"}]