[{"name":"98-logtan34PI12z0","spec":"(log (tan (- (* -3/4 PI) (* -1/2 z0))))"},{"name":"634-PIz0","spec":"(* PI z0)"},{"name":"35-sqrtz0z1z0z2z2","spec":"(sqrt (+ (* (* z0 z1) z0) (* z2 z2)))"},{"name":"742-log1sinz0z1sinz0z11z2","spec":"(* (log (/ (- -1 (* (sin z0) z1)) (- (* (sin z0) z1) 1))) z2)"},{"name":"96-logtan134PI12z0","spec":"(log (tan (- (* 13/4 PI) (* -1/2 z0))))"},{"name":"706-sinz0z1z2","spec":"(* (sin (* z0 z1)) z2)"},{"name":"576-z0logtan14PIz1z1","spec":"(* z0 (log (tan (* 1/4 (- (- PI z1) z1)))))"},{"name":"163-cosz0z1z2","spec":"(cos (+ (/ z0 z1) z2))"},{"name":"76-powtanPIz0z014z1","spec":"(pow (tan (* (+ PI (+ z0 z0)) 1/4)) z1)"},{"name":"871-z0z1z2","spec":"(* (* z0 z1) z2)"},{"name":"164-cosz0z1","spec":"(cos (* z0 z1))"},{"name":"18-sqrtfabsz0z0z1z2z2","spec":"(sqrt (fabs (+ (* (* z0 z0) z1) (* z2 z2))))"},{"name":"585-z0logz111z1","spec":"(* z0 (log (/ (- z1 -1) (- 1 z1))))"},{"name":"771-z0z1z2","spec":"(* (/ z0 z1) z2)"}]