[{"name":"65-sqrtz0z1z1z2z2","spec":"(sqrt (+ (* (* z0 z1) z1) (* z2 z2)))"},{"name":"692-z01cosz1z1","spec":"(* z0 (- 1 (cos (+ z1 z1))))"},{"name":"301-cosz0z1","spec":"(cos (* z0 z1))"},{"name":"140-sinz0z1","spec":"(sin (* z0 z1))"},{"name":"205-logtanPI412z0","spec":"(log (tan (+ (/ PI 4) (* 1/2 z0))))"},{"name":"554-14PIz012PI12fabs14PIz012","spec":"(- (+ (- (* -1/4 PI) (* z0 1/2)) (* PI 1/2)) (fabs (- (* -1/4 PI) (* z0 1/2))))"},{"name":"294-cosz0z1z2","spec":"(cos (+ (/ z0 z1) z2))"},{"name":"220-logfabs1z0","spec":"(log (fabs (- -1 z0)))"},{"name":"56-sqrtz0z01","spec":"(sqrt (- (* z0 z0) 1))"},{"name":"186-pow1z0sinz11z0sinz112z0","spec":"(pow (/ (+ 1 (* z0 (sin z1))) (- 1 (* z0 (sin z1)))) (* 1/2 z0))"},{"name":"204-logtan54PI12z0","spec":"(log (tan (- (* 5/4 PI) (* -1/2 z0))))"}]