[{"name":"241-z0sqrtz1z1z2z2","spec":"(/ z0 (sqrt (+ (* z1 z1) (* z2 z2))))"},{"name":"157-logtanPIz0z014","spec":"(log (tan (* (- (- PI z0) z0) 1/4)))"},{"name":"595-z0logtan14PIz1z1","spec":"(* z0 (log (tan (* 1/4 (+ PI (+ z1 z1))))))"},{"name":"158-logtanz0z0PI14","spec":"(log (tan (* (+ (+ z0 z0) PI) 1/4)))"},{"name":"154-logtan12z0294PI","spec":"(log (tan (+ (* 1/2 z0) (* 29/4 PI))))"},{"name":"594-z0logtan14PIz1z1","spec":"(* z0 (log (tan (* 1/4 (- (- PI z1) z1)))))"},{"name":"60-sqrtz0z0z1z1","spec":"(sqrt (+ (* z0 z0) (* z1 z1)))"},{"name":"84-sinz1z0","spec":"(sin (* z1 z0))"},{"name":"138-logtanz01234PI","spec":"(log (tan (- (* z0 1/2) (* 3/4 PI))))"},{"name":"176-logsinz1z011sinz1z0","spec":"(log (/ (- (* (sin z1) z0) -1) (- 1 (* (sin z1) z0))))"},{"name":"618-PIz0","spec":"(* PI z0)"},{"name":"579-z0PI","spec":"(* z0 PI)"},{"name":"685-sinz2z1z0","spec":"(* (sin (* z2 z1)) z0)"},{"name":"0-tanz01234PI","spec":"(tan (- (* z0 1/2) (* 3/4 PI)))"},{"name":"13-tan12z034PI","spec":"(tan (- (* 1/2 z0) (* 3/4 PI)))"},{"name":"654-tan12z134PIz0","spec":"(* (tan (- (* 1/2 z1) (* 3/4 PI))) z0)"},{"name":"232-z2sqrtz1z1z0z2z2","spec":"(/ z2 (sqrt (+ (* z1 z1) (* z0 (* z2 z2)))))"},{"name":"144-logtan94PI12z0","spec":"(log (tan (- (* 9/4 PI) (* -1/2 z0))))"}]