{"sample_number":26,"total_time":5608.0,"cpu_time":5736.0,"thread_times":[{"time":5608.0,"id":0}],"nodes":[{"self":0.0,"thread_ids":[],"callers":[{"caller":7,"callee":0,"caller_time":240.0,"total":240.0,"callee_time":240.0},{"caller":11,"callee":0,"caller_time":224.0,"total":224.0,"callee_time":224.0},{"caller":28,"callee":0,"caller_time":202.0,"total":202.0,"callee_time":202.0},{"caller":25,"callee":0,"caller_time":200.0,"total":200.0,"callee_time":200.0},{"caller":30,"callee":0,"caller_time":606.0,"total":606.0,"callee_time":606.0},{"caller":16,"callee":0,"caller_time":406.0,"total":406.0,"callee_time":406.0},{"caller":15,"callee":0,"caller_time":408.0,"total":408.0,"callee_time":408.0},{"caller":13,"callee":0,"caller_time":400.0,"total":400.0,"callee_time":400.0},{"caller":22,"callee":0,"caller_time":398.0,"total":398.0,"callee_time":398.0},{"caller":39,"callee":0,"caller_time":806.0,"total":806.0,"callee_time":806.0},{"caller":41,"callee":0,"caller_time":604.0,"total":604.0,"callee_time":604.0},{"caller":12,"callee":0,"caller_time":200.0,"total":200.0,"callee_time":200.0},{"caller":44,"callee":0,"caller_time":658.0,"total":658.0,"callee_time":658.0},{"caller":47,"callee":0,"caller_time":256.0,"total":256.0,"callee_time":256.0}],"total":5608.0,"callees":[{"caller":0,"callee":1,"caller_time":5608.0,"total":5608.0,"callee_time":5608.0}],"src":false,"id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":0,"callee":1,"caller_time":5608.0,"total":5608.0,"callee_time":5608.0}],"total":5608.0,"callees":[{"caller":1,"callee":2,"caller_time":5608.0,"total":5608.0,"callee_time":5608.0}],"src":"/opt/racket-7.5/collects/racket/private/more-scheme.rkt:261:28","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":1,"callee":2,"caller_time":5608.0,"total":5608.0,"callee_time":5608.0}],"total":5608.0,"callees":[{"caller":2,"callee":3,"caller_time":5608.0,"total":5608.0,"callee_time":5608.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":3,"caller_time":5608.0,"total":5608.0,"callee_time":5608.0}],"total":5608.0,"callees":[{"caller":3,"callee":4,"caller_time":5388.0,"total":5608.0,"callee_time":5608.0}],"src":"/opt/racket-7.5/share/pkgs/profile-lib/main.rkt:39:2","id":"run"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":3,"callee":4,"caller_time":5388.0,"total":5608.0,"callee_time":5608.0},{"caller":45,"callee":4,"caller_time":220.0,"total":440.0,"callee_time":440.0}],"total":5608.0,"callees":[{"caller":4,"callee":5,"caller_time":4030.0,"total":4030.0,"callee_time":4030.0},{"caller":4,"callee":6,"caller_time":1114.0,"total":1114.0,"callee_time":1014.0},{"caller":4,"callee":8,"caller_time":224.0,"total":224.0,"callee_time":224.0},{"caller":4,"callee":7,"caller_time":440.0,"total":440.0,"callee_time":220.0},{"caller":4,"callee":42,"caller_time":240.0,"total":240.0,"callee_time":120.0}],"src":false,"id":".../more-scheme.rkt:261:28"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":4,"callee":5,"caller_time":4030.0,"total":4030.0,"callee_time":4030.0}],"total":4030.0,"callees":[{"caller":5,"callee":9,"caller_time":4030.0,"total":4030.0,"callee_time":4030.0}],"src":"src/points.rkt:122:0","id":"prepare-points-intervals"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":4,"callee":6,"caller_time":1114.0,"total":1114.0,"callee_time":1014.0}],"total":1114.0,"callees":[{"caller":6,"callee":10,"caller_time":1114.0,"total":1114.0,"callee_time":1114.0}],"src":"src/mainloop.rkt:365:0","id":"run-improve47"},{"self":240.0,"thread_ids":[0],"callers":[{"caller":4,"callee":7,"caller_time":440.0,"total":440.0,"callee_time":220.0}],"total":440.0,"callees":[{"caller":7,"callee":0,"caller_time":240.0,"total":240.0,"callee_time":240.0},{"caller":7,"callee":12,"caller_time":200.0,"total":200.0,"callee_time":200.0}],"src":"src/syntax/syntax.rkt:214:17","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":4,"callee":8,"caller_time":224.0,"total":224.0,"callee_time":224.0}],"total":224.0,"callees":[{"caller":8,"callee":11,"caller_time":224.0,"total":224.0,"callee_time":224.0}],"src":"src/points.rkt:170:0","id":"eval-errors"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":5,"callee":9,"caller_time":4030.0,"total":4030.0,"callee_time":4030.0}],"total":4030.0,"callees":[{"caller":9,"callee":13,"caller_time":3420.0,"total":3420.0,"callee_time":3420.0},{"caller":9,"callee":15,"caller_time":610.0,"total":610.0,"callee_time":610.0}],"src":"src/points.rkt:134:4","id":"loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":6,"callee":10,"caller_time":1114.0,"total":1114.0,"callee_time":1114.0}],"total":1114.0,"callees":[{"caller":10,"callee":14,"caller_time":1114.0,"total":1114.0,"callee_time":1114.0}],"src":"src/mainloop.rkt:384:4","id":"for-loop"},{"self":224.0,"thread_ids":[0],"callers":[{"caller":8,"callee":11,"caller_time":224.0,"total":224.0,"callee_time":224.0}],"total":224.0,"callees":[{"caller":11,"callee":0,"caller_time":224.0,"total":224.0,"callee_time":224.0}],"src":"src/points.rkt:172:2","id":"for-loop"},{"self":200.0,"thread_ids":[0],"callers":[{"caller":7,"callee":12,"caller_time":200.0,"total":200.0,"callee_time":200.0}],"total":200.0,"callees":[{"caller":12,"callee":0,"caller_time":200.0,"total":200.0,"callee_time":200.0}],"src":"/opt/racket-7.5/collects/racket/contract/private/arr-i.rkt:566:0","id":"return/no-unsupplied"},{"self":400.0,"thread_ids":[0],"callers":[{"caller":9,"callee":13,"caller_time":3420.0,"total":3420.0,"callee_time":3420.0}],"total":3420.0,"callees":[{"caller":13,"callee":16,"caller_time":1414.0,"total":1414.0,"callee_time":1414.0},{"caller":13,"callee":22,"caller_time":806.0,"total":806.0,"callee_time":806.0},{"caller":13,"callee":0,"caller_time":400.0,"total":400.0,"callee_time":400.0},{"caller":13,"callee":18,"caller_time":398.0,"total":398.0,"callee_time":398.0},{"caller":13,"callee":39,"caller_time":202.0,"total":202.0,"callee_time":202.0},{"caller":13,"callee":25,"caller_time":200.0,"total":200.0,"callee_time":200.0}],"src":"src/points.rkt:79:2","id":"loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":10,"callee":14,"caller_time":1114.0,"total":1114.0,"callee_time":1114.0}],"total":1114.0,"callees":[{"caller":14,"callee":17,"caller_time":658.0,"total":658.0,"callee_time":658.0},{"caller":14,"callee":19,"caller_time":256.0,"total":256.0,"callee_time":256.0},{"caller":14,"callee":21,"caller_time":200.0,"total":200.0,"callee_time":200.0}],"src":"src/mainloop.rkt:346:0","id":"run-iter!"},{"self":408.0,"thread_ids":[0],"callers":[{"caller":9,"callee":15,"caller_time":610.0,"total":610.0,"callee_time":610.0}],"total":610.0,"callees":[{"caller":15,"callee":0,"caller_time":408.0,"total":408.0,"callee_time":408.0},{"caller":15,"callee":20,"caller_time":202.0,"total":202.0,"callee_time":202.0}],"src":"src/points.rkt:115:6","id":false},{"self":406.0,"thread_ids":[0],"callers":[{"caller":13,"callee":16,"caller_time":1414.0,"total":1414.0,"callee_time":1414.0}],"total":1414.0,"callees":[{"caller":16,"callee":24,"caller_time":602.0,"total":602.0,"callee_time":602.0},{"caller":16,"callee":0,"caller_time":406.0,"total":406.0,"callee_time":406.0},{"caller":16,"callee":27,"caller_time":204.0,"total":204.0,"callee_time":204.0},{"caller":16,"callee":29,"caller_time":202.0,"total":202.0,"callee_time":202.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":14,"callee":17,"caller_time":658.0,"total":658.0,"callee_time":658.0}],"total":658.0,"callees":[{"caller":17,"callee":23,"caller_time":658.0,"total":658.0,"callee_time":658.0}],"src":"src/mainloop.rkt:224:0","id":"simplify!"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":13,"callee":18,"caller_time":398.0,"total":398.0,"callee_time":398.0}],"total":398.0,"callees":[{"caller":18,"callee":22,"caller_time":398.0,"total":398.0,"callee_time":398.0}],"src":"src/programs.rkt:118:11","id":"real->precision"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":14,"callee":19,"caller_time":256.0,"total":256.0,"callee_time":256.0}],"total":256.0,"callees":[{"caller":19,"callee":26,"caller_time":256.0,"total":256.0,"callee_time":256.0}],"src":"src/mainloop.rkt:183:0","id":"gen-rewrites!"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":15,"callee":20,"caller_time":202.0,"total":202.0,"callee_time":202.0}],"total":202.0,"callees":[{"caller":20,"callee":28,"caller_time":202.0,"total":202.0,"callee_time":202.0}],"src":"src/points.rkt:14:0","id":"sample-multi-bounded"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":14,"callee":21,"caller_time":200.0,"total":200.0,"callee_time":200.0}],"total":200.0,"callees":[{"caller":21,"callee":25,"caller_time":200.0,"total":200.0,"callee_time":200.0}],"src":"src/mainloop.rkt:278:0","id":"finalize-iter!"},{"self":398.0,"thread_ids":[0],"callers":[{"caller":13,"callee":22,"caller_time":806.0,"total":806.0,"callee_time":806.0},{"caller":18,"callee":22,"caller_time":398.0,"total":398.0,"callee_time":398.0}],"total":1204.0,"callees":[{"caller":22,"callee":30,"caller_time":806.0,"total":806.0,"callee_time":806.0},{"caller":22,"callee":0,"caller_time":398.0,"total":398.0,"callee_time":398.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":17,"callee":23,"caller_time":658.0,"total":658.0,"callee_time":658.0}],"total":658.0,"callees":[{"caller":23,"callee":31,"caller_time":658.0,"total":658.0,"callee_time":658.0}],"src":"src/core/simplify.rkt:42:0","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":16,"callee":24,"caller_time":602.0,"total":602.0,"callee_time":602.0}],"total":602.0,"callees":[{"caller":24,"callee":35,"caller_time":602.0,"total":602.0,"callee_time":602.0}],"src":"src/biginterval.rkt:117:0","id":"ival-sub"},{"self":200.0,"thread_ids":[0],"callers":[{"caller":13,"callee":25,"caller_time":200.0,"total":200.0,"callee_time":200.0},{"caller":21,"callee":25,"caller_time":200.0,"total":200.0,"callee_time":200.0}],"total":400.0,"callees":[{"caller":25,"callee":0,"caller_time":200.0,"total":200.0,"callee_time":200.0},{"caller":25,"callee":34,"caller_time":200.0,"total":200.0,"callee_time":200.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":19,"callee":26,"caller_time":256.0,"total":256.0,"callee_time":256.0}],"total":256.0,"callees":[{"caller":26,"callee":33,"caller_time":256.0,"total":256.0,"callee_time":256.0}],"src":"src/mainloop.rkt:208:4","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":16,"callee":27,"caller_time":204.0,"total":204.0,"callee_time":204.0}],"total":204.0,"callees":[{"caller":27,"callee":32,"caller_time":204.0,"total":204.0,"callee_time":204.0}],"src":"src/biginterval.rkt:107:0","id":"ival-neg"},{"self":202.0,"thread_ids":[0],"callers":[{"caller":20,"callee":28,"caller_time":202.0,"total":202.0,"callee_time":202.0}],"total":202.0,"callees":[{"caller":28,"callee":0,"caller_time":202.0,"total":202.0,"callee_time":202.0}],"src":"src/points.rkt:20:4","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":16,"callee":29,"caller_time":202.0,"total":202.0,"callee_time":202.0}],"total":202.0,"callees":[{"caller":29,"callee":32,"caller_time":202.0,"total":202.0,"callee_time":202.0}],"src":"src/biginterval.rkt:190:0","id":"ival-log"},{"self":606.0,"thread_ids":[0],"callers":[{"caller":22,"callee":30,"caller_time":806.0,"total":806.0,"callee_time":806.0}],"total":806.0,"callees":[{"caller":30,"callee":0,"caller_time":606.0,"total":606.0,"callee_time":606.0},{"caller":30,"callee":35,"caller_time":200.0,"total":200.0,"callee_time":200.0}],"src":"src/biginterval.rkt:149:0","id":"ival-div"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":23,"callee":31,"caller_time":658.0,"total":658.0,"callee_time":658.0}],"total":658.0,"callees":[{"caller":31,"callee":36,"caller_time":658.0,"total":658.0,"callee_time":658.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":27,"callee":32,"caller_time":204.0,"total":204.0,"callee_time":204.0},{"caller":29,"callee":32,"caller_time":202.0,"total":202.0,"callee_time":202.0}],"total":406.0,"callees":[{"caller":32,"callee":41,"caller_time":204.0,"total":204.0,"callee_time":204.0},{"caller":32,"callee":39,"caller_time":202.0,"total":202.0,"callee_time":202.0}],"src":"/opt/racket-7.5/share/pkgs/math-lib/math/private/bigfloat/mpfr.rkt:632:4","id":"bfneg"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":26,"callee":33,"caller_time":256.0,"total":256.0,"callee_time":256.0}],"total":256.0,"callees":[{"caller":33,"callee":37,"caller_time":256.0,"total":256.0,"callee_time":256.0}],"src":"src/mainloop.rkt:209:6","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":25,"callee":34,"caller_time":200.0,"total":200.0,"callee_time":200.0}],"total":200.0,"callees":[{"caller":34,"callee":38,"caller_time":200.0,"total":200.0,"callee_time":200.0}],"src":"src/core/alt-table.rkt:201:2","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":24,"callee":35,"caller_time":602.0,"total":602.0,"callee_time":602.0},{"caller":30,"callee":35,"caller_time":200.0,"total":200.0,"callee_time":200.0}],"total":802.0,"callees":[{"caller":35,"callee":39,"caller_time":402.0,"total":402.0,"callee_time":402.0},{"caller":35,"callee":41,"caller_time":400.0,"total":400.0,"callee_time":400.0}],"src":"/opt/racket-7.5/share/pkgs/math-lib/math/private/bigfloat/mpfr.rkt:835:4","id":"bfsub"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":31,"callee":36,"caller_time":658.0,"total":658.0,"callee_time":658.0}],"total":658.0,"callees":[{"caller":36,"callee":40,"caller_time":658.0,"total":658.0,"callee_time":658.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":33,"callee":37,"caller_time":256.0,"total":256.0,"callee_time":256.0}],"total":256.0,"callees":[{"caller":37,"callee":43,"caller_time":128.0,"total":256.0,"callee_time":256.0}],"src":"src/core/matcher.rkt:69:0","id":"change-apply"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":34,"callee":38,"caller_time":200.0,"total":200.0,"callee_time":200.0}],"total":200.0,"callees":[{"caller":38,"callee":42,"caller_time":200.0,"total":200.0,"callee_time":200.0}],"src":"src/core/alt-table.rkt:204:0","id":"atab-add-altn"},{"self":806.0,"thread_ids":[0],"callers":[{"caller":35,"callee":39,"caller_time":402.0,"total":402.0,"callee_time":402.0},{"caller":13,"callee":39,"caller_time":202.0,"total":202.0,"callee_time":202.0},{"caller":32,"callee":39,"caller_time":202.0,"total":202.0,"callee_time":202.0}],"total":806.0,"callees":[{"caller":39,"callee":0,"caller_time":806.0,"total":806.0,"callee_time":806.0}],"src":"/opt/racket-7.5/collects/ffi/unsafe.rkt:938:4","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":36,"callee":40,"caller_time":658.0,"total":658.0,"callee_time":658.0}],"total":658.0,"callees":[{"caller":40,"callee":44,"caller_time":658.0,"total":658.0,"callee_time":658.0}],"src":"src/core/simplify.rkt:103:6","id":false},{"self":604.0,"thread_ids":[0],"callers":[{"caller":35,"callee":41,"caller_time":400.0,"total":400.0,"callee_time":400.0},{"caller":32,"callee":41,"caller_time":204.0,"total":204.0,"callee_time":204.0}],"total":604.0,"callees":[{"caller":41,"callee":0,"caller_time":604.0,"total":604.0,"callee_time":604.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":4,"callee":42,"caller_time":240.0,"total":240.0,"callee_time":120.0},{"caller":38,"callee":42,"caller_time":200.0,"total":200.0,"callee_time":200.0}],"total":440.0,"callees":[{"caller":42,"callee":45,"caller_time":440.0,"total":440.0,"callee_time":440.0}],"src":"src/points.rkt:192:0","id":"errors"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":37,"callee":43,"caller_time":128.0,"total":256.0,"callee_time":256.0},{"caller":43,"callee":43,"caller_time":128.0,"total":256.0,"callee_time":128.0}],"total":256.0,"callees":[{"caller":43,"callee":43,"caller_time":128.0,"total":256.0,"callee_time":128.0},{"caller":43,"callee":46,"caller_time":256.0,"total":256.0,"callee_time":128.0}],"src":"src/core/matcher.rkt:45:0","id":"pattern-substitute"},{"self":658.0,"thread_ids":[0],"callers":[{"caller":40,"callee":44,"caller_time":658.0,"total":658.0,"callee_time":658.0}],"total":658.0,"callees":[{"caller":44,"callee":0,"caller_time":658.0,"total":658.0,"callee_time":658.0}],"src":"src/core/simplify.rkt:121:2","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":42,"callee":45,"caller_time":440.0,"total":440.0,"callee_time":440.0}],"total":440.0,"callees":[{"caller":45,"callee":4,"caller_time":220.0,"total":440.0,"callee_time":440.0}],"src":"src/points.rkt:194:2","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":43,"callee":46,"caller_time":256.0,"total":256.0,"callee_time":128.0}],"total":256.0,"callees":[{"caller":46,"callee":47,"caller_time":256.0,"total":256.0,"callee_time":256.0}],"src":"/opt/racket-7.5/collects/racket/contract/private/guts.rkt:770:8","id":false},{"self":256.0,"thread_ids":[0],"callers":[{"caller":46,"callee":47,"caller_time":256.0,"total":256.0,"callee_time":256.0}],"total":256.0,"callees":[{"caller":47,"callee":0,"caller_time":256.0,"total":256.0,"callee_time":256.0}],"src":"/opt/racket-7.5/collects/racket/private/generic.rkt:146:11","id":"dict?"}]}