{"sample_number":28,"total_time":4994.0,"cpu_time":5188.0,"thread_times":[{"time":4994.0,"id":0}],"nodes":[{"self":0.0,"thread_ids":[],"callers":[{"caller":71,"callee":0,"caller_time":184.0,"total":184.0,"callee_time":184.0},{"caller":91,"callee":0,"caller_time":180.0,"total":180.0,"callee_time":180.0},{"caller":32,"callee":0,"caller_time":176.0,"total":176.0,"callee_time":176.0},{"caller":75,"callee":0,"caller_time":220.0,"total":220.0,"callee_time":220.0},{"caller":80,"callee":0,"caller_time":866.0,"total":866.0,"callee_time":866.0},{"caller":10,"callee":0,"caller_time":180.0,"total":180.0,"callee_time":180.0},{"caller":72,"callee":0,"caller_time":160.0,"total":160.0,"callee_time":2.1333333333333333},{"caller":78,"callee":0,"caller_time":148.0,"total":148.0,"callee_time":148.0},{"caller":100,"callee":0,"caller_time":316.0,"total":316.0,"callee_time":316.0},{"caller":87,"callee":0,"caller_time":150.0,"total":150.0,"callee_time":150.0},{"caller":104,"callee":0,"caller_time":188.0,"total":188.0,"callee_time":188.0},{"caller":26,"callee":0,"caller_time":164.0,"total":164.0,"callee_time":164.0},{"caller":101,"callee":0,"caller_time":178.0,"total":178.0,"callee_time":178.0},{"caller":17,"callee":0,"caller_time":182.0,"total":182.0,"callee_time":182.0},{"caller":95,"callee":0,"caller_time":164.0,"total":164.0,"callee_time":164.0},{"caller":62,"callee":0,"caller_time":498.0,"total":498.0,"callee_time":498.0},{"caller":74,"callee":0,"caller_time":364.0,"total":364.0,"callee_time":364.0},{"caller":97,"callee":0,"caller_time":192.0,"total":192.0,"callee_time":48.0},{"caller":60,"callee":0,"caller_time":164.0,"total":164.0,"callee_time":82.0},{"caller":18,"callee":0,"caller_time":156.0,"total":156.0,"callee_time":78.0},{"caller":76,"callee":0,"caller_time":164.0,"total":164.0,"callee_time":164.0}],"total":4994.0,"callees":[{"caller":0,"callee":1,"caller_time":4994.0,"total":4994.0,"callee_time":4994.0}],"src":false,"id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":0,"callee":1,"caller_time":4994.0,"total":4994.0,"callee_time":4994.0}],"total":4994.0,"callees":[{"caller":1,"callee":8,"caller_time":4994.0,"total":4994.0,"callee_time":4994.0}],"src":"/opt/racket-7.5/collects/racket/private/more-scheme.rkt:261:28","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":62,"callee":2,"caller_time":904.0,"total":904.0,"callee_time":360.0}],"total":904.0,"callees":[{"caller":2,"callee":9,"caller_time":552.0,"total":552.0,"callee_time":552.0},{"caller":2,"callee":16,"caller_time":188.0,"total":188.0,"callee_time":188.0},{"caller":2,"callee":14,"caller_time":164.0,"total":164.0,"callee_time":164.0}],"src":"src/core/taylor.rkt:11:0","id":"approximate9"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":69,"callee":3,"caller_time":552.0,"total":552.0,"callee_time":208.66666666666666}],"total":552.0,"callees":[{"caller":3,"callee":69,"caller_time":104.33333333333333,"total":552.0,"callee_time":276.0},{"caller":3,"callee":62,"caller_time":184.0,"total":552.0,"callee_time":276.0}],"src":"src/core/taylor.rkt:67:15","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":69,"callee":4,"caller_time":360.0,"total":360.0,"callee_time":96.26666666666667}],"total":360.0,"callees":[{"caller":4,"callee":11,"caller_time":360.0,"total":360.0,"callee_time":360.0}],"src":"src/core/taylor.rkt:300:23","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":69,"callee":5,"caller_time":360.0,"total":360.0,"callee_time":65.93333333333334}],"total":360.0,"callees":[{"caller":5,"callee":12,"caller_time":360.0,"total":360.0,"callee_time":360.0}],"src":false,"id":"f40"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":82,"callee":6,"caller_time":328.0,"total":328.0,"callee_time":164.0}],"total":328.0,"callees":[{"caller":6,"callee":13,"caller_time":328.0,"total":328.0,"callee_time":328.0}],"src":"src/core/matcher.rkt:129:11","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":98,"callee":7,"caller_time":188.0,"total":188.0,"callee_time":23.5}],"total":188.0,"callees":[{"caller":7,"callee":10,"caller_time":188.0,"total":188.0,"callee_time":188.0}],"src":false,"id":"syntax-e"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":1,"callee":8,"caller_time":4994.0,"total":4994.0,"callee_time":4994.0}],"total":4994.0,"callees":[{"caller":8,"callee":15,"caller_time":4994.0,"total":4994.0,"callee_time":4994.0}],"src":"/opt/racket-7.5/share/pkgs/profile-lib/main.rkt:9:0","id":"profile-thunk16"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":2,"callee":9,"caller_time":552.0,"total":552.0,"callee_time":552.0}],"total":552.0,"callees":[{"caller":9,"callee":69,"caller_time":104.33333333333333,"total":552.0,"callee_time":552.0}],"src":"src/core/taylor.rkt:86:4","id":"loop"},{"self":180.0,"thread_ids":[0],"callers":[{"caller":7,"callee":10,"caller_time":188.0,"total":188.0,"callee_time":188.0},{"caller":103,"callee":10,"caller_time":180.0,"total":180.0,"callee_time":22.5}],"total":368.0,"callees":[{"caller":10,"callee":72,"caller_time":188.0,"total":188.0,"callee_time":188.0},{"caller":10,"callee":0,"caller_time":180.0,"total":180.0,"callee_time":180.0}],"src":false,"id":"syntax-e/no-taint"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":4,"callee":11,"caller_time":360.0,"total":360.0,"callee_time":360.0}],"total":360.0,"callees":[{"caller":11,"callee":69,"caller_time":96.26666666666667,"total":360.0,"callee_time":360.0}],"src":"src/core/taylor.rkt:303:27","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":5,"callee":12,"caller_time":360.0,"total":360.0,"callee_time":360.0}],"total":360.0,"callees":[{"caller":12,"callee":17,"caller_time":182.0,"total":182.0,"callee_time":182.0},{"caller":12,"callee":19,"caller_time":178.0,"total":178.0,"callee_time":178.0}],"src":"/opt/racket-7.5/collects/racket/private/map.rkt:35:13","id":"map"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":6,"callee":13,"caller_time":328.0,"total":328.0,"callee_time":328.0}],"total":328.0,"callees":[{"caller":13,"callee":69,"caller_time":164.0,"total":328.0,"callee_time":328.0}],"src":"src/core/matcher.rkt:131:15","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":2,"callee":14,"caller_time":164.0,"total":164.0,"callee_time":164.0}],"total":164.0,"callees":[{"caller":14,"callee":16,"caller_time":164.0,"total":164.0,"callee_time":164.0}],"src":"src/core/taylor.rkt:29:18","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":8,"callee":15,"caller_time":4994.0,"total":4994.0,"callee_time":4994.0}],"total":4994.0,"callees":[{"caller":15,"callee":18,"caller_time":4689.0,"total":4994.0,"callee_time":4994.0}],"src":"/opt/racket-7.5/share/pkgs/profile-lib/main.rkt:39:2","id":"run"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":2,"callee":16,"caller_time":188.0,"total":188.0,"callee_time":188.0},{"caller":14,"callee":16,"caller_time":164.0,"total":164.0,"callee_time":164.0}],"total":352.0,"callees":[{"caller":16,"callee":19,"caller_time":188.0,"total":188.0,"callee_time":188.0},{"caller":16,"callee":20,"caller_time":164.0,"total":164.0,"callee_time":164.0}],"src":"src/core/taylor.rkt:351:0","id":"taylor-sqrt"},{"self":182.0,"thread_ids":[0],"callers":[{"caller":12,"callee":17,"caller_time":182.0,"total":182.0,"callee_time":182.0}],"total":182.0,"callees":[{"caller":17,"callee":0,"caller_time":182.0,"total":182.0,"callee_time":182.0}],"src":false,"id":"parse-loop49"},{"self":156.0,"thread_ids":[0],"callers":[{"caller":15,"callee":18,"caller_time":4689.0,"total":4994.0,"callee_time":4994.0},{"caller":71,"callee":18,"caller_time":305.0,"total":610.0,"callee_time":610.0}],"total":4994.0,"callees":[{"caller":18,"callee":21,"caller_time":2828.0,"total":2828.0,"callee_time":2523.0},{"caller":18,"callee":22,"caller_time":1456.0,"total":1456.0,"callee_time":1456.0},{"caller":18,"callee":63,"caller_time":350.0,"total":350.0,"callee_time":350.0},{"caller":18,"callee":24,"caller_time":180.0,"total":180.0,"callee_time":180.0},{"caller":18,"callee":25,"caller_time":180.0,"total":180.0,"callee_time":180.0},{"caller":18,"callee":62,"caller_time":304.0,"total":304.0,"callee_time":152.0},{"caller":18,"callee":0,"caller_time":156.0,"total":156.0,"callee_time":78.0},{"caller":18,"callee":87,"caller_time":150.0,"total":150.0,"callee_time":75.0}],"src":false,"id":".../more-scheme.rkt:261:28"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":69,"callee":19,"caller_time":192.0,"total":192.0,"callee_time":38.4},{"caller":16,"callee":19,"caller_time":188.0,"total":188.0,"callee_time":188.0},{"caller":12,"callee":19,"caller_time":178.0,"total":178.0,"callee_time":178.0}],"total":558.0,"callees":[{"caller":19,"callee":23,"caller_time":558.0,"total":558.0,"callee_time":558.0}],"src":false,"id":"parse-loop74"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":16,"callee":20,"caller_time":164.0,"total":164.0,"callee_time":164.0}],"total":164.0,"callees":[{"caller":20,"callee":26,"caller_time":164.0,"total":164.0,"callee_time":164.0}],"src":"src/core/reduce.rkt:15:0","id":"simplify"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":18,"callee":21,"caller_time":2828.0,"total":2828.0,"callee_time":2523.0}],"total":2828.0,"callees":[{"caller":21,"callee":27,"caller_time":2828.0,"total":2828.0,"callee_time":2828.0}],"src":"src/mainloop.rkt:365:0","id":"run-improve47"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":18,"callee":22,"caller_time":1456.0,"total":1456.0,"callee_time":1456.0}],"total":1456.0,"callees":[{"caller":22,"callee":28,"caller_time":1456.0,"total":1456.0,"callee_time":1456.0}],"src":"src/points.rkt:122:0","id":"prepare-points-intervals"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":19,"callee":23,"caller_time":558.0,"total":558.0,"callee_time":558.0}],"total":558.0,"callees":[{"caller":23,"callee":70,"caller_time":558.0,"total":558.0,"callee_time":558.0}],"src":"src/programs.rkt:144:0","id":"eval-const-expr"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":18,"callee":24,"caller_time":180.0,"total":180.0,"callee_time":180.0}],"total":180.0,"callees":[{"caller":24,"callee":29,"caller_time":180.0,"total":180.0,"callee_time":180.0}],"src":"src/points.rkt:179:0","id":"oracle-error"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":18,"callee":25,"caller_time":180.0,"total":180.0,"callee_time":180.0}],"total":180.0,"callees":[{"caller":25,"callee":30,"caller_time":180.0,"total":180.0,"callee_time":180.0}],"src":"src/mainloop.rkt:390:0","id":"get-final-combination"},{"self":164.0,"thread_ids":[0],"callers":[{"caller":20,"callee":26,"caller_time":164.0,"total":164.0,"callee_time":164.0}],"total":164.0,"callees":[{"caller":26,"callee":0,"caller_time":164.0,"total":164.0,"callee_time":164.0}],"src":false,"id":"f16"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":21,"callee":27,"caller_time":2828.0,"total":2828.0,"callee_time":2828.0}],"total":2828.0,"callees":[{"caller":27,"callee":31,"caller_time":2828.0,"total":2828.0,"callee_time":2828.0}],"src":"src/mainloop.rkt:384:4","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":22,"callee":28,"caller_time":1456.0,"total":1456.0,"callee_time":1456.0}],"total":1456.0,"callees":[{"caller":28,"callee":32,"caller_time":1236.0,"total":1236.0,"callee_time":1236.0},{"caller":28,"callee":33,"caller_time":220.0,"total":220.0,"callee_time":220.0}],"src":"src/points.rkt:134:4","id":"loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":24,"callee":29,"caller_time":180.0,"total":180.0,"callee_time":180.0}],"total":180.0,"callees":[{"caller":29,"callee":72,"caller_time":180.0,"total":180.0,"callee_time":180.0}],"src":"src/points.rkt:180:2","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":25,"callee":30,"caller_time":180.0,"total":180.0,"callee_time":180.0}],"total":180.0,"callees":[{"caller":30,"callee":34,"caller_time":180.0,"total":180.0,"callee_time":180.0}],"src":"src/core/regimes.rkt:33:0","id":"infer-splitpoints"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":27,"callee":31,"caller_time":2828.0,"total":2828.0,"callee_time":2828.0}],"total":2828.0,"callees":[{"caller":31,"callee":35,"caller_time":1068.0,"total":1068.0,"callee_time":1068.0},{"caller":31,"callee":36,"caller_time":904.0,"total":904.0,"callee_time":904.0},{"caller":31,"callee":38,"caller_time":528.0,"total":528.0,"callee_time":528.0},{"caller":31,"callee":40,"caller_time":328.0,"total":328.0,"callee_time":328.0}],"src":"src/mainloop.rkt:346:0","id":"run-iter!"},{"self":176.0,"thread_ids":[0],"callers":[{"caller":28,"callee":32,"caller_time":1236.0,"total":1236.0,"callee_time":1236.0}],"total":1236.0,"callees":[{"caller":32,"callee":37,"caller_time":618.0,"total":618.0,"callee_time":618.0},{"caller":32,"callee":39,"caller_time":442.0,"total":442.0,"callee_time":442.0},{"caller":32,"callee":0,"caller_time":176.0,"total":176.0,"callee_time":176.0}],"src":"src/points.rkt:79:2","id":"loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":28,"callee":33,"caller_time":220.0,"total":220.0,"callee_time":220.0}],"total":220.0,"callees":[{"caller":33,"callee":41,"caller_time":220.0,"total":220.0,"callee_time":220.0}],"src":"src/points.rkt:115:6","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":30,"callee":34,"caller_time":180.0,"total":180.0,"callee_time":180.0}],"total":180.0,"callees":[{"caller":34,"callee":42,"caller_time":180.0,"total":180.0,"callee_time":180.0}],"src":"src/core/regimes.rkt:45:6","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":31,"callee":35,"caller_time":1068.0,"total":1068.0,"callee_time":1068.0}],"total":1068.0,"callees":[{"caller":35,"callee":43,"caller_time":908.0,"total":908.0,"callee_time":908.0},{"caller":35,"callee":50,"caller_time":160.0,"total":160.0,"callee_time":160.0}],"src":"src/mainloop.rkt:278:0","id":"finalize-iter!"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":31,"callee":36,"caller_time":904.0,"total":904.0,"callee_time":904.0}],"total":904.0,"callees":[{"caller":36,"callee":44,"caller_time":904.0,"total":904.0,"callee_time":904.0}],"src":"src/mainloop.rkt:160:0","id":"gen-series!"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":32,"callee":37,"caller_time":618.0,"total":618.0,"callee_time":618.0}],"total":618.0,"callees":[{"caller":37,"callee":62,"caller_time":618.0,"total":618.0,"callee_time":618.0}],"src":"src/programs.rkt:118:11","id":"real->precision"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":31,"callee":38,"caller_time":528.0,"total":528.0,"callee_time":528.0}],"total":528.0,"callees":[{"caller":38,"callee":45,"caller_time":528.0,"total":528.0,"callee_time":528.0}],"src":"src/mainloop.rkt:224:0","id":"simplify!"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":32,"callee":39,"caller_time":442.0,"total":442.0,"callee_time":442.0}],"total":442.0,"callees":[{"caller":39,"callee":46,"caller_time":442.0,"total":442.0,"callee_time":442.0}],"src":"/opt/racket-7.5/collects/racket/contract/private/arrow-higher-order.rkt:379:33","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":31,"callee":40,"caller_time":328.0,"total":328.0,"callee_time":328.0}],"total":328.0,"callees":[{"caller":40,"callee":47,"caller_time":328.0,"total":328.0,"callee_time":328.0}],"src":"src/mainloop.rkt:183:0","id":"gen-rewrites!"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":33,"callee":41,"caller_time":220.0,"total":220.0,"callee_time":220.0}],"total":220.0,"callees":[{"caller":41,"callee":48,"caller_time":220.0,"total":220.0,"callee_time":220.0}],"src":"src/points.rkt:14:0","id":"sample-multi-bounded"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":34,"callee":42,"caller_time":180.0,"total":180.0,"callee_time":180.0}],"total":180.0,"callees":[{"caller":42,"callee":49,"caller_time":180.0,"total":180.0,"callee_time":180.0}],"src":"src/core/regimes.rkt:124:0","id":"option-on-expr"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":35,"callee":43,"caller_time":908.0,"total":908.0,"callee_time":908.0}],"total":908.0,"callees":[{"caller":43,"callee":51,"caller_time":908.0,"total":908.0,"callee_time":908.0}],"src":"/opt/racket-7.5/collects/racket/contract/private/arrow-val-first.rkt:486:18","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":36,"callee":44,"caller_time":904.0,"total":904.0,"callee_time":904.0}],"total":904.0,"callees":[{"caller":44,"callee":52,"caller_time":904.0,"total":904.0,"callee_time":904.0}],"src":"src/mainloop.rkt:167:7","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":38,"callee":45,"caller_time":528.0,"total":528.0,"callee_time":528.0}],"total":528.0,"callees":[{"caller":45,"callee":53,"caller_time":528.0,"total":528.0,"callee_time":528.0}],"src":"src/core/simplify.rkt:42:0","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":39,"callee":46,"caller_time":442.0,"total":442.0,"callee_time":442.0}],"total":442.0,"callees":[{"caller":46,"callee":54,"caller_time":442.0,"total":442.0,"callee_time":442.0}],"src":"src/biginterval.rkt:111:0","id":"ival-add"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":40,"callee":47,"caller_time":328.0,"total":328.0,"callee_time":328.0}],"total":328.0,"callees":[{"caller":47,"callee":55,"caller_time":328.0,"total":328.0,"callee_time":328.0}],"src":"src/mainloop.rkt:191:11","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":41,"callee":48,"caller_time":220.0,"total":220.0,"callee_time":220.0}],"total":220.0,"callees":[{"caller":48,"callee":56,"caller_time":220.0,"total":220.0,"callee_time":220.0}],"src":"src/common.rkt:164:0","id":"random-ranges"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":42,"callee":49,"caller_time":180.0,"total":180.0,"callee_time":180.0}],"total":180.0,"callees":[{"caller":49,"callee":63,"caller_time":180.0,"total":180.0,"callee_time":180.0}],"src":"src/core/regimes.rkt:135:4","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":35,"callee":50,"caller_time":160.0,"total":160.0,"callee_time":160.0}],"total":160.0,"callees":[{"caller":50,"callee":72,"caller_time":2.1333333333333333,"total":160.0,"callee_time":160.0}],"src":"src/points.rkt:187:0","id":"errors-score"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":43,"callee":51,"caller_time":908.0,"total":908.0,"callee_time":908.0}],"total":908.0,"callees":[{"caller":51,"callee":57,"caller_time":908.0,"total":908.0,"callee_time":908.0}],"src":"src/core/alt-table.rkt:201:2","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":44,"callee":52,"caller_time":904.0,"total":904.0,"callee_time":904.0}],"total":904.0,"callees":[{"caller":52,"callee":58,"caller_time":904.0,"total":904.0,"callee_time":904.0}],"src":"src/mainloop.rkt:146:0","id":"taylor-alt"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":45,"callee":53,"caller_time":528.0,"total":528.0,"callee_time":528.0}],"total":528.0,"callees":[{"caller":53,"callee":59,"caller_time":528.0,"total":528.0,"callee_time":528.0}],"src":"/home/p92/.racket/7.5/pkgs/egg-herbie-linux/main.rkt:49:0","id":"egraph-run"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":46,"callee":54,"caller_time":442.0,"total":442.0,"callee_time":442.0}],"total":442.0,"callees":[{"caller":54,"callee":80,"caller_time":442.0,"total":442.0,"callee_time":442.0}],"src":"/opt/racket-7.5/share/pkgs/math-lib/math/private/bigfloat/mpfr.rkt:835:4","id":"bfadd"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":47,"callee":55,"caller_time":328.0,"total":328.0,"callee_time":328.0}],"total":328.0,"callees":[{"caller":55,"callee":60,"caller_time":164.0,"total":328.0,"callee_time":328.0}],"src":"src/core/matcher.rkt:83:0","id":"rewrite-expression-head23"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":48,"callee":56,"caller_time":220.0,"total":220.0,"callee_time":220.0}],"total":220.0,"callees":[{"caller":56,"callee":61,"caller_time":220.0,"total":220.0,"callee_time":220.0}],"src":"/opt/racket-7.5/collects/racket/contract/private/guts.rkt:500:15","id":"cons/c"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":51,"callee":57,"caller_time":908.0,"total":908.0,"callee_time":908.0}],"total":908.0,"callees":[{"caller":57,"callee":63,"caller_time":760.0,"total":760.0,"callee_time":760.0},{"caller":57,"callee":67,"caller_time":148.0,"total":148.0,"callee_time":148.0}],"src":"src/core/alt-table.rkt:204:0","id":"atab-add-altn"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":52,"callee":58,"caller_time":904.0,"total":904.0,"callee_time":904.0}],"total":904.0,"callees":[{"caller":58,"callee":62,"caller_time":360.0,"total":904.0,"callee_time":904.0}],"src":"src/mainloop.rkt:152:6","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":53,"callee":59,"caller_time":528.0,"total":528.0,"callee_time":528.0}],"total":528.0,"callees":[{"caller":59,"callee":64,"caller_time":528.0,"total":528.0,"callee_time":528.0}],"src":"/home/p92/.racket/7.5/pkgs/egg-herbie-linux/main.rkt:111:0","id":"egraph-add-exprs"},{"self":164.0,"thread_ids":[0],"callers":[{"caller":55,"callee":60,"caller_time":164.0,"total":328.0,"callee_time":328.0},{"caller":82,"callee":60,"caller_time":164.0,"total":328.0,"callee_time":164.0}],"total":328.0,"callees":[{"caller":60,"callee":65,"caller_time":328.0,"total":328.0,"callee_time":246.0},{"caller":60,"callee":0,"caller_time":164.0,"total":164.0,"callee_time":82.0}],"src":"src/core/matcher.rkt:85:2","id":"rewriter"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":56,"callee":61,"caller_time":220.0,"total":220.0,"callee_time":220.0}],"total":220.0,"callees":[{"caller":61,"callee":66,"caller_time":220.0,"total":220.0,"callee_time":220.0}],"src":"/opt/racket-7.5/collects/racket/contract/private/guts.rkt:307:0","id":"coerce-contract"},{"self":498.0,"thread_ids":[0],"callers":[{"caller":37,"callee":62,"caller_time":618.0,"total":618.0,"callee_time":618.0},{"caller":58,"callee":62,"caller_time":360.0,"total":904.0,"callee_time":904.0},{"caller":68,"callee":62,"caller_time":360.0,"total":904.0,"callee_time":515.6666666666666},{"caller":18,"callee":62,"caller_time":304.0,"total":304.0,"callee_time":152.0},{"caller":3,"callee":62,"caller_time":184.0,"total":552.0,"callee_time":276.0}],"total":1826.0,"callees":[{"caller":62,"callee":0,"caller_time":498.0,"total":498.0,"callee_time":498.0},{"caller":62,"callee":73,"caller_time":424.0,"total":424.0,"callee_time":424.0},{"caller":62,"callee":68,"caller_time":515.6666666666666,"total":904.0,"callee_time":360.0},{"caller":62,"callee":2,"caller_time":904.0,"total":904.0,"callee_time":360.0},{"caller":62,"callee":69,"caller_time":104.33333333333333,"total":552.0,"callee_time":184.0}],"src":"/opt/racket-7.5/collects/racket/contract/private/arrow-higher-order.rkt:375:33","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":57,"callee":63,"caller_time":760.0,"total":760.0,"callee_time":760.0},{"caller":18,"callee":63,"caller_time":350.0,"total":350.0,"callee_time":350.0},{"caller":49,"callee":63,"caller_time":180.0,"total":180.0,"callee_time":180.0}],"total":1290.0,"callees":[{"caller":63,"callee":71,"caller_time":794.0,"total":794.0,"callee_time":794.0},{"caller":63,"callee":70,"caller_time":316.0,"total":316.0,"callee_time":316.0},{"caller":63,"callee":72,"caller_time":15.0,"total":180.0,"callee_time":180.0}],"src":"src/points.rkt:192:0","id":"errors"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":59,"callee":64,"caller_time":528.0,"total":528.0,"callee_time":528.0}],"total":528.0,"callees":[{"caller":64,"callee":74,"caller_time":364.0,"total":364.0,"callee_time":364.0},{"caller":64,"callee":76,"caller_time":164.0,"total":164.0,"callee_time":164.0}],"src":"src/core/simplify.rkt:103:6","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":60,"callee":65,"caller_time":328.0,"total":328.0,"callee_time":246.0}],"total":328.0,"callees":[{"caller":65,"callee":69,"caller_time":164.0,"total":328.0,"callee_time":246.0},{"caller":65,"callee":77,"caller_time":164.0,"total":164.0,"callee_time":82.0}],"src":"src/core/matcher.rkt:87:4","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":61,"callee":66,"caller_time":220.0,"total":220.0,"callee_time":220.0}],"total":220.0,"callees":[{"caller":66,"callee":75,"caller_time":220.0,"total":220.0,"callee_time":220.0}],"src":"/opt/racket-7.5/collects/racket/contract/private/guts.rkt:372:0","id":"coerce-contract/f"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":57,"callee":67,"caller_time":148.0,"total":148.0,"callee_time":148.0}],"total":148.0,"callees":[{"caller":67,"callee":78,"caller_time":148.0,"total":148.0,"callee_time":148.0}],"src":"src/core/alt-table.rkt:91:0","id":"best-and-tied-at-points"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":62,"callee":68,"caller_time":515.6666666666666,"total":904.0,"callee_time":360.0},{"caller":68,"callee":68,"caller_time":388.3333333333333,"total":722.0,"callee_time":388.3333333333333}],"total":904.0,"callees":[{"caller":68,"callee":62,"caller_time":360.0,"total":904.0,"callee_time":515.6666666666666},{"caller":68,"callee":68,"caller_time":388.3333333333333,"total":722.0,"callee_time":388.3333333333333}],"src":"src/programs.rkt:87:0","id":"location-do"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":65,"callee":69,"caller_time":164.0,"total":328.0,"callee_time":246.0},{"caller":13,"callee":69,"caller_time":164.0,"total":328.0,"callee_time":328.0},{"caller":9,"callee":69,"caller_time":104.33333333333333,"total":552.0,"callee_time":552.0},{"caller":3,"callee":69,"caller_time":104.33333333333333,"total":552.0,"callee_time":276.0},{"caller":62,"callee":69,"caller_time":104.33333333333333,"total":552.0,"callee_time":184.0},{"caller":81,"callee":69,"caller_time":104.33333333333333,"total":552.0,"callee_time":552.0},{"caller":11,"callee":69,"caller_time":96.26666666666667,"total":360.0,"callee_time":360.0},{"caller":83,"callee":69,"caller_time":38.4,"total":192.0,"callee_time":192.0}],"total":880.0,"callees":[{"caller":69,"callee":82,"caller_time":328.0,"total":328.0,"callee_time":328.0},{"caller":69,"callee":3,"caller_time":552.0,"total":552.0,"callee_time":208.66666666666666},{"caller":69,"callee":81,"caller_time":552.0,"total":552.0,"callee_time":104.33333333333333},{"caller":69,"callee":4,"caller_time":360.0,"total":360.0,"callee_time":96.26666666666667},{"caller":69,"callee":5,"caller_time":360.0,"total":360.0,"callee_time":65.93333333333334},{"caller":69,"callee":83,"caller_time":192.0,"total":192.0,"callee_time":38.4},{"caller":69,"callee":19,"caller_time":192.0,"total":192.0,"callee_time":38.4}],"src":"/opt/racket-7.5/collects/racket/private/more-scheme.rkt:376:2","id":"hash-ref!"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":23,"callee":70,"caller_time":558.0,"total":558.0,"callee_time":558.0},{"caller":63,"callee":70,"caller_time":316.0,"total":316.0,"callee_time":316.0}],"total":874.0,"callees":[{"caller":70,"callee":79,"caller_time":874.0,"total":874.0,"callee_time":874.0}],"src":false,"id":"temp85_0"},{"self":184.0,"thread_ids":[0],"callers":[{"caller":63,"callee":71,"caller_time":794.0,"total":794.0,"callee_time":794.0}],"total":794.0,"callees":[{"caller":71,"callee":18,"caller_time":305.0,"total":610.0,"callee_time":610.0},{"caller":71,"callee":0,"caller_time":184.0,"total":184.0,"callee_time":184.0}],"src":"src/points.rkt:194:2","id":"for-loop"},{"self":160.0,"thread_ids":[0],"callers":[{"caller":72,"callee":72,"caller_time":217.86666666666667,"total":340.0,"callee_time":217.86666666666667},{"caller":10,"callee":72,"caller_time":188.0,"total":188.0,"callee_time":188.0},{"caller":29,"callee":72,"caller_time":180.0,"total":180.0,"callee_time":180.0},{"caller":103,"callee":72,"caller_time":105.0,"total":180.0,"callee_time":157.5},{"caller":63,"callee":72,"caller_time":15.0,"total":180.0,"callee_time":180.0},{"caller":50,"callee":72,"caller_time":2.1333333333333333,"total":160.0,"callee_time":160.0}],"total":708.0,"callees":[{"caller":72,"callee":103,"caller_time":345.5,"total":368.0,"callee_time":293.0},{"caller":72,"callee":72,"caller_time":217.86666666666667,"total":340.0,"callee_time":217.86666666666667},{"caller":72,"callee":84,"caller_time":180.0,"total":180.0,"callee_time":180.0},{"caller":72,"callee":93,"caller_time":180.0,"total":180.0,"callee_time":15.0},{"caller":72,"callee":0,"caller_time":160.0,"total":160.0,"callee_time":2.1333333333333333}],"src":false,"id":"loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":62,"callee":73,"caller_time":424.0,"total":424.0,"callee_time":424.0}],"total":424.0,"callees":[{"caller":73,"callee":80,"caller_time":424.0,"total":424.0,"callee_time":424.0}],"src":"/opt/racket-7.5/share/pkgs/math-lib/math/private/bigfloat/mpfr.rkt:615:2","id":"bf"},{"self":364.0,"thread_ids":[0],"callers":[{"caller":64,"callee":74,"caller_time":364.0,"total":364.0,"callee_time":364.0}],"total":364.0,"callees":[{"caller":74,"callee":0,"caller_time":364.0,"total":364.0,"callee_time":364.0}],"src":"src/core/simplify.rkt:121:2","id":"for-loop"},{"self":220.0,"thread_ids":[0],"callers":[{"caller":66,"callee":75,"caller_time":220.0,"total":220.0,"callee_time":220.0}],"total":220.0,"callees":[{"caller":75,"callee":0,"caller_time":220.0,"total":220.0,"callee_time":220.0}],"src":"/opt/racket-7.5/collects/racket/contract/private/guts.rkt:385:0","id":"coerce-simple-value"},{"self":164.0,"thread_ids":[0],"callers":[{"caller":64,"callee":76,"caller_time":164.0,"total":164.0,"callee_time":164.0}],"total":164.0,"callees":[{"caller":76,"callee":0,"caller_time":164.0,"total":164.0,"callee_time":164.0}],"src":"src/core/simplify.rkt:109:0","id":"egg-run-rules"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":65,"callee":77,"caller_time":164.0,"total":164.0,"callee_time":82.0}],"total":164.0,"callees":[{"caller":77,"callee":85,"caller_time":164.0,"total":164.0,"callee_time":164.0}],"src":"src/core/matcher.rkt:94:8","id":"for-loop"},{"self":148.0,"thread_ids":[0],"callers":[{"caller":67,"callee":78,"caller_time":148.0,"total":148.0,"callee_time":148.0}],"total":148.0,"callees":[{"caller":78,"callee":0,"caller_time":148.0,"total":148.0,"callee_time":148.0}],"src":"src/core/alt-table.rkt:94:4","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":70,"callee":79,"caller_time":874.0,"total":874.0,"callee_time":874.0}],"total":874.0,"callees":[{"caller":79,"callee":86,"caller_time":874.0,"total":874.0,"callee_time":874.0}],"src":false,"id":"compile15"},{"self":866.0,"thread_ids":[0],"callers":[{"caller":54,"callee":80,"caller_time":442.0,"total":442.0,"callee_time":442.0},{"caller":73,"callee":80,"caller_time":424.0,"total":424.0,"callee_time":424.0}],"total":866.0,"callees":[{"caller":80,"callee":0,"caller_time":866.0,"total":866.0,"callee_time":866.0}],"src":"/opt/racket-7.5/share/pkgs/math-lib/math/private/bigfloat/mpfr.rkt:348:0","id":"new-mpfr"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":69,"callee":81,"caller_time":552.0,"total":552.0,"callee_time":104.33333333333333}],"total":552.0,"callees":[{"caller":81,"callee":69,"caller_time":104.33333333333333,"total":552.0,"callee_time":552.0}],"src":"src/core/taylor.rkt:44:15","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":69,"callee":82,"caller_time":328.0,"total":328.0,"callee_time":328.0}],"total":328.0,"callees":[{"caller":82,"callee":6,"caller_time":328.0,"total":328.0,"callee_time":164.0},{"caller":82,"callee":60,"caller_time":164.0,"total":328.0,"callee_time":164.0}],"src":"src/core/matcher.rkt:117:2","id":"matcher"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":69,"callee":83,"caller_time":192.0,"total":192.0,"callee_time":38.4}],"total":192.0,"callees":[{"caller":83,"callee":69,"caller_time":38.4,"total":192.0,"callee_time":192.0}],"src":"src/core/taylor.rkt:343:33","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":72,"callee":84,"caller_time":180.0,"total":180.0,"callee_time":180.0}],"total":180.0,"callees":[{"caller":84,"callee":87,"caller_time":180.0,"total":180.0,"callee_time":180.0}],"src":"src/points.rkt:181:26","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":77,"callee":85,"caller_time":164.0,"total":164.0,"callee_time":164.0}],"total":164.0,"callees":[{"caller":85,"callee":88,"caller_time":82.0,"total":164.0,"callee_time":164.0}],"src":"src/core/matcher.rkt:106:2","id":"fix-up-variables"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":79,"callee":86,"caller_time":874.0,"total":874.0,"callee_time":874.0}],"total":874.0,"callees":[{"caller":86,"callee":89,"caller_time":558.0,"total":558.0,"callee_time":558.0},{"caller":86,"callee":90,"caller_time":316.0,"total":316.0,"callee_time":316.0}],"src":false,"id":"temp91_0"},{"self":150.0,"thread_ids":[0],"callers":[{"caller":84,"callee":87,"caller_time":180.0,"total":180.0,"callee_time":180.0},{"caller":18,"callee":87,"caller_time":150.0,"total":150.0,"callee_time":75.0}],"total":330.0,"callees":[{"caller":87,"callee":91,"caller_time":180.0,"total":180.0,"callee_time":180.0},{"caller":87,"callee":0,"caller_time":150.0,"total":150.0,"callee_time":150.0}],"src":"src/syntax/syntax.rkt:214:17","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":85,"callee":88,"caller_time":82.0,"total":164.0,"callee_time":164.0},{"caller":88,"callee":88,"caller_time":82.0,"total":164.0,"callee_time":82.0}],"total":164.0,"callees":[{"caller":88,"callee":88,"caller_time":82.0,"total":164.0,"callee_time":82.0},{"caller":88,"callee":92,"caller_time":164.0,"total":164.0,"callee_time":82.0}],"src":"src/core/matcher.rkt:29:0","id":"pattern-match"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":86,"callee":89,"caller_time":558.0,"total":558.0,"callee_time":558.0}],"total":558.0,"callees":[{"caller":89,"callee":93,"caller_time":558.0,"total":558.0,"callee_time":558.0}],"src":false,"id":"temp118_0"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":86,"callee":90,"caller_time":316.0,"total":316.0,"callee_time":316.0}],"total":316.0,"callees":[{"caller":90,"callee":94,"caller_time":316.0,"total":316.0,"callee_time":316.0}],"src":false,"id":"compile-top9"},{"self":180.0,"thread_ids":[0],"callers":[{"caller":87,"callee":91,"caller_time":180.0,"total":180.0,"callee_time":180.0}],"total":180.0,"callees":[{"caller":91,"callee":0,"caller_time":180.0,"total":180.0,"callee_time":180.0}],"src":"/opt/racket-7.5/collects/racket/private/set.rkt:24:0","id":"list-member?"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":88,"callee":92,"caller_time":164.0,"total":164.0,"callee_time":82.0}],"total":164.0,"callees":[{"caller":92,"callee":95,"caller_time":164.0,"total":164.0,"callee_time":164.0}],"src":"src/syntax/syntax.rkt:729:0","id":"variable?"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":89,"callee":93,"caller_time":558.0,"total":558.0,"callee_time":558.0},{"caller":72,"callee":93,"caller_time":180.0,"total":180.0,"callee_time":15.0}],"total":738.0,"callees":[{"caller":93,"callee":96,"caller_time":558.0,"total":558.0,"callee_time":558.0},{"caller":93,"callee":99,"caller_time":180.0,"total":180.0,"callee_time":180.0}],"src":false,"id":"expand-capturing-lifts"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":90,"callee":94,"caller_time":316.0,"total":316.0,"callee_time":316.0}],"total":316.0,"callees":[{"caller":94,"callee":98,"caller_time":316.0,"total":316.0,"callee_time":316.0}],"src":false,"id":"compile-forms33"},{"self":164.0,"thread_ids":[0],"callers":[{"caller":92,"callee":95,"caller_time":164.0,"total":164.0,"callee_time":164.0}],"total":164.0,"callees":[{"caller":95,"callee":0,"caller_time":164.0,"total":164.0,"callee_time":164.0}],"src":"src/syntax/types.rkt:18:0","id":"value?"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":93,"callee":96,"caller_time":558.0,"total":558.0,"callee_time":558.0}],"total":558.0,"callees":[{"caller":96,"callee":97,"caller_time":163.85714285714286,"total":558.0,"callee_time":558.0}],"src":false,"id":"lambda-clause-expander"},{"self":192.0,"thread_ids":[0],"callers":[{"caller":98,"callee":97,"caller_time":394.14285714285717,"total":558.0,"callee_time":344.3333333333333},{"caller":96,"callee":97,"caller_time":163.85714285714286,"total":558.0,"callee_time":558.0}],"total":558.0,"callees":[{"caller":97,"callee":98,"caller_time":427.1666666666667,"total":558.0,"callee_time":510.0},{"caller":97,"callee":0,"caller_time":192.0,"total":192.0,"callee_time":48.0}],"src":false,"id":"finish-bodys"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":97,"callee":98,"caller_time":427.1666666666667,"total":558.0,"callee_time":510.0},{"caller":94,"callee":98,"caller_time":316.0,"total":316.0,"callee_time":316.0},{"caller":98,"callee":98,"caller_time":130.83333333333334,"total":558.0,"callee_time":130.83333333333334}],"total":874.0,"callees":[{"caller":98,"callee":97,"caller_time":394.14285714285717,"total":558.0,"callee_time":344.3333333333333},{"caller":98,"callee":100,"caller_time":316.0,"total":316.0,"callee_time":316.0},{"caller":98,"callee":98,"caller_time":130.83333333333334,"total":558.0,"callee_time":130.83333333333334},{"caller":98,"callee":99,"caller_time":178.0,"total":178.0,"callee_time":59.333333333333336},{"caller":98,"callee":7,"caller_time":188.0,"total":188.0,"callee_time":23.5}],"src":false,"id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":93,"callee":99,"caller_time":180.0,"total":180.0,"callee_time":180.0},{"caller":98,"callee":99,"caller_time":178.0,"total":178.0,"callee_time":59.333333333333336}],"total":358.0,"callees":[{"caller":99,"callee":101,"caller_time":358.0,"total":358.0,"callee_time":358.0}],"src":false,"id":"dispatch-transformer41"},{"self":316.0,"thread_ids":[0],"callers":[{"caller":98,"callee":100,"caller_time":316.0,"total":316.0,"callee_time":316.0}],"total":316.0,"callees":[{"caller":100,"callee":0,"caller_time":316.0,"total":316.0,"callee_time":316.0}],"src":false,"id":"compile-module-linklet57"},{"self":178.0,"thread_ids":[0],"callers":[{"caller":99,"callee":101,"caller_time":358.0,"total":358.0,"callee_time":358.0}],"total":358.0,"callees":[{"caller":101,"callee":102,"caller_time":180.0,"total":180.0,"callee_time":180.0},{"caller":101,"callee":0,"caller_time":178.0,"total":178.0,"callee_time":178.0}],"src":false,"id":"apply-transformer52"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":101,"callee":102,"caller_time":180.0,"total":180.0,"callee_time":180.0}],"total":180.0,"callees":[{"caller":102,"callee":103,"caller_time":22.5,"total":180.0,"callee_time":180.0}],"src":false,"id":"apply-post-expansion"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":72,"callee":103,"caller_time":345.5,"total":368.0,"callee_time":293.0},{"caller":102,"callee":103,"caller_time":22.5,"total":180.0,"callee_time":180.0}],"total":368.0,"callees":[{"caller":103,"callee":104,"caller_time":188.0,"total":188.0,"callee_time":188.0},{"caller":103,"callee":72,"caller_time":105.0,"total":180.0,"callee_time":157.5},{"caller":103,"callee":10,"caller_time":180.0,"total":180.0,"callee_time":22.5}],"src":false,"id":"gf"},{"self":188.0,"thread_ids":[0],"callers":[{"caller":103,"callee":104,"caller_time":188.0,"total":188.0,"callee_time":188.0}],"total":188.0,"callees":[{"caller":104,"callee":0,"caller_time":188.0,"total":188.0,"callee_time":188.0}],"src":false,"id":"propagation-apply"}]}