[{"name":"28-sqrtz0z0z1z1","spec":"(sqrt (+ (* z0 z0) (* z1 z1)))"},{"name":"481-sinz0z1z2","spec":"(* (sin (* z0 z1)) z2)"},{"name":"115-log1z0sinz1z0sinz11","spec":"(log (/ (- -1 (* z0 (sin z1))) (- (* z0 (sin z1)) 1)))"},{"name":"151-cosz0z1z2","spec":"(cos (+ (/ z0 z1) z2))"},{"name":"96-logtan54PI12z0","spec":"(log (tan (- (* 5/4 PI) (* -1/2 z0))))"},{"name":"152-cosz0z1","spec":"(cos (* z0 z1))"},{"name":"512-logtan134PI12z0z1","spec":"(* (log (tan (- (* 13/4 PI) (* -1/2 z0)))) z1)"},{"name":"328-cosz0z01","spec":"(- (cos (+ z0 z0)) 1)"},{"name":"29-sqrtz0z0z1z1z2","spec":"(sqrt (+ (* z0 z0) (* (* z1 z1) z2)))"},{"name":"114-log1z0z01","spec":"(log (/ (- 1 z0) (- z0 -1)))"},{"name":"125-log12fabstan54PI12z02","spec":"(log (* (* 1/2 (fabs (tan (- (* 5/4 PI) (* -1/2 z0))))) 2))"},{"name":"527-log1z0sinz1z0sinz11z2","spec":"(* (log (/ (- -1 (* z0 (sin z1))) (- (* z0 (sin z1)) 1))) z2)"},{"name":"458-sqrt2z0","spec":"(* (sqrt 2) z0)"},{"name":"105-logfabstan14z0z0PI","spec":"(log (fabs (tan (* 1/4 (+ (+ z0 z0) PI)))))"}]