[{"name":"74-PIz0","spec":"(* PI z0)"},{"name":"15-log1z0","spec":"(log (- 1 z0))"},{"name":"87-sinz0z1z2","spec":"(* (sin (* z0 z1)) z2)"},{"name":"96-sinPIz0z1z2","spec":"(* (sin (* (* PI z0) z1)) z2)"},{"name":"90-sinz01z1z2","spec":"(* (sin (* (- z0 1) z1)) z2)"},{"name":"18-cos31415926535950000000000z0","spec":"(cos (* 314159265359/50000000000 z0))"},{"name":"2-sqrtz0z0z1z1sqrt1z1z1","spec":"(sqrt (- (* z0 z0) (/ (* z1 z1) (sqrt (- 1 (* z1 z1))))))"},{"name":"113-z0z1z1z2","spec":"(* (/ z0 (* z1 z1)) z2)"},{"name":"6-sin31415926535950000000000z0","spec":"(sin (* 314159265359/50000000000 z0))"},{"name":"132-PIz0z1","spec":"(* (* PI z0) z1)"},{"name":"154-z01z1z2z0","spec":"(* (* (* (- z0 1) z1) z2) z0)"},{"name":"48-1z0z0logz0PIPI1z0z01z1z1","spec":"(/ (- 1 (* z0 z0)) (* (* (log z0) (+ PI PI)) (- -1 (* (* (- (* z0 z0) 1) z1) z1))))"},{"name":"16-log11z01expPIz1z0expPIz111","spec":"(log (- (/ -1 (- (/ (- 1 z0) (- -1 (exp (/ PI z1)))) (/ z0 (- (exp (/ (- PI) z1)) -1)))) 1))"},{"name":"159-z01z1z0z1z2","spec":"(* (* (* (* (- z0 1) z1) z0) z1) z2)"},{"name":"78-31415926535950000000000z0","spec":"(* -314159265359/50000000000 z0)"}]