{"sample_number":8,"total_time":1304.0,"cpu_time":1624.0,"thread_times":[{"time":1304.0,"id":0}],"nodes":[{"self":0.0,"thread_ids":[],"callers":[{"caller":16,"callee":0,"caller_time":204.0,"total":204.0,"callee_time":204.0},{"caller":26,"callee":0,"caller_time":184.0,"total":184.0,"callee_time":184.0},{"caller":17,"callee":0,"caller_time":158.0,"total":158.0,"callee_time":158.0},{"caller":19,"callee":0,"caller_time":152.0,"total":152.0,"callee_time":152.0},{"caller":23,"callee":0,"caller_time":154.0,"total":154.0,"callee_time":154.0},{"caller":12,"callee":0,"caller_time":154.0,"total":154.0,"callee_time":154.0},{"caller":24,"callee":0,"caller_time":150.0,"total":150.0,"callee_time":150.0},{"caller":29,"callee":0,"caller_time":148.0,"total":148.0,"callee_time":148.0}],"total":1304.0,"callees":[{"caller":0,"callee":1,"caller_time":1304.0,"total":1304.0,"callee_time":1304.0}],"src":false,"id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":0,"callee":1,"caller_time":1304.0,"total":1304.0,"callee_time":1304.0}],"total":1304.0,"callees":[{"caller":1,"callee":2,"caller_time":1304.0,"total":1304.0,"callee_time":1304.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":1304.0,"total":1304.0,"callee_time":1304.0}],"total":1304.0,"callees":[{"caller":2,"callee":3,"caller_time":1304.0,"total":1304.0,"callee_time":1304.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":1304.0,"total":1304.0,"callee_time":1304.0}],"total":1304.0,"callees":[{"caller":3,"callee":4,"caller_time":1304.0,"total":1304.0,"callee_time":1304.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":1304.0,"total":1304.0,"callee_time":1304.0}],"total":1304.0,"callees":[{"caller":4,"callee":5,"caller_time":952.0,"total":952.0,"callee_time":952.0},{"caller":4,"callee":6,"caller_time":204.0,"total":204.0,"callee_time":204.0},{"caller":4,"callee":7,"caller_time":148.0,"total":148.0,"callee_time":148.0}],"src":false,"id":".../more-scheme.rkt:261:28"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":4,"callee":5,"caller_time":952.0,"total":952.0,"callee_time":952.0}],"total":952.0,"callees":[{"caller":5,"callee":8,"caller_time":952.0,"total":952.0,"callee_time":952.0}],"src":"src/points.rkt:122:0","id":"prepare-points-intervals"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":4,"callee":6,"caller_time":204.0,"total":204.0,"callee_time":204.0}],"total":204.0,"callees":[{"caller":6,"callee":9,"caller_time":204.0,"total":204.0,"callee_time":204.0}],"src":"src/points.rkt:179:0","id":"oracle-error"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":4,"callee":7,"caller_time":148.0,"total":148.0,"callee_time":148.0}],"total":148.0,"callees":[{"caller":7,"callee":10,"caller_time":148.0,"total":148.0,"callee_time":148.0}],"src":"src/mainloop.rkt:365:0","id":"run-improve47"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":5,"callee":8,"caller_time":952.0,"total":952.0,"callee_time":952.0}],"total":952.0,"callees":[{"caller":8,"callee":11,"caller_time":640.0,"total":640.0,"callee_time":640.0},{"caller":8,"callee":12,"caller_time":312.0,"total":312.0,"callee_time":312.0}],"src":"src/points.rkt:134:4","id":"loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":6,"callee":9,"caller_time":204.0,"total":204.0,"callee_time":204.0}],"total":204.0,"callees":[{"caller":9,"callee":13,"caller_time":204.0,"total":204.0,"callee_time":204.0}],"src":"src/points.rkt:180:2","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":7,"callee":10,"caller_time":148.0,"total":148.0,"callee_time":148.0}],"total":148.0,"callees":[{"caller":10,"callee":14,"caller_time":148.0,"total":148.0,"callee_time":148.0}],"src":"src/mainloop.rkt:384:4","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":8,"callee":11,"caller_time":640.0,"total":640.0,"callee_time":640.0}],"total":640.0,"callees":[{"caller":11,"callee":15,"caller_time":486.0,"total":486.0,"callee_time":486.0},{"caller":11,"callee":19,"caller_time":154.0,"total":154.0,"callee_time":154.0}],"src":"src/points.rkt:79:2","id":"loop"},{"self":154.0,"thread_ids":[0],"callers":[{"caller":8,"callee":12,"caller_time":312.0,"total":312.0,"callee_time":312.0}],"total":312.0,"callees":[{"caller":12,"callee":17,"caller_time":158.0,"total":158.0,"callee_time":158.0},{"caller":12,"callee":0,"caller_time":154.0,"total":154.0,"callee_time":154.0}],"src":"src/points.rkt:115:6","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":9,"callee":13,"caller_time":204.0,"total":204.0,"callee_time":204.0}],"total":204.0,"callees":[{"caller":13,"callee":16,"caller_time":204.0,"total":204.0,"callee_time":204.0}],"src":"/opt/racket-7.5/collects/racket/private/map.rkt:35:13","id":"map"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":10,"callee":14,"caller_time":148.0,"total":148.0,"callee_time":148.0}],"total":148.0,"callees":[{"caller":14,"callee":18,"caller_time":148.0,"total":148.0,"callee_time":148.0}],"src":"src/mainloop.rkt:346:0","id":"run-iter!"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":11,"callee":15,"caller_time":486.0,"total":486.0,"callee_time":486.0}],"total":486.0,"callees":[{"caller":15,"callee":19,"caller_time":336.0,"total":336.0,"callee_time":336.0},{"caller":15,"callee":20,"caller_time":150.0,"total":150.0,"callee_time":150.0}],"src":"src/programs.rkt:118:11","id":"real->precision"},{"self":204.0,"thread_ids":[0],"callers":[{"caller":13,"callee":16,"caller_time":204.0,"total":204.0,"callee_time":204.0}],"total":204.0,"callees":[{"caller":16,"callee":0,"caller_time":204.0,"total":204.0,"callee_time":204.0}],"src":"src/points.rkt:181:26","id":false},{"self":158.0,"thread_ids":[0],"callers":[{"caller":12,"callee":17,"caller_time":158.0,"total":158.0,"callee_time":158.0}],"total":158.0,"callees":[{"caller":17,"callee":0,"caller_time":158.0,"total":158.0,"callee_time":158.0}],"src":"src/points.rkt:14:0","id":"sample-multi-bounded"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":14,"callee":18,"caller_time":148.0,"total":148.0,"callee_time":148.0}],"total":148.0,"callees":[{"caller":18,"callee":21,"caller_time":148.0,"total":148.0,"callee_time":148.0}],"src":"src/mainloop.rkt:224:0","id":"simplify!"},{"self":152.0,"thread_ids":[0],"callers":[{"caller":15,"callee":19,"caller_time":336.0,"total":336.0,"callee_time":336.0},{"caller":11,"callee":19,"caller_time":154.0,"total":154.0,"callee_time":154.0}],"total":490.0,"callees":[{"caller":19,"callee":22,"caller_time":184.0,"total":184.0,"callee_time":184.0},{"caller":19,"callee":23,"caller_time":154.0,"total":154.0,"callee_time":154.0},{"caller":19,"callee":0,"caller_time":152.0,"total":152.0,"callee_time":152.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":15,"callee":20,"caller_time":150.0,"total":150.0,"callee_time":150.0}],"total":150.0,"callees":[{"caller":20,"callee":24,"caller_time":150.0,"total":150.0,"callee_time":150.0}],"src":"/opt/racket-7.5/collects/racket/contract/private/guts.rkt:770:8","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":18,"callee":21,"caller_time":148.0,"total":148.0,"callee_time":148.0}],"total":148.0,"callees":[{"caller":21,"callee":25,"caller_time":148.0,"total":148.0,"callee_time":148.0}],"src":"src/core/simplify.rkt:42:0","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":19,"callee":22,"caller_time":184.0,"total":184.0,"callee_time":184.0}],"total":184.0,"callees":[{"caller":22,"callee":26,"caller_time":184.0,"total":184.0,"callee_time":184.0}],"src":"/opt/racket-7.5/share/pkgs/math-lib/math/private/bigfloat/mpfr.rkt:615:2","id":"bf"},{"self":154.0,"thread_ids":[0],"callers":[{"caller":19,"callee":23,"caller_time":154.0,"total":154.0,"callee_time":154.0}],"total":154.0,"callees":[{"caller":23,"callee":0,"caller_time":154.0,"total":154.0,"callee_time":154.0}],"src":"src/biginterval.rkt:129:0","id":"ival-mult"},{"self":150.0,"thread_ids":[0],"callers":[{"caller":20,"callee":24,"caller_time":150.0,"total":150.0,"callee_time":150.0}],"total":150.0,"callees":[{"caller":24,"callee":0,"caller_time":150.0,"total":150.0,"callee_time":150.0}],"src":"src/syntax/types.rkt:19:0","id":"bigvalue?"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":21,"callee":25,"caller_time":148.0,"total":148.0,"callee_time":148.0}],"total":148.0,"callees":[{"caller":25,"callee":27,"caller_time":148.0,"total":148.0,"callee_time":148.0}],"src":"/home/p92/.racket/7.5/pkgs/egg-herbie-linux/main.rkt:49:0","id":"egraph-run"},{"self":184.0,"thread_ids":[0],"callers":[{"caller":22,"callee":26,"caller_time":184.0,"total":184.0,"callee_time":184.0}],"total":184.0,"callees":[{"caller":26,"callee":0,"caller_time":184.0,"total":184.0,"callee_time":184.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":25,"callee":27,"caller_time":148.0,"total":148.0,"callee_time":148.0}],"total":148.0,"callees":[{"caller":27,"callee":28,"caller_time":148.0,"total":148.0,"callee_time":148.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":27,"callee":28,"caller_time":148.0,"total":148.0,"callee_time":148.0}],"total":148.0,"callees":[{"caller":28,"callee":29,"caller_time":148.0,"total":148.0,"callee_time":148.0}],"src":"src/core/simplify.rkt:103:6","id":false},{"self":148.0,"thread_ids":[0],"callers":[{"caller":28,"callee":29,"caller_time":148.0,"total":148.0,"callee_time":148.0}],"total":148.0,"callees":[{"caller":29,"callee":0,"caller_time":148.0,"total":148.0,"callee_time":148.0}],"src":"src/core/simplify.rkt:121:2","id":"for-loop"}]}