{"sample_number":12,"total_time":2416.0,"cpu_time":2568.0,"thread_times":[{"time":2416.0,"id":0}],"nodes":[{"self":0.0,"thread_ids":[],"callers":[{"caller":8,"callee":0,"caller_time":196.0,"total":196.0,"callee_time":196.0},{"caller":11,"callee":0,"caller_time":200.0,"total":200.0,"callee_time":200.0},{"caller":23,"callee":0,"caller_time":206.0,"total":206.0,"callee_time":206.0},{"caller":14,"callee":0,"caller_time":200.0,"total":200.0,"callee_time":200.0},{"caller":30,"callee":0,"caller_time":200.0,"total":200.0,"callee_time":200.0},{"caller":15,"callee":0,"caller_time":198.0,"total":198.0,"callee_time":198.0},{"caller":20,"callee":0,"caller_time":188.0,"total":188.0,"callee_time":188.0},{"caller":38,"callee":0,"caller_time":194.0,"total":194.0,"callee_time":194.0},{"caller":39,"callee":0,"caller_time":238.0,"total":238.0,"callee_time":238.0},{"caller":33,"callee":0,"caller_time":596.0,"total":596.0,"callee_time":596.0}],"total":2416.0,"callees":[{"caller":0,"callee":1,"caller_time":2416.0,"total":2416.0,"callee_time":2416.0}],"src":false,"id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":0,"callee":1,"caller_time":2416.0,"total":2416.0,"callee_time":2416.0}],"total":2416.0,"callees":[{"caller":1,"callee":2,"caller_time":2416.0,"total":2416.0,"callee_time":2416.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":2416.0,"total":2416.0,"callee_time":2416.0}],"total":2416.0,"callees":[{"caller":2,"callee":3,"caller_time":2416.0,"total":2416.0,"callee_time":2416.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":2416.0,"total":2416.0,"callee_time":2416.0}],"total":2416.0,"callees":[{"caller":3,"callee":4,"caller_time":2318.0,"total":2416.0,"callee_time":2416.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":2318.0,"total":2416.0,"callee_time":2416.0},{"caller":11,"callee":4,"caller_time":98.0,"total":196.0,"callee_time":196.0}],"total":2416.0,"callees":[{"caller":4,"callee":5,"caller_time":1186.0,"total":1186.0,"callee_time":1186.0},{"caller":4,"callee":6,"caller_time":834.0,"total":834.0,"callee_time":834.0},{"caller":4,"callee":7,"caller_time":396.0,"total":396.0,"callee_time":298.0},{"caller":4,"callee":8,"caller_time":196.0,"total":196.0,"callee_time":98.0}],"src":false,"id":".../more-scheme.rkt:261:28"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":4,"callee":5,"caller_time":1186.0,"total":1186.0,"callee_time":1186.0}],"total":1186.0,"callees":[{"caller":5,"callee":9,"caller_time":1186.0,"total":1186.0,"callee_time":1186.0}],"src":"src/points.rkt:122:0","id":"prepare-points-intervals"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":4,"callee":6,"caller_time":834.0,"total":834.0,"callee_time":834.0}],"total":834.0,"callees":[{"caller":6,"callee":10,"caller_time":466.0,"total":466.0,"callee_time":466.0},{"caller":6,"callee":16,"caller_time":368.0,"total":368.0,"callee_time":368.0}],"src":"src/mainloop.rkt:365:0","id":"run-improve47"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":4,"callee":7,"caller_time":396.0,"total":396.0,"callee_time":298.0}],"total":396.0,"callees":[{"caller":7,"callee":11,"caller_time":396.0,"total":396.0,"callee_time":396.0}],"src":"src/points.rkt:192:0","id":"errors"},{"self":196.0,"thread_ids":[0],"callers":[{"caller":4,"callee":8,"caller_time":196.0,"total":196.0,"callee_time":98.0}],"total":196.0,"callees":[{"caller":8,"callee":0,"caller_time":196.0,"total":196.0,"callee_time":196.0}],"src":"src/float.rkt:19:0","id":"ulp-difference"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":5,"callee":9,"caller_time":1186.0,"total":1186.0,"callee_time":1186.0}],"total":1186.0,"callees":[{"caller":9,"callee":12,"caller_time":600.0,"total":600.0,"callee_time":600.0},{"caller":9,"callee":14,"caller_time":388.0,"total":388.0,"callee_time":388.0},{"caller":9,"callee":15,"caller_time":198.0,"total":198.0,"callee_time":198.0}],"src":"src/points.rkt:134:4","id":"loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":6,"callee":10,"caller_time":466.0,"total":466.0,"callee_time":466.0}],"total":466.0,"callees":[{"caller":10,"callee":13,"caller_time":466.0,"total":466.0,"callee_time":466.0}],"src":"src/mainloop.rkt:384:4","id":"for-loop"},{"self":200.0,"thread_ids":[0],"callers":[{"caller":7,"callee":11,"caller_time":396.0,"total":396.0,"callee_time":396.0}],"total":396.0,"callees":[{"caller":11,"callee":0,"caller_time":200.0,"total":200.0,"callee_time":200.0},{"caller":11,"callee":4,"caller_time":98.0,"total":196.0,"callee_time":196.0}],"src":"src/points.rkt:194:2","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":9,"callee":12,"caller_time":600.0,"total":600.0,"callee_time":600.0}],"total":600.0,"callees":[{"caller":12,"callee":17,"caller_time":406.0,"total":406.0,"callee_time":406.0},{"caller":12,"callee":19,"caller_time":194.0,"total":194.0,"callee_time":194.0}],"src":"src/points.rkt:79:2","id":"loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":10,"callee":13,"caller_time":466.0,"total":466.0,"callee_time":466.0}],"total":466.0,"callees":[{"caller":13,"callee":18,"caller_time":238.0,"total":238.0,"callee_time":238.0},{"caller":13,"callee":16,"caller_time":228.0,"total":228.0,"callee_time":228.0}],"src":"src/mainloop.rkt:346:0","id":"run-iter!"},{"self":200.0,"thread_ids":[0],"callers":[{"caller":9,"callee":14,"caller_time":388.0,"total":388.0,"callee_time":388.0}],"total":388.0,"callees":[{"caller":14,"callee":0,"caller_time":200.0,"total":200.0,"callee_time":200.0},{"caller":14,"callee":20,"caller_time":188.0,"total":188.0,"callee_time":188.0}],"src":"src/points.rkt:115:6","id":false},{"self":198.0,"thread_ids":[0],"callers":[{"caller":9,"callee":15,"caller_time":198.0,"total":198.0,"callee_time":198.0}],"total":198.0,"callees":[{"caller":15,"callee":0,"caller_time":198.0,"total":198.0,"callee_time":198.0}],"src":"/opt/racket-7.5/collects/racket/function.rkt:71:2","id":"do-curry"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":6,"callee":16,"caller_time":368.0,"total":368.0,"callee_time":368.0},{"caller":13,"callee":16,"caller_time":228.0,"total":228.0,"callee_time":228.0}],"total":596.0,"callees":[{"caller":16,"callee":21,"caller_time":596.0,"total":596.0,"callee_time":596.0}],"src":"src/mainloop.rkt:224:0","id":"simplify!"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":12,"callee":17,"caller_time":406.0,"total":406.0,"callee_time":406.0}],"total":406.0,"callees":[{"caller":17,"callee":23,"caller_time":206.0,"total":206.0,"callee_time":206.0},{"caller":17,"callee":24,"caller_time":200.0,"total":200.0,"callee_time":200.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":13,"callee":18,"caller_time":238.0,"total":238.0,"callee_time":238.0}],"total":238.0,"callees":[{"caller":18,"callee":22,"caller_time":238.0,"total":238.0,"callee_time":238.0}],"src":"src/mainloop.rkt:160:0","id":"gen-series!"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":12,"callee":19,"caller_time":194.0,"total":194.0,"callee_time":194.0}],"total":194.0,"callees":[{"caller":19,"callee":32,"caller_time":194.0,"total":194.0,"callee_time":194.0}],"src":"src/programs.rkt:118:11","id":"real->precision"},{"self":188.0,"thread_ids":[0],"callers":[{"caller":14,"callee":20,"caller_time":188.0,"total":188.0,"callee_time":188.0}],"total":188.0,"callees":[{"caller":20,"callee":0,"caller_time":188.0,"total":188.0,"callee_time":188.0}],"src":"src/points.rkt:14:0","id":"sample-multi-bounded"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":16,"callee":21,"caller_time":596.0,"total":596.0,"callee_time":596.0}],"total":596.0,"callees":[{"caller":21,"callee":25,"caller_time":596.0,"total":596.0,"callee_time":596.0}],"src":"src/core/simplify.rkt:42:0","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":18,"callee":22,"caller_time":238.0,"total":238.0,"callee_time":238.0}],"total":238.0,"callees":[{"caller":22,"callee":26,"caller_time":238.0,"total":238.0,"callee_time":238.0}],"src":"src/mainloop.rkt:167:7","id":"for-loop"},{"self":206.0,"thread_ids":[0],"callers":[{"caller":17,"callee":23,"caller_time":206.0,"total":206.0,"callee_time":206.0}],"total":206.0,"callees":[{"caller":23,"callee":0,"caller_time":206.0,"total":206.0,"callee_time":206.0}],"src":"src/biginterval.rkt:117:0","id":"ival-sub"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":17,"callee":24,"caller_time":200.0,"total":200.0,"callee_time":200.0}],"total":200.0,"callees":[{"caller":24,"callee":27,"caller_time":200.0,"total":200.0,"callee_time":200.0}],"src":"src/biginterval.rkt:111:0","id":"ival-add"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":21,"callee":25,"caller_time":596.0,"total":596.0,"callee_time":596.0}],"total":596.0,"callees":[{"caller":25,"callee":28,"caller_time":596.0,"total":596.0,"callee_time":596.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":22,"callee":26,"caller_time":238.0,"total":238.0,"callee_time":238.0}],"total":238.0,"callees":[{"caller":26,"callee":29,"caller_time":238.0,"total":238.0,"callee_time":238.0}],"src":"src/mainloop.rkt:146:0","id":"taylor-alt"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":24,"callee":27,"caller_time":200.0,"total":200.0,"callee_time":200.0}],"total":200.0,"callees":[{"caller":27,"callee":30,"caller_time":200.0,"total":200.0,"callee_time":200.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":25,"callee":28,"caller_time":596.0,"total":596.0,"callee_time":596.0}],"total":596.0,"callees":[{"caller":28,"callee":31,"caller_time":596.0,"total":596.0,"callee_time":596.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":26,"callee":29,"caller_time":238.0,"total":238.0,"callee_time":238.0}],"total":238.0,"callees":[{"caller":29,"callee":32,"caller_time":119.0,"total":238.0,"callee_time":238.0}],"src":"src/mainloop.rkt:152:6","id":"for-loop"},{"self":200.0,"thread_ids":[0],"callers":[{"caller":27,"callee":30,"caller_time":200.0,"total":200.0,"callee_time":200.0}],"total":200.0,"callees":[{"caller":30,"callee":0,"caller_time":200.0,"total":200.0,"callee_time":200.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":28,"callee":31,"caller_time":596.0,"total":596.0,"callee_time":596.0}],"total":596.0,"callees":[{"caller":31,"callee":33,"caller_time":596.0,"total":596.0,"callee_time":596.0}],"src":"src/core/simplify.rkt:103:6","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":19,"callee":32,"caller_time":194.0,"total":194.0,"callee_time":194.0},{"caller":29,"callee":32,"caller_time":119.0,"total":238.0,"callee_time":238.0},{"caller":34,"callee":32,"caller_time":119.0,"total":238.0,"callee_time":119.0}],"total":432.0,"callees":[{"caller":32,"callee":36,"caller_time":194.0,"total":194.0,"callee_time":194.0},{"caller":32,"callee":34,"caller_time":119.0,"total":238.0,"callee_time":119.0},{"caller":32,"callee":35,"caller_time":119.0,"total":238.0,"callee_time":119.0}],"src":"/opt/racket-7.5/collects/racket/contract/private/arrow-higher-order.rkt:375:33","id":false},{"self":596.0,"thread_ids":[0],"callers":[{"caller":31,"callee":33,"caller_time":596.0,"total":596.0,"callee_time":596.0}],"total":596.0,"callees":[{"caller":33,"callee":0,"caller_time":596.0,"total":596.0,"callee_time":596.0}],"src":"src/core/simplify.rkt:121:2","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":32,"callee":34,"caller_time":119.0,"total":238.0,"callee_time":119.0},{"caller":34,"callee":34,"caller_time":119.0,"total":238.0,"callee_time":119.0}],"total":238.0,"callees":[{"caller":34,"callee":34,"caller_time":119.0,"total":238.0,"callee_time":119.0},{"caller":34,"callee":32,"caller_time":119.0,"total":238.0,"callee_time":119.0}],"src":"src/programs.rkt:87:0","id":"location-do"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":32,"callee":35,"caller_time":119.0,"total":238.0,"callee_time":119.0},{"caller":37,"callee":35,"caller_time":119.0,"total":238.0,"callee_time":119.0}],"total":238.0,"callees":[{"caller":35,"callee":37,"caller_time":238.0,"total":238.0,"callee_time":238.0}],"src":false,"id":"f40"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":32,"callee":36,"caller_time":194.0,"total":194.0,"callee_time":194.0}],"total":194.0,"callees":[{"caller":36,"callee":38,"caller_time":194.0,"total":194.0,"callee_time":194.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":35,"callee":37,"caller_time":238.0,"total":238.0,"callee_time":238.0}],"total":238.0,"callees":[{"caller":37,"callee":35,"caller_time":119.0,"total":238.0,"callee_time":119.0},{"caller":37,"callee":39,"caller_time":238.0,"total":238.0,"callee_time":119.0}],"src":"/opt/racket-7.5/collects/racket/private/map.rkt:35:13","id":"map"},{"self":194.0,"thread_ids":[0],"callers":[{"caller":36,"callee":38,"caller_time":194.0,"total":194.0,"callee_time":194.0}],"total":194.0,"callees":[{"caller":38,"callee":0,"caller_time":194.0,"total":194.0,"callee_time":194.0}],"src":"/opt/racket-7.5/collects/ffi/unsafe.rkt:938:4","id":false},{"self":238.0,"thread_ids":[0],"callers":[{"caller":37,"callee":39,"caller_time":238.0,"total":238.0,"callee_time":119.0}],"total":238.0,"callees":[{"caller":39,"callee":0,"caller_time":238.0,"total":238.0,"callee_time":238.0}],"src":false,"id":"f61"}]}