[{"name":"7-powcosz0z1","spec":"(pow (cos z0) z1)"},{"name":"20-pow1cosz0z1z1z11sqrt1z1z1z2","spec":"(pow (* (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) (sqrt (- 1 (* z1 z1)))) z2)"},{"name":"143-1sqrt1z0z01z0z0pow1cosz1z0z0z013","spec":"(- (/ 1 (* (sqrt (- 1 (* z0 z0))) (- 1 (* z0 z0)))) (pow (/ (- -1 (* (cos z1) z0)) (- (* z0 z0) 1)) 3))"},{"name":"177-1112cosz0z0140powcosz043252cosz0z0","spec":"(- (- 1 (* 11/2 (- (cos (+ z0 z0)) -1))) (/ (* 40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))))"},{"name":"22-cos3z0z1z1","spec":"(cos (- (- (* -3 z0) z1) z1))"},{"name":"11-pow1cosz0z1z1z11z2","spec":"(pow (/ (- -1 (* (cos z0) z1)) (- (* z1 z1) 1)) z2)"},{"name":"404-cosz0z1","spec":"(* (cos z0) z1)"},{"name":"154-40powcosz043252cosz0z0112cosz0z092","spec":"(- (/ (* -40 (pow (cos z0) 4)) (- -3/2 (* 5/2 (cos (+ z0 z0))))) (- (* 11/2 (cos (+ z0 z0))) -9/2))"}]