[{"name":"612-z0logtanz11234PI","spec":"(* z0 (log (tan (- (* z1 1/2) (* 3/4 PI)))))"},{"name":"645-PIz0","spec":"(* PI z0)"},{"name":"360-z1z2sqrtz0z0z2z2","spec":"(/ (* z1 z2) (sqrt (+ (* z0 z0) (* z2 z2))))"},{"name":"712-sinz2z1z0","spec":"(* (sin (* z2 z1)) z0)"},{"name":"615-z0logtan14PIz1z1","spec":"(* z0 (log (tan (* 1/4 (- PI (+ z1 z1))))))"},{"name":"713-sinz2z0z1","spec":"(* (sin (* z2 z0)) z1)"},{"name":"594-z0PI","spec":"(* z0 PI)"},{"name":"167-logtan14z0z0PI","spec":"(log (tan (* 1/4 (+ (+ z0 z0) PI))))"},{"name":"168-logtanPIz0z014","spec":"(log (tan (* (- PI (+ z0 z0)) 1/4)))"},{"name":"56-sqrtz0z0z1z1","spec":"(sqrt (+ (* z0 z0) (* z1 z1)))"},{"name":"155-logtan94PI12z0","spec":"(log (tan (- (* 9/4 PI) (* -1/2 z0))))"},{"name":"83-sinz1z0","spec":"(sin (* z1 z0))"},{"name":"0-tanz01234PI","spec":"(tan (- (* z0 1/2) (* 3/4 PI)))"},{"name":"764-log1sinz2z0sinz2z01z1","spec":"(* (log (/ (- -1 (* (sin z2) z0)) (- (* (sin z2) z0) 1))) z1)"},{"name":"11-tan12z034PI","spec":"(tan (- (* 1/2 z0) (* 3/4 PI)))"},{"name":"184-log1sinz1z0sinz1z01","spec":"(log (/ (- -1 (* (sin z1) z0)) (- (* (sin z1) z0) 1)))"},{"name":"195-logsinPI140tanPI12z012sqrt2","spec":"(log (* (* (sin (+ (* PI 1/4) 0)) (tan (* (+ (* PI 1/2) z0) 1/2))) (sqrt 2)))"},{"name":"20-tan94PI12z0","spec":"(tan (+ (* 9/4 PI) (* 1/2 z0)))"},{"name":"380-z0logtanz112134PI","spec":"(- z0 (log (tan (+ (* z1 1/2) (* 13/4 PI)))))"}]