[{"name":"77-logtan14PI12z0","spec":"(log (tan (- (* 1/4 (PI)) (* -1/2 z0))))"},{"name":"28-sqrtz1z1z0z0","spec":"(sqrt (+ (* z1 z1) (* z0 z0)))"},{"name":"96-log1z0z01","spec":"(log (/ (- 1 z0) (- z0 -1)))"},{"name":"127-cosz1z2z0","spec":"(cos (+ z1 (/ z2 z0)))"},{"name":"75-logtan54PI12z0","spec":"(log (tan (- (* 5/4 (PI)) (* -1/2 z0))))"},{"name":"84-logfabstanz0z0PI14","spec":"(log (fabs (tan (* (+ (+ z0 z0) (PI)) 1/4))))"},{"name":"128-cosz1z0","spec":"(cos (* z1 z0))"},{"name":"215-1cosz0z0","spec":"(- 1 (cos (+ z0 z0)))"},{"name":"326-14fabsz0z0PIPI","spec":"(* 1/4 (- (fabs (+ (+ z0 z0) (PI))) (PI)))"},{"name":"47-sinz1z0","spec":"(sin (* z1 z0))"}]