[{"name":"59-logtan14z0z0PI","spec":"(log (tan (* 1/4 (+ (+ z0 z0) PI))))"},{"name":"105-cosz1z2z0","spec":"(cos (+ z1 (/ z2 z0)))"},{"name":"21-sqrtz1z1z0z0","spec":"(sqrt (+ (* z1 z1) (* z0 z0)))"},{"name":"37-sinPIz0z014","spec":"(sin (* (- (- PI z0) z0) -1/4))"},{"name":"196-cosz0z01","spec":"(- (cos (+ z0 z0)) 1)"},{"name":"179-1cosz0z0","spec":"(- 1 (cos (+ z0 z0)))"},{"name":"73-log1sinz1z0sinz1z01","spec":"(log (/ (- -1 (* (sin z1) z0)) (- (* (sin z1) z0) 1)))"},{"name":"33-sinz1z0","spec":"(sin (* z1 z0))"},{"name":"153-z0z0z1z2z1z2z0z0","spec":"(/ (- (* z0 z0) (* z1 z2)) (+ (* z1 z2) (* z0 z0)))"},{"name":"106-cosz1z0","spec":"(cos (* z1 z0))"},{"name":"58-logtan134PI12z0","spec":"(log (tan (- (* 13/4 PI) (* -1/2 z0))))"},{"name":"191-logtan14PI12z2log1sinz2z0sinz2z01z1","spec":"(- (log (tan (- (* 1/4 PI) (* -1/2 z2)))) (* (log (/ (- -1 (* (sin z2) z0)) (- (* (sin z2) z0) 1))) z1))"},{"name":"77-logsin12z0cos12z0sqrt212sinPIz0z014","spec":"(log (* (- (sin (* -1/2 z0)) (cos (* -1/2 z0))) (/ (* (sqrt 2) -1/2) (sin (* (- (- PI z0) z0) 1/4)))))"},{"name":"227-6z0z0z1z1","spec":"(- (* 6 (* z0 z0)) (* z1 z1))"},{"name":"148-z0logtan14PI12z2z1","spec":"(/ (- z0 (log (tan (- (* 1/4 PI) (* -1/2 z2))))) z1)"},{"name":"229-3z1z1z0z0","spec":"(- (* 3 (* z1 z1)) (* z0 z0))"},{"name":"63-logfabstan12z0134PI","spec":"(log (fabs (tan (- (* -1/2 z0) (* 13/4 PI)))))"},{"name":"72-logz011z0","spec":"(log (/ (- z0 1) (- -1 z0)))"},{"name":"120-z2sqrtz1z1z2z2z0","spec":"(/ z2 (sqrt (+ (* z1 z1) (* (* z2 z2) z0))))"},{"name":"51-pow1sinz1z0sinz1z0112z0","spec":"(pow (/ (- -1 (* (sin z1) z0)) (- (* (sin z1) z0) 1)) (* 1/2 z0))"},{"name":"32-sinz1z2z0","spec":"(sin (+ z1 (/ z2 z0)))"},{"name":"14-sqrtz0z01","spec":"(sqrt (- (* z0 z0) -1))"},{"name":"416-z0z2z1","spec":"(* (* z0 z2) z1)"},{"name":"213-36894713231000000000000000000000000000000000z0z0z0","spec":"(- (- (* -3689471323/1000000000000000000000000000000000 (- (* (* (* z0 z0) z0) z0) (* (- (* 6 (* z0 z0)) (* z1 z1)) (* z1 z1)))) (* (* 4165541759/125000000000000000000000000000000 (* z1 z0)) (* (- z0 z1) (+ z1 z0)))) (* (* -881662847/200000000000000000000000000 z1) (- (* z1 z1) (* 3 (* z0 z0)))))"},{"name":"57-logtan54PI12z0","spec":"(log (tan (- (* 5/4 PI) (* -1/2 z0))))"},{"name":"428-12z11cosz0z0","spec":"(* (* 1/2 z1) (- 1 (cos (+ z0 z0))))"}]