[{"name":"43-sqrtz0z0z1","spec":"(sqrt (- (* z0 z0) z1))"},{"name":"153-log1z0","spec":"(log (+ 1 z0))"},{"name":"127-sinz01z1","spec":"(sin (* z0 (- 1 z1)))"},{"name":"136-sinz0z1z2","spec":"(sin (* (* z0 z1) z2))"},{"name":"192-cosz0PI","spec":"(cos (* z0 PI))"},{"name":"112-sinz0z1z2","spec":"(sin (+ (* z0 z1) z2))"},{"name":"137-sinz0z1PI","spec":"(sin (* (* z0 z1) PI))"},{"name":"41-sqrtz0z1z0z2","spec":"(sqrt (- (- z0 (* z1 z0)) z2))"},{"name":"117-sin31415926535950000000000z0z1","spec":"(sin (+ (* -314159265359/50000000000 z0) z1))"},{"name":"21-sqrtfabsz0z12z1","spec":"(sqrt (fabs (- (+ (* z0 z1) 2) z1)))"}]