[{"name":"52-sqrtz0z1z1z2","spec":"(sqrt (+ (* (* z0 z1) z1) z2))"},{"name":"484-sinz0z1z2","spec":"(* (sin (* z0 z1)) z2)"},{"name":"407-z0log1z1sinz21z1sinz2","spec":"(* z0 (log (/ (+ 1 (* z1 (sin z2))) (- 1 (* z1 (sin z2))))))"},{"name":"99-sinz0z1z2","spec":"(sin (+ (/ z0 z1) z2))"},{"name":"53-sqrtz0z1z1z2z2","spec":"(sqrt (+ (* (* z0 z1) z1) (* z2 z2)))"},{"name":"173-cosz0z1","spec":"(cos (* z0 z1))"},{"name":"312-logtanPI412z0z1z2","spec":"(- (log (tan (+ (/ PI 4) (* 1/2 z0)))) (* z1 z2))"}]