{"sample_number":35,"total_time":6586.0,"cpu_time":6804.0,"thread_times":[{"time":6586.0,"id":0}],"nodes":[{"self":0.0,"thread_ids":[],"callers":[{"caller":8,"callee":0,"caller_time":188.0,"total":188.0,"callee_time":94.0},{"caller":94,"callee":0,"caller_time":184.0,"total":184.0,"callee_time":184.0},{"caller":91,"callee":0,"caller_time":558.0,"total":558.0,"callee_time":558.0},{"caller":82,"callee":0,"caller_time":186.0,"total":186.0,"callee_time":186.0},{"caller":44,"callee":0,"caller_time":184.0,"total":184.0,"callee_time":184.0},{"caller":26,"callee":0,"caller_time":184.0,"total":184.0,"callee_time":184.0},{"caller":36,"callee":0,"caller_time":370.0,"total":370.0,"callee_time":370.0},{"caller":24,"callee":0,"caller_time":188.0,"total":188.0,"callee_time":188.0},{"caller":30,"callee":0,"caller_time":196.0,"total":196.0,"callee_time":196.0},{"caller":81,"callee":0,"caller_time":410.0,"total":410.0,"callee_time":410.0},{"caller":33,"callee":0,"caller_time":224.0,"total":224.0,"callee_time":224.0},{"caller":60,"callee":0,"caller_time":200.0,"total":200.0,"callee_time":200.0},{"caller":54,"callee":0,"caller_time":200.0,"total":200.0,"callee_time":200.0},{"caller":15,"callee":0,"caller_time":200.0,"total":200.0,"callee_time":200.0},{"caller":71,"callee":0,"caller_time":378.0,"total":378.0,"callee_time":378.0},{"caller":68,"callee":0,"caller_time":576.0,"total":576.0,"callee_time":576.0},{"caller":88,"callee":0,"caller_time":190.0,"total":190.0,"callee_time":190.0},{"caller":93,"callee":0,"caller_time":198.0,"total":198.0,"callee_time":198.0},{"caller":72,"callee":0,"caller_time":192.0,"total":192.0,"callee_time":192.0},{"caller":86,"callee":0,"caller_time":366.0,"total":366.0,"callee_time":141.5},{"caller":95,"callee":0,"caller_time":168.0,"total":168.0,"callee_time":168.0},{"caller":84,"callee":0,"caller_time":168.0,"total":168.0,"callee_time":168.0},{"caller":90,"callee":0,"caller_time":156.0,"total":156.0,"callee_time":156.0},{"caller":64,"callee":0,"caller_time":722.0,"total":722.0,"callee_time":722.0}],"total":6586.0,"callees":[{"caller":0,"callee":1,"caller_time":6586.0,"total":6586.0,"callee_time":6586.0}],"src":false,"id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":0,"callee":1,"caller_time":6586.0,"total":6586.0,"callee_time":6586.0}],"total":6586.0,"callees":[{"caller":1,"callee":4,"caller_time":6586.0,"total":6586.0,"callee_time":6586.0}],"src":"/opt/racket-7.5/collects/racket/private/more-scheme.rkt:261:28","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":7,"callee":2,"caller_time":265.0,"total":364.0,"callee_time":107.5},{"caller":25,"callee":2,"caller_time":99.0,"total":198.0,"callee_time":99.0}],"total":364.0,"callees":[{"caller":2,"callee":25,"caller_time":364.0,"total":364.0,"callee_time":364.0}],"src":false,"id":"f40"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":68,"callee":3,"caller_time":364.0,"total":364.0,"callee_time":121.33333333333333}],"total":364.0,"callees":[{"caller":3,"callee":5,"caller_time":364.0,"total":364.0,"callee_time":364.0}],"src":"src/core/taylor.rkt:11:0","id":"approximate9"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":1,"callee":4,"caller_time":6586.0,"total":6586.0,"callee_time":6586.0}],"total":6586.0,"callees":[{"caller":4,"callee":6,"caller_time":6586.0,"total":6586.0,"callee_time":6586.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":3,"callee":5,"caller_time":364.0,"total":364.0,"callee_time":364.0}],"total":364.0,"callees":[{"caller":5,"callee":7,"caller_time":107.5,"total":364.0,"callee_time":364.0}],"src":"src/core/taylor.rkt:86:4","id":"loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":4,"callee":6,"caller_time":6586.0,"total":6586.0,"callee_time":6586.0}],"total":6586.0,"callees":[{"caller":6,"callee":8,"caller_time":6299.0,"total":6586.0,"callee_time":6586.0}],"src":"/opt/racket-7.5/share/pkgs/profile-lib/main.rkt:39:2","id":"run"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":5,"callee":7,"caller_time":107.5,"total":364.0,"callee_time":364.0},{"caller":68,"callee":7,"caller_time":107.5,"total":364.0,"callee_time":121.33333333333333},{"caller":9,"callee":7,"caller_time":107.5,"total":364.0,"callee_time":364.0},{"caller":10,"callee":7,"caller_time":41.5,"total":166.0,"callee_time":83.0}],"total":364.0,"callees":[{"caller":7,"callee":10,"caller_time":364.0,"total":364.0,"callee_time":149.0},{"caller":7,"callee":9,"caller_time":364.0,"total":364.0,"callee_time":107.5},{"caller":7,"callee":2,"caller_time":265.0,"total":364.0,"callee_time":107.5}],"src":"/opt/racket-7.5/collects/racket/private/more-scheme.rkt:376:2","id":"hash-ref!"},{"self":188.0,"thread_ids":[0],"callers":[{"caller":6,"callee":8,"caller_time":6299.0,"total":6586.0,"callee_time":6586.0},{"caller":70,"callee":8,"caller_time":287.0,"total":574.0,"callee_time":574.0}],"total":6586.0,"callees":[{"caller":8,"callee":11,"caller_time":1960.0,"total":1960.0,"callee_time":1960.0},{"caller":8,"callee":12,"caller_time":1942.0,"total":1942.0,"callee_time":1942.0},{"caller":8,"callee":13,"caller_time":1382.0,"total":1382.0,"callee_time":1282.0},{"caller":8,"callee":14,"caller_time":742.0,"total":742.0,"callee_time":742.0},{"caller":8,"callee":63,"caller_time":374.0,"total":374.0,"callee_time":187.0},{"caller":8,"callee":16,"caller_time":186.0,"total":186.0,"callee_time":186.0},{"caller":8,"callee":15,"caller_time":200.0,"total":200.0,"callee_time":100.0},{"caller":8,"callee":0,"caller_time":188.0,"total":188.0,"callee_time":94.0},{"caller":8,"callee":68,"caller_time":186.0,"total":186.0,"callee_time":93.0}],"src":false,"id":".../more-scheme.rkt:261:28"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":7,"callee":9,"caller_time":364.0,"total":364.0,"callee_time":107.5}],"total":364.0,"callees":[{"caller":9,"callee":7,"caller_time":107.5,"total":364.0,"callee_time":364.0}],"src":"src/core/taylor.rkt:44:15","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":7,"callee":10,"caller_time":364.0,"total":364.0,"callee_time":149.0}],"total":364.0,"callees":[{"caller":10,"callee":68,"caller_time":121.33333333333333,"total":364.0,"callee_time":281.0},{"caller":10,"callee":7,"caller_time":41.5,"total":166.0,"callee_time":83.0}],"src":"src/core/taylor.rkt:67:15","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":8,"callee":11,"caller_time":1960.0,"total":1960.0,"callee_time":1960.0}],"total":1960.0,"callees":[{"caller":11,"callee":18,"caller_time":1776.0,"total":1776.0,"callee_time":1776.0},{"caller":11,"callee":28,"caller_time":184.0,"total":184.0,"callee_time":184.0}],"src":"src/mainloop.rkt:365:0","id":"run-improve47"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":8,"callee":12,"caller_time":1942.0,"total":1942.0,"callee_time":1942.0}],"total":1942.0,"callees":[{"caller":12,"callee":17,"caller_time":1942.0,"total":1942.0,"callee_time":1942.0}],"src":"src/points.rkt:122:0","id":"prepare-points-intervals"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":8,"callee":13,"caller_time":1382.0,"total":1382.0,"callee_time":1282.0}],"total":1382.0,"callees":[{"caller":13,"callee":19,"caller_time":1382.0,"total":1382.0,"callee_time":1382.0}],"src":"src/mainloop.rkt:390:0","id":"get-final-combination"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":8,"callee":14,"caller_time":742.0,"total":742.0,"callee_time":742.0}],"total":742.0,"callees":[{"caller":14,"callee":20,"caller_time":742.0,"total":742.0,"callee_time":742.0}],"src":"src/points.rkt:179:0","id":"oracle-error"},{"self":200.0,"thread_ids":[0],"callers":[{"caller":8,"callee":15,"caller_time":200.0,"total":200.0,"callee_time":100.0}],"total":200.0,"callees":[{"caller":15,"callee":0,"caller_time":200.0,"total":200.0,"callee_time":200.0}],"src":"src/float.rkt:19:0","id":"ulp-difference"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":8,"callee":16,"caller_time":186.0,"total":186.0,"callee_time":186.0}],"total":186.0,"callees":[{"caller":16,"callee":21,"caller_time":186.0,"total":186.0,"callee_time":186.0}],"src":"src/points.rkt:170:0","id":"eval-errors"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":12,"callee":17,"caller_time":1942.0,"total":1942.0,"callee_time":1942.0}],"total":1942.0,"callees":[{"caller":17,"callee":24,"caller_time":1378.0,"total":1378.0,"callee_time":1378.0},{"caller":17,"callee":26,"caller_time":564.0,"total":564.0,"callee_time":564.0}],"src":"src/points.rkt:134:4","id":"loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":11,"callee":18,"caller_time":1776.0,"total":1776.0,"callee_time":1776.0}],"total":1776.0,"callees":[{"caller":18,"callee":22,"caller_time":1776.0,"total":1776.0,"callee_time":1776.0}],"src":"src/mainloop.rkt:384:4","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":13,"callee":19,"caller_time":1382.0,"total":1382.0,"callee_time":1382.0}],"total":1382.0,"callees":[{"caller":19,"callee":23,"caller_time":1382.0,"total":1382.0,"callee_time":1382.0}],"src":"src/core/regimes.rkt:33:0","id":"infer-splitpoints"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":14,"callee":20,"caller_time":742.0,"total":742.0,"callee_time":742.0}],"total":742.0,"callees":[{"caller":20,"callee":90,"caller_time":154.66666666666666,"total":372.0,"callee_time":372.0},{"caller":20,"callee":25,"caller_time":370.0,"total":370.0,"callee_time":370.0}],"src":"src/points.rkt:180:2","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":16,"callee":21,"caller_time":186.0,"total":186.0,"callee_time":186.0}],"total":186.0,"callees":[{"caller":21,"callee":71,"caller_time":186.0,"total":186.0,"callee_time":186.0}],"src":"src/points.rkt:172:2","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":18,"callee":22,"caller_time":1776.0,"total":1776.0,"callee_time":1776.0}],"total":1776.0,"callees":[{"caller":22,"callee":29,"caller_time":706.0,"total":706.0,"callee_time":706.0},{"caller":22,"callee":28,"caller_time":538.0,"total":538.0,"callee_time":538.0},{"caller":22,"callee":32,"caller_time":364.0,"total":364.0,"callee_time":364.0},{"caller":22,"callee":35,"caller_time":168.0,"total":168.0,"callee_time":168.0}],"src":"src/mainloop.rkt:346:0","id":"run-iter!"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":19,"callee":23,"caller_time":1382.0,"total":1382.0,"callee_time":1382.0}],"total":1382.0,"callees":[{"caller":23,"callee":27,"caller_time":1382.0,"total":1382.0,"callee_time":1382.0}],"src":"src/core/regimes.rkt:45:6","id":"for-loop"},{"self":188.0,"thread_ids":[0],"callers":[{"caller":17,"callee":24,"caller_time":1378.0,"total":1378.0,"callee_time":1378.0}],"total":1378.0,"callees":[{"caller":24,"callee":68,"caller_time":372.0,"total":372.0,"callee_time":372.0},{"caller":24,"callee":36,"caller_time":370.0,"total":370.0,"callee_time":370.0},{"caller":24,"callee":34,"caller_time":224.0,"total":224.0,"callee_time":224.0},{"caller":24,"callee":33,"caller_time":224.0,"total":224.0,"callee_time":224.0},{"caller":24,"callee":0,"caller_time":188.0,"total":188.0,"callee_time":188.0}],"src":"src/points.rkt:79:2","id":"loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":20,"callee":25,"caller_time":370.0,"total":370.0,"callee_time":370.0},{"caller":2,"callee":25,"caller_time":364.0,"total":364.0,"callee_time":364.0}],"total":734.0,"callees":[{"caller":25,"callee":91,"caller_time":370.0,"total":370.0,"callee_time":370.0},{"caller":25,"callee":31,"caller_time":364.0,"total":364.0,"callee_time":265.0},{"caller":25,"callee":2,"caller_time":99.0,"total":198.0,"callee_time":99.0}],"src":"/opt/racket-7.5/collects/racket/private/map.rkt:35:13","id":"map"},{"self":184.0,"thread_ids":[0],"callers":[{"caller":17,"callee":26,"caller_time":564.0,"total":564.0,"callee_time":564.0}],"total":564.0,"callees":[{"caller":26,"callee":30,"caller_time":380.0,"total":380.0,"callee_time":380.0},{"caller":26,"callee":0,"caller_time":184.0,"total":184.0,"callee_time":184.0}],"src":"src/points.rkt:115:6","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":23,"callee":27,"caller_time":1382.0,"total":1382.0,"callee_time":1382.0}],"total":1382.0,"callees":[{"caller":27,"callee":38,"caller_time":400.0,"total":400.0,"callee_time":400.0},{"caller":27,"callee":39,"caller_time":400.0,"total":400.0,"callee_time":400.0},{"caller":27,"callee":40,"caller_time":390.0,"total":390.0,"callee_time":390.0},{"caller":27,"callee":43,"caller_time":192.0,"total":192.0,"callee_time":192.0}],"src":"src/core/regimes.rkt:124:0","id":"option-on-expr"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":22,"callee":28,"caller_time":538.0,"total":538.0,"callee_time":538.0},{"caller":11,"callee":28,"caller_time":184.0,"total":184.0,"callee_time":184.0}],"total":722.0,"callees":[{"caller":28,"callee":37,"caller_time":722.0,"total":722.0,"callee_time":722.0}],"src":"src/mainloop.rkt:224:0","id":"simplify!"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":22,"callee":29,"caller_time":706.0,"total":706.0,"callee_time":706.0}],"total":706.0,"callees":[{"caller":29,"callee":36,"caller_time":706.0,"total":706.0,"callee_time":706.0}],"src":"src/mainloop.rkt:278:0","id":"finalize-iter!"},{"self":196.0,"thread_ids":[0],"callers":[{"caller":26,"callee":30,"caller_time":380.0,"total":380.0,"callee_time":380.0}],"total":380.0,"callees":[{"caller":30,"callee":0,"caller_time":196.0,"total":196.0,"callee_time":196.0},{"caller":30,"callee":44,"caller_time":184.0,"total":184.0,"callee_time":184.0}],"src":"src/points.rkt:14:0","id":"sample-multi-bounded"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":25,"callee":31,"caller_time":364.0,"total":364.0,"callee_time":265.0}],"total":364.0,"callees":[{"caller":31,"callee":41,"caller_time":364.0,"total":364.0,"callee_time":364.0}],"src":false,"id":"parse-loop74"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":22,"callee":32,"caller_time":364.0,"total":364.0,"callee_time":364.0}],"total":364.0,"callees":[{"caller":32,"callee":42,"caller_time":364.0,"total":364.0,"callee_time":364.0}],"src":"src/mainloop.rkt:160:0","id":"gen-series!"},{"self":224.0,"thread_ids":[0],"callers":[{"caller":24,"callee":33,"caller_time":224.0,"total":224.0,"callee_time":224.0}],"total":224.0,"callees":[{"caller":33,"callee":0,"caller_time":224.0,"total":224.0,"callee_time":224.0}],"src":"/opt/racket-7.5/collects/racket/private/more-scheme.rkt:365:4","id":"hash-update!"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":24,"callee":34,"caller_time":224.0,"total":224.0,"callee_time":224.0}],"total":224.0,"callees":[{"caller":34,"callee":68,"caller_time":224.0,"total":224.0,"callee_time":224.0}],"src":"src/programs.rkt:118:11","id":"real->precision"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":22,"callee":35,"caller_time":168.0,"total":168.0,"callee_time":168.0}],"total":168.0,"callees":[{"caller":35,"callee":45,"caller_time":168.0,"total":168.0,"callee_time":168.0}],"src":"src/mainloop.rkt:117:0","id":"choose-best-alt!"},{"self":370.0,"thread_ids":[0],"callers":[{"caller":29,"callee":36,"caller_time":706.0,"total":706.0,"callee_time":706.0},{"caller":24,"callee":36,"caller_time":370.0,"total":370.0,"callee_time":370.0}],"total":1076.0,"callees":[{"caller":36,"callee":47,"caller_time":706.0,"total":706.0,"callee_time":706.0},{"caller":36,"callee":0,"caller_time":370.0,"total":370.0,"callee_time":370.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":28,"callee":37,"caller_time":722.0,"total":722.0,"callee_time":722.0}],"total":722.0,"callees":[{"caller":37,"callee":46,"caller_time":722.0,"total":722.0,"callee_time":722.0}],"src":"src/core/simplify.rkt:42:0","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":27,"callee":38,"caller_time":400.0,"total":400.0,"callee_time":400.0}],"total":400.0,"callees":[{"caller":38,"callee":48,"caller_time":400.0,"total":400.0,"callee_time":400.0}],"src":"src/core/regimes.rkt:263:0","id":"err-lsts->split-indices"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":27,"callee":39,"caller_time":400.0,"total":400.0,"callee_time":400.0}],"total":400.0,"callees":[{"caller":39,"callee":63,"caller_time":400.0,"total":400.0,"callee_time":400.0}],"src":"src/core/regimes.rkt:135:4","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":27,"callee":40,"caller_time":390.0,"total":390.0,"callee_time":390.0}],"total":390.0,"callees":[{"caller":40,"callee":49,"caller_time":390.0,"total":390.0,"callee_time":390.0}],"src":"src/core/regimes.rkt:117:0","id":"sort-context-on-expr"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":31,"callee":41,"caller_time":364.0,"total":364.0,"callee_time":364.0}],"total":364.0,"callees":[{"caller":41,"callee":69,"caller_time":364.0,"total":364.0,"callee_time":364.0}],"src":"src/programs.rkt:144:0","id":"eval-const-expr"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":32,"callee":42,"caller_time":364.0,"total":364.0,"callee_time":364.0}],"total":364.0,"callees":[{"caller":42,"callee":50,"caller_time":364.0,"total":364.0,"callee_time":364.0}],"src":"src/mainloop.rkt:167:7","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":27,"callee":43,"caller_time":192.0,"total":192.0,"callee_time":192.0}],"total":192.0,"callees":[{"caller":43,"callee":68,"caller_time":192.0,"total":192.0,"callee_time":192.0}],"src":"src/core/regimes.rkt:130:20","id":"for-loop"},{"self":184.0,"thread_ids":[0],"callers":[{"caller":30,"callee":44,"caller_time":184.0,"total":184.0,"callee_time":184.0}],"total":184.0,"callees":[{"caller":44,"callee":0,"caller_time":184.0,"total":184.0,"callee_time":184.0}],"src":"src/common.rkt:164:0","id":"random-ranges"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":35,"callee":45,"caller_time":168.0,"total":168.0,"callee_time":168.0}],"total":168.0,"callees":[{"caller":45,"callee":51,"caller_time":168.0,"total":168.0,"callee_time":168.0}],"src":false,"id":"...ow-val-first.rkt:486:18"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":37,"callee":46,"caller_time":722.0,"total":722.0,"callee_time":722.0}],"total":722.0,"callees":[{"caller":46,"callee":52,"caller_time":722.0,"total":722.0,"callee_time":722.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":36,"callee":47,"caller_time":706.0,"total":706.0,"callee_time":706.0}],"total":706.0,"callees":[{"caller":47,"callee":53,"caller_time":706.0,"total":706.0,"callee_time":706.0}],"src":"src/core/alt-table.rkt:201:2","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":38,"callee":48,"caller_time":400.0,"total":400.0,"callee_time":400.0}],"total":400.0,"callees":[{"caller":48,"callee":54,"caller_time":400.0,"total":400.0,"callee_time":400.0}],"src":"src/core/regimes.rkt:314:4","id":"loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":40,"callee":49,"caller_time":390.0,"total":390.0,"callee_time":390.0}],"total":390.0,"callees":[{"caller":49,"callee":55,"caller_time":390.0,"total":390.0,"callee_time":390.0}],"src":"/opt/racket-7.5/collects/racket/private/sort.rkt:369:3","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":42,"callee":50,"caller_time":364.0,"total":364.0,"callee_time":364.0}],"total":364.0,"callees":[{"caller":50,"callee":56,"caller_time":364.0,"total":364.0,"callee_time":364.0}],"src":"src/mainloop.rkt:146:0","id":"taylor-alt"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":45,"callee":51,"caller_time":168.0,"total":168.0,"callee_time":168.0}],"total":168.0,"callees":[{"caller":51,"callee":57,"caller_time":168.0,"total":168.0,"callee_time":168.0}],"src":"src/core/alt-table.rkt:41:0","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":46,"callee":52,"caller_time":722.0,"total":722.0,"callee_time":722.0}],"total":722.0,"callees":[{"caller":52,"callee":58,"caller_time":722.0,"total":722.0,"callee_time":722.0}],"src":"/home/p92/.racket/7.5/pkgs/egg-herbie-linux/main.rkt:111:0","id":"egraph-add-exprs"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":47,"callee":53,"caller_time":706.0,"total":706.0,"callee_time":706.0}],"total":706.0,"callees":[{"caller":53,"callee":63,"caller_time":514.0,"total":514.0,"callee_time":514.0},{"caller":53,"callee":61,"caller_time":192.0,"total":192.0,"callee_time":192.0}],"src":"src/core/alt-table.rkt:204:0","id":"atab-add-altn"},{"self":200.0,"thread_ids":[0],"callers":[{"caller":48,"callee":54,"caller_time":400.0,"total":400.0,"callee_time":400.0}],"total":400.0,"callees":[{"caller":54,"callee":60,"caller_time":200.0,"total":200.0,"callee_time":200.0},{"caller":54,"callee":0,"caller_time":200.0,"total":200.0,"callee_time":200.0}],"src":"src/core/regimes.rkt:279:4","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":49,"callee":55,"caller_time":390.0,"total":390.0,"callee_time":390.0}],"total":390.0,"callees":[{"caller":55,"callee":59,"caller_time":241.5,"total":390.0,"callee_time":390.0}],"src":"/opt/racket-7.5/collects/racket/private/sort.rkt:156:2","id":"generic-sort/key"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":50,"callee":56,"caller_time":364.0,"total":364.0,"callee_time":364.0}],"total":364.0,"callees":[{"caller":56,"callee":68,"caller_time":121.33333333333333,"total":364.0,"callee_time":364.0}],"src":"src/mainloop.rkt:152:6","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":51,"callee":57,"caller_time":168.0,"total":168.0,"callee_time":168.0}],"total":168.0,"callees":[{"caller":57,"callee":62,"caller_time":168.0,"total":168.0,"callee_time":168.0}],"src":"/opt/racket-7.5/collects/racket/list.rkt:765:0","id":"argmin"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":52,"callee":58,"caller_time":722.0,"total":722.0,"callee_time":722.0}],"total":722.0,"callees":[{"caller":58,"callee":64,"caller_time":722.0,"total":722.0,"callee_time":722.0}],"src":"src/core/simplify.rkt:103:6","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":55,"callee":59,"caller_time":241.5,"total":390.0,"callee_time":390.0},{"caller":59,"callee":59,"caller_time":148.5,"total":198.0,"callee_time":148.5}],"total":390.0,"callees":[{"caller":59,"callee":67,"caller_time":192.0,"total":192.0,"callee_time":192.0},{"caller":59,"callee":59,"caller_time":148.5,"total":198.0,"callee_time":148.5},{"caller":59,"callee":65,"caller_time":198.0,"total":198.0,"callee_time":49.5}],"src":"/opt/racket-7.5/collects/racket/private/sort.rkt:129:8","id":"copying-mergesort"},{"self":200.0,"thread_ids":[0],"callers":[{"caller":54,"callee":60,"caller_time":200.0,"total":200.0,"callee_time":200.0}],"total":200.0,"callees":[{"caller":60,"callee":0,"caller_time":200.0,"total":200.0,"callee_time":200.0}],"src":"src/core/regimes.rkt:283:8","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":53,"callee":61,"caller_time":192.0,"total":192.0,"callee_time":192.0}],"total":192.0,"callees":[{"caller":61,"callee":66,"caller_time":192.0,"total":192.0,"callee_time":192.0}],"src":"src/core/alt-table.rkt:91:0","id":"best-and-tied-at-points"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":57,"callee":62,"caller_time":168.0,"total":168.0,"callee_time":168.0}],"total":168.0,"callees":[{"caller":62,"callee":63,"caller_time":168.0,"total":168.0,"callee_time":168.0}],"src":"src/mainloop.rkt:114:10","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":53,"callee":63,"caller_time":514.0,"total":514.0,"callee_time":514.0},{"caller":39,"callee":63,"caller_time":400.0,"total":400.0,"callee_time":400.0},{"caller":8,"callee":63,"caller_time":374.0,"total":374.0,"callee_time":187.0},{"caller":62,"callee":63,"caller_time":168.0,"total":168.0,"callee_time":168.0}],"total":1456.0,"callees":[{"caller":63,"callee":69,"caller_time":882.0,"total":882.0,"callee_time":882.0},{"caller":63,"callee":70,"caller_time":574.0,"total":574.0,"callee_time":574.0}],"src":"src/points.rkt:192:0","id":"errors"},{"self":722.0,"thread_ids":[0],"callers":[{"caller":58,"callee":64,"caller_time":722.0,"total":722.0,"callee_time":722.0}],"total":722.0,"callees":[{"caller":64,"callee":0,"caller_time":722.0,"total":722.0,"callee_time":722.0}],"src":"src/core/simplify.rkt:121:2","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":59,"callee":65,"caller_time":198.0,"total":198.0,"callee_time":49.5}],"total":198.0,"callees":[{"caller":65,"callee":68,"caller_time":198.0,"total":198.0,"callee_time":198.0}],"src":"/opt/racket-7.5/collects/racket/private/sort.rkt:120:23","id":"jloop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":61,"callee":66,"caller_time":192.0,"total":192.0,"callee_time":192.0}],"total":192.0,"callees":[{"caller":66,"callee":72,"caller_time":192.0,"total":192.0,"callee_time":192.0}],"src":"src/core/alt-table.rkt:94:4","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":59,"callee":67,"caller_time":192.0,"total":192.0,"callee_time":192.0}],"total":192.0,"callees":[{"caller":67,"callee":71,"caller_time":192.0,"total":192.0,"callee_time":192.0}],"src":"/opt/racket-7.5/collects/racket/private/sort.rkt:96:12","id":"loop"},{"self":576.0,"thread_ids":[0],"callers":[{"caller":24,"callee":68,"caller_time":372.0,"total":372.0,"callee_time":372.0},{"caller":34,"callee":68,"caller_time":224.0,"total":224.0,"callee_time":224.0},{"caller":65,"callee":68,"caller_time":198.0,"total":198.0,"callee_time":198.0},{"caller":43,"callee":68,"caller_time":192.0,"total":192.0,"callee_time":192.0},{"caller":8,"callee":68,"caller_time":186.0,"total":186.0,"callee_time":93.0},{"caller":56,"callee":68,"caller_time":121.33333333333333,"total":364.0,"callee_time":364.0},{"caller":74,"callee":68,"caller_time":121.33333333333333,"total":364.0,"callee_time":265.0},{"caller":10,"callee":68,"caller_time":121.33333333333333,"total":364.0,"callee_time":281.0}],"total":1536.0,"callees":[{"caller":68,"callee":0,"caller_time":576.0,"total":576.0,"callee_time":576.0},{"caller":68,"callee":75,"caller_time":224.0,"total":224.0,"callee_time":224.0},{"caller":68,"callee":76,"caller_time":186.0,"total":186.0,"callee_time":186.0},{"caller":68,"callee":77,"caller_time":186.0,"total":186.0,"callee_time":186.0},{"caller":68,"callee":74,"caller_time":265.0,"total":364.0,"callee_time":121.33333333333333},{"caller":68,"callee":3,"caller_time":364.0,"total":364.0,"callee_time":121.33333333333333},{"caller":68,"callee":7,"caller_time":107.5,"total":364.0,"callee_time":121.33333333333333}],"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":63,"callee":69,"caller_time":882.0,"total":882.0,"callee_time":882.0},{"caller":41,"callee":69,"caller_time":364.0,"total":364.0,"callee_time":364.0}],"total":1246.0,"callees":[{"caller":69,"callee":73,"caller_time":1246.0,"total":1246.0,"callee_time":1246.0}],"src":false,"id":"temp85_0"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":63,"callee":70,"caller_time":574.0,"total":574.0,"callee_time":574.0}],"total":574.0,"callees":[{"caller":70,"callee":8,"caller_time":287.0,"total":574.0,"callee_time":574.0}],"src":"src/points.rkt:194:2","id":"for-loop"},{"self":378.0,"thread_ids":[0],"callers":[{"caller":67,"callee":71,"caller_time":192.0,"total":192.0,"callee_time":192.0},{"caller":21,"callee":71,"caller_time":186.0,"total":186.0,"callee_time":186.0}],"total":378.0,"callees":[{"caller":71,"callee":0,"caller_time":378.0,"total":378.0,"callee_time":378.0}],"src":"/opt/racket-7.5/collects/racket/function.rkt:93:12","id":false},{"self":192.0,"thread_ids":[0],"callers":[{"caller":66,"callee":72,"caller_time":192.0,"total":192.0,"callee_time":192.0}],"total":192.0,"callees":[{"caller":72,"callee":0,"caller_time":192.0,"total":192.0,"callee_time":192.0}],"src":"/opt/racket-7.5/collects/racket/private/for.rkt:1236:14","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":69,"callee":73,"caller_time":1246.0,"total":1246.0,"callee_time":1246.0}],"total":1246.0,"callees":[{"caller":73,"callee":78,"caller_time":1246.0,"total":1246.0,"callee_time":1246.0}],"src":false,"id":"compile15"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":68,"callee":74,"caller_time":265.0,"total":364.0,"callee_time":121.33333333333333},{"caller":74,"callee":74,"caller_time":99.0,"total":198.0,"callee_time":99.0}],"total":364.0,"callees":[{"caller":74,"callee":68,"caller_time":121.33333333333333,"total":364.0,"callee_time":265.0},{"caller":74,"callee":74,"caller_time":99.0,"total":198.0,"callee_time":99.0}],"src":"src/programs.rkt:87:0","id":"location-do"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":68,"callee":75,"caller_time":224.0,"total":224.0,"callee_time":224.0}],"total":224.0,"callees":[{"caller":75,"callee":81,"caller_time":224.0,"total":224.0,"callee_time":224.0}],"src":"/opt/racket-7.5/share/pkgs/math-lib/math/private/bigfloat/mpfr.rkt:615:2","id":"bf"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":68,"callee":76,"caller_time":186.0,"total":186.0,"callee_time":186.0}],"total":186.0,"callees":[{"caller":76,"callee":79,"caller_time":186.0,"total":186.0,"callee_time":186.0}],"src":"src/biginterval.rkt:129:0","id":"ival-mult"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":68,"callee":77,"caller_time":186.0,"total":186.0,"callee_time":186.0}],"total":186.0,"callees":[{"caller":77,"callee":79,"caller_time":186.0,"total":186.0,"callee_time":186.0}],"src":"src/biginterval.rkt:149:0","id":"ival-div"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":73,"callee":78,"caller_time":1246.0,"total":1246.0,"callee_time":1246.0}],"total":1246.0,"callees":[{"caller":78,"callee":80,"caller_time":1246.0,"total":1246.0,"callee_time":1246.0}],"src":false,"id":"temp91_0"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":76,"callee":79,"caller_time":186.0,"total":186.0,"callee_time":186.0},{"caller":77,"callee":79,"caller_time":186.0,"total":186.0,"callee_time":186.0}],"total":372.0,"callees":[{"caller":79,"callee":81,"caller_time":186.0,"total":186.0,"callee_time":186.0},{"caller":79,"callee":82,"caller_time":186.0,"total":186.0,"callee_time":186.0}],"src":"/opt/racket-7.5/share/pkgs/math-lib/math/private/bigfloat/mpfr.rkt:835:4","id":"bfdiv"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":78,"callee":80,"caller_time":1246.0,"total":1246.0,"callee_time":1246.0}],"total":1246.0,"callees":[{"caller":80,"callee":83,"caller_time":1246.0,"total":1246.0,"callee_time":1246.0}],"src":false,"id":"temp118_0"},{"self":410.0,"thread_ids":[0],"callers":[{"caller":75,"callee":81,"caller_time":224.0,"total":224.0,"callee_time":224.0},{"caller":79,"callee":81,"caller_time":186.0,"total":186.0,"callee_time":186.0}],"total":410.0,"callees":[{"caller":81,"callee":0,"caller_time":410.0,"total":410.0,"callee_time":410.0}],"src":"/opt/racket-7.5/collects/ffi/unsafe.rkt:938:4","id":false},{"self":186.0,"thread_ids":[0],"callers":[{"caller":79,"callee":82,"caller_time":186.0,"total":186.0,"callee_time":186.0}],"total":186.0,"callees":[{"caller":82,"callee":0,"caller_time":186.0,"total":186.0,"callee_time":186.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":80,"callee":83,"caller_time":1246.0,"total":1246.0,"callee_time":1246.0}],"total":1246.0,"callees":[{"caller":83,"callee":84,"caller_time":1246.0,"total":1246.0,"callee_time":1246.0}],"src":false,"id":"expand-capturing-lifts"},{"self":168.0,"thread_ids":[0],"callers":[{"caller":83,"callee":84,"caller_time":1246.0,"total":1246.0,"callee_time":1246.0}],"total":1246.0,"callees":[{"caller":84,"callee":85,"caller_time":338.43333333333334,"total":732.0,"callee_time":732.0},{"caller":84,"callee":86,"caller_time":190.0,"total":190.0,"callee_time":190.0},{"caller":84,"callee":0,"caller_time":168.0,"total":168.0,"callee_time":168.0},{"caller":84,"callee":90,"caller_time":156.0,"total":156.0,"callee_time":156.0}],"src":false,"id":"lambda-clause-expander"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":86,"callee":85,"caller_time":393.56666666666666,"total":532.0,"callee_time":278.0},{"caller":84,"callee":85,"caller_time":338.43333333333334,"total":732.0,"callee_time":732.0}],"total":732.0,"callees":[{"caller":85,"callee":86,"caller_time":476.5,"total":732.0,"callee_time":732.0}],"src":false,"id":"finish-bodys"},{"self":366.0,"thread_ids":[0],"callers":[{"caller":85,"callee":86,"caller_time":476.5,"total":732.0,"callee_time":732.0},{"caller":86,"callee":86,"caller_time":255.5,"total":732.0,"callee_time":255.5},{"caller":84,"callee":86,"caller_time":190.0,"total":190.0,"callee_time":190.0}],"total":922.0,"callees":[{"caller":86,"callee":85,"caller_time":393.56666666666666,"total":532.0,"callee_time":278.0},{"caller":86,"callee":86,"caller_time":255.5,"total":732.0,"callee_time":255.5},{"caller":86,"callee":88,"caller_time":190.0,"total":190.0,"callee_time":190.0},{"caller":86,"callee":0,"caller_time":366.0,"total":366.0,"callee_time":141.5},{"caller":86,"callee":87,"caller_time":366.0,"total":366.0,"callee_time":57.0}],"src":false,"id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":86,"callee":87,"caller_time":366.0,"total":366.0,"callee_time":57.0}],"total":366.0,"callees":[{"caller":87,"callee":89,"caller_time":366.0,"total":366.0,"callee_time":366.0}],"src":false,"id":"syntax-e"},{"self":190.0,"thread_ids":[0],"callers":[{"caller":86,"callee":88,"caller_time":190.0,"total":190.0,"callee_time":190.0}],"total":190.0,"callees":[{"caller":88,"callee":0,"caller_time":190.0,"total":190.0,"callee_time":190.0}],"src":false,"id":"add-local-binding!39"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":87,"callee":89,"caller_time":366.0,"total":366.0,"callee_time":366.0}],"total":366.0,"callees":[{"caller":89,"callee":90,"caller_time":366.0,"total":366.0,"callee_time":366.0}],"src":false,"id":"syntax-e/no-taint"},{"self":156.0,"thread_ids":[0],"callers":[{"caller":89,"callee":90,"caller_time":366.0,"total":366.0,"callee_time":366.0},{"caller":90,"callee":90,"caller_time":217.33333333333334,"total":372.0,"callee_time":217.33333333333334},{"caller":84,"callee":90,"caller_time":156.0,"total":156.0,"callee_time":156.0},{"caller":20,"callee":90,"caller_time":154.66666666666666,"total":372.0,"callee_time":372.0}],"total":894.0,"callees":[{"caller":90,"callee":92,"caller_time":366.0,"total":366.0,"callee_time":366.0},{"caller":90,"callee":90,"caller_time":217.33333333333334,"total":372.0,"callee_time":217.33333333333334},{"caller":90,"callee":0,"caller_time":156.0,"total":156.0,"callee_time":156.0},{"caller":90,"callee":91,"caller_time":372.0,"total":372.0,"callee_time":154.66666666666666}],"src":false,"id":"loop"},{"self":558.0,"thread_ids":[0],"callers":[{"caller":90,"callee":91,"caller_time":372.0,"total":372.0,"callee_time":154.66666666666666},{"caller":25,"callee":91,"caller_time":370.0,"total":370.0,"callee_time":370.0}],"total":742.0,"callees":[{"caller":91,"callee":0,"caller_time":558.0,"total":558.0,"callee_time":558.0},{"caller":91,"callee":94,"caller_time":184.0,"total":184.0,"callee_time":184.0}],"src":"src/points.rkt:181:26","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":90,"callee":92,"caller_time":366.0,"total":366.0,"callee_time":366.0}],"total":366.0,"callees":[{"caller":92,"callee":93,"caller_time":198.0,"total":198.0,"callee_time":198.0},{"caller":92,"callee":95,"caller_time":168.0,"total":168.0,"callee_time":168.0}],"src":false,"id":"gf"},{"self":198.0,"thread_ids":[0],"callers":[{"caller":92,"callee":93,"caller_time":198.0,"total":198.0,"callee_time":198.0}],"total":198.0,"callees":[{"caller":93,"callee":0,"caller_time":198.0,"total":198.0,"callee_time":198.0}],"src":false,"id":"propagation-merge"},{"self":184.0,"thread_ids":[0],"callers":[{"caller":91,"callee":94,"caller_time":184.0,"total":184.0,"callee_time":184.0}],"total":184.0,"callees":[{"caller":94,"callee":0,"caller_time":184.0,"total":184.0,"callee_time":184.0}],"src":"src/float.rkt:34:0","id":"*bit-width*"},{"self":168.0,"thread_ids":[0],"callers":[{"caller":92,"callee":95,"caller_time":168.0,"total":168.0,"callee_time":168.0}],"total":168.0,"callees":[{"caller":95,"callee":0,"caller_time":168.0,"total":168.0,"callee_time":168.0}],"src":false,"id":"propagation-apply"}]}