[{"name":"37-logtan294PI12z1","spec":"(log (tan (- (* 29/4 (PI)) (* -1/2 z1))))"},{"name":"44-logsinz1z111sinz1z1","spec":"(log (/ (- (* (sin z1) z1) -1) (- 1 (* (sin z1) z1))))"},{"name":"3-tanPIz1114","spec":"(tan (* (- (PI) (- z1 -1)) 1/4))"},{"name":"52-cosz2z1z1","spec":"(cos (+ (/ z2 z1) z1))"},{"name":"84-z1z2sqrtz2z2z1z1","spec":"(/ (* z1 z2) (sqrt (+ (* z2 z2) (* z1 z1))))"},{"name":"40-logtanPIz1114","spec":"(log (tan (* (+ (PI) (- z1 -1)) 1/4)))"},{"name":"209-log1sinz2z1sinz2z11z1","spec":"(* (log (/ (- -1 (* (sin z2) z1)) (- (* (sin z2) z1) 1))) z1)"},{"name":"45-logpow1sinz2z1sinz2z11z1tan214PI12z2","spec":"(log (* (pow (/ (- -1 (* (sin z2) z1)) (- (* (sin z2) z1) 1)) (neg z1)) (tan (- (* 21/4 (PI)) (* -1/2 z2)))))"},{"name":"53-cosz1z1","spec":"(cos (* z1 z1))"},{"name":"43-log1z11z1","spec":"(log (/ (- -1 z1) (- 1 z1)))"}]