{"sample_number":14,"total_time":3282.0,"cpu_time":3280.0,"thread_times":[{"time":3282.0,"id":0}],"nodes":[{"self":0.0,"thread_ids":[],"callers":[{"caller":13,"callee":0,"caller_time":200.0,"total":200.0,"callee_time":200.0},{"caller":53,"callee":0,"caller_time":200.0,"total":200.0,"callee_time":200.0},{"caller":8,"callee":0,"caller_time":416.0,"total":416.0,"callee_time":208.0},{"caller":29,"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":47,"callee":0,"caller_time":224.0,"total":224.0,"callee_time":224.0},{"caller":33,"callee":0,"caller_time":240.0,"total":240.0,"callee_time":240.0},{"caller":41,"callee":0,"caller_time":256.0,"total":256.0,"callee_time":256.0},{"caller":54,"callee":0,"caller_time":242.0,"total":242.0,"callee_time":242.0},{"caller":38,"callee":0,"caller_time":756.0,"total":756.0,"callee_time":756.0},{"caller":48,"callee":0,"caller_time":348.0,"total":348.0,"callee_time":348.0}],"total":3282.0,"callees":[{"caller":0,"callee":1,"caller_time":3282.0,"total":3282.0,"callee_time":3282.0}],"src":false,"id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":0,"callee":1,"caller_time":3282.0,"total":3282.0,"callee_time":3282.0}],"total":3282.0,"callees":[{"caller":1,"callee":4,"caller_time":3282.0,"total":3282.0,"callee_time":3282.0}],"src":"/opt/racket-7.5/collects/racket/private/more-scheme.rkt:261:28","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":37,"callee":2,"caller_time":590.0,"total":590.0,"callee_time":196.66666666666666}],"total":590.0,"callees":[{"caller":2,"callee":5,"caller_time":590.0,"total":590.0,"callee_time":590.0}],"src":"src/core/taylor.rkt:11:0","id":"approximate9"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":40,"callee":3,"caller_time":590.0,"total":590.0,"callee_time":167.66666666666666}],"total":590.0,"callees":[{"caller":3,"callee":6,"caller_time":590.0,"total":590.0,"callee_time":590.0}],"src":"src/core/taylor.rkt:290:26","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":1,"callee":4,"caller_time":3282.0,"total":3282.0,"callee_time":3282.0}],"total":3282.0,"callees":[{"caller":4,"callee":7,"caller_time":3282.0,"total":3282.0,"callee_time":3282.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":5,"caller_time":590.0,"total":590.0,"callee_time":590.0}],"total":590.0,"callees":[{"caller":5,"callee":37,"caller_time":196.66666666666666,"total":590.0,"callee_time":590.0}],"src":"src/core/taylor.rkt:86:4","id":"loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":3,"callee":6,"caller_time":590.0,"total":590.0,"callee_time":590.0}],"total":590.0,"callees":[{"caller":6,"callee":40,"caller_time":167.66666666666666,"total":590.0,"callee_time":590.0}],"src":"src/core/taylor.rkt:290:52","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":4,"callee":7,"caller_time":3282.0,"total":3282.0,"callee_time":3282.0}],"total":3282.0,"callees":[{"caller":7,"callee":8,"caller_time":2974.0,"total":3282.0,"callee_time":3282.0}],"src":"/opt/racket-7.5/share/pkgs/profile-lib/main.rkt:39:2","id":"run"},{"self":416.0,"thread_ids":[0],"callers":[{"caller":7,"callee":8,"caller_time":2974.0,"total":3282.0,"callee_time":3282.0},{"caller":17,"callee":8,"caller_time":308.0,"total":616.0,"callee_time":616.0}],"total":3282.0,"callees":[{"caller":8,"callee":9,"caller_time":1378.0,"total":1378.0,"callee_time":1378.0},{"caller":8,"callee":10,"caller_time":864.0,"total":864.0,"callee_time":864.0},{"caller":8,"callee":11,"caller_time":616.0,"total":616.0,"callee_time":308.0},{"caller":8,"callee":12,"caller_time":224.0,"total":224.0,"callee_time":224.0},{"caller":8,"callee":0,"caller_time":416.0,"total":416.0,"callee_time":208.0},{"caller":8,"callee":14,"caller_time":200.0,"total":200.0,"callee_time":200.0},{"caller":8,"callee":13,"caller_time":200.0,"total":200.0,"callee_time":100.0}],"src":false,"id":".../more-scheme.rkt:261:28"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":8,"callee":9,"caller_time":1378.0,"total":1378.0,"callee_time":1378.0}],"total":1378.0,"callees":[{"caller":9,"callee":15,"caller_time":1378.0,"total":1378.0,"callee_time":1378.0}],"src":"src/mainloop.rkt:365:0","id":"run-improve47"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":8,"callee":10,"caller_time":864.0,"total":864.0,"callee_time":864.0}],"total":864.0,"callees":[{"caller":10,"callee":16,"caller_time":864.0,"total":864.0,"callee_time":864.0}],"src":"src/points.rkt:122:0","id":"prepare-points-intervals"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":8,"callee":11,"caller_time":616.0,"total":616.0,"callee_time":308.0}],"total":616.0,"callees":[{"caller":11,"callee":17,"caller_time":616.0,"total":616.0,"callee_time":616.0}],"src":"src/points.rkt:192:0","id":"errors"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":8,"callee":12,"caller_time":224.0,"total":224.0,"callee_time":224.0}],"total":224.0,"callees":[{"caller":12,"callee":18,"caller_time":224.0,"total":224.0,"callee_time":224.0}],"src":"src/mainloop.rkt:390:0","id":"get-final-combination"},{"self":200.0,"thread_ids":[0],"callers":[{"caller":8,"callee":13,"caller_time":200.0,"total":200.0,"callee_time":100.0}],"total":200.0,"callees":[{"caller":13,"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":14,"caller_time":200.0,"total":200.0,"callee_time":200.0}],"total":200.0,"callees":[{"caller":14,"callee":19,"caller_time":200.0,"total":200.0,"callee_time":200.0}],"src":"src/points.rkt:179:0","id":"oracle-error"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":9,"callee":15,"caller_time":1378.0,"total":1378.0,"callee_time":1378.0}],"total":1378.0,"callees":[{"caller":15,"callee":20,"caller_time":1378.0,"total":1378.0,"callee_time":1378.0}],"src":"src/mainloop.rkt:384:4","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":10,"callee":16,"caller_time":864.0,"total":864.0,"callee_time":864.0}],"total":864.0,"callees":[{"caller":16,"callee":21,"caller_time":640.0,"total":640.0,"callee_time":640.0},{"caller":16,"callee":22,"caller_time":224.0,"total":224.0,"callee_time":224.0}],"src":"src/points.rkt:134:4","id":"loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":11,"callee":17,"caller_time":616.0,"total":616.0,"callee_time":616.0}],"total":616.0,"callees":[{"caller":17,"callee":8,"caller_time":308.0,"total":616.0,"callee_time":616.0}],"src":"src/points.rkt:194:2","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":12,"callee":18,"caller_time":224.0,"total":224.0,"callee_time":224.0}],"total":224.0,"callees":[{"caller":18,"callee":27,"caller_time":224.0,"total":224.0,"callee_time":224.0}],"src":"src/core/simplify.rkt:38:0","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":14,"callee":19,"caller_time":200.0,"total":200.0,"callee_time":200.0}],"total":200.0,"callees":[{"caller":19,"callee":49,"caller_time":200.0,"total":200.0,"callee_time":200.0}],"src":"src/points.rkt:180:2","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":15,"callee":20,"caller_time":1378.0,"total":1378.0,"callee_time":1378.0}],"total":1378.0,"callees":[{"caller":20,"callee":23,"caller_time":788.0,"total":788.0,"callee_time":788.0},{"caller":20,"callee":25,"caller_time":590.0,"total":590.0,"callee_time":590.0}],"src":"src/mainloop.rkt:346:0","id":"run-iter!"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":16,"callee":21,"caller_time":640.0,"total":640.0,"callee_time":640.0}],"total":640.0,"callees":[{"caller":21,"callee":24,"caller_time":640.0,"total":640.0,"callee_time":640.0}],"src":"src/points.rkt:115:6","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":16,"callee":22,"caller_time":224.0,"total":224.0,"callee_time":224.0}],"total":224.0,"callees":[{"caller":22,"callee":26,"caller_time":224.0,"total":224.0,"callee_time":224.0}],"src":"src/points.rkt:79:2","id":"loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":20,"callee":23,"caller_time":788.0,"total":788.0,"callee_time":788.0}],"total":788.0,"callees":[{"caller":23,"callee":27,"caller_time":788.0,"total":788.0,"callee_time":788.0}],"src":"src/mainloop.rkt:224:0","id":"simplify!"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":21,"callee":24,"caller_time":640.0,"total":640.0,"callee_time":640.0}],"total":640.0,"callees":[{"caller":24,"callee":29,"caller_time":440.0,"total":440.0,"callee_time":440.0},{"caller":24,"callee":30,"caller_time":200.0,"total":200.0,"callee_time":200.0}],"src":"src/points.rkt:14:0","id":"sample-multi-bounded"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":20,"callee":25,"caller_time":590.0,"total":590.0,"callee_time":590.0}],"total":590.0,"callees":[{"caller":25,"callee":28,"caller_time":590.0,"total":590.0,"callee_time":590.0}],"src":"src/mainloop.rkt:160:0","id":"gen-series!"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":22,"callee":26,"caller_time":224.0,"total":224.0,"callee_time":224.0}],"total":224.0,"callees":[{"caller":26,"callee":37,"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":23,"callee":27,"caller_time":788.0,"total":788.0,"callee_time":788.0},{"caller":18,"callee":27,"caller_time":224.0,"total":224.0,"callee_time":224.0}],"total":1012.0,"callees":[{"caller":27,"callee":31,"caller_time":1012.0,"total":1012.0,"callee_time":1012.0}],"src":"src/core/simplify.rkt:42:0","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":25,"callee":28,"caller_time":590.0,"total":590.0,"callee_time":590.0}],"total":590.0,"callees":[{"caller":28,"callee":32,"caller_time":590.0,"total":590.0,"callee_time":590.0}],"src":"src/mainloop.rkt:167:7","id":"for-loop"},{"self":200.0,"thread_ids":[0],"callers":[{"caller":24,"callee":29,"caller_time":440.0,"total":440.0,"callee_time":440.0}],"total":440.0,"callees":[{"caller":29,"callee":33,"caller_time":240.0,"total":240.0,"callee_time":240.0},{"caller":29,"callee":0,"caller_time":200.0,"total":200.0,"callee_time":200.0}],"src":"src/common.rkt:164:0","id":"random-ranges"},{"self":200.0,"thread_ids":[0],"callers":[{"caller":24,"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":"src/points.rkt:20:4","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":27,"callee":31,"caller_time":1012.0,"total":1012.0,"callee_time":1012.0}],"total":1012.0,"callees":[{"caller":31,"callee":34,"caller_time":1012.0,"total":1012.0,"callee_time":1012.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":28,"callee":32,"caller_time":590.0,"total":590.0,"callee_time":590.0}],"total":590.0,"callees":[{"caller":32,"callee":35,"caller_time":590.0,"total":590.0,"callee_time":590.0}],"src":"src/mainloop.rkt:146:0","id":"taylor-alt"},{"self":240.0,"thread_ids":[0],"callers":[{"caller":29,"callee":33,"caller_time":240.0,"total":240.0,"callee_time":240.0}],"total":240.0,"callees":[{"caller":33,"callee":0,"caller_time":240.0,"total":240.0,"callee_time":240.0}],"src":"/opt/racket-7.5/collects/racket/contract/private/arrow-val-first.rkt:1214:0","id":"build-->"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":31,"callee":34,"caller_time":1012.0,"total":1012.0,"callee_time":1012.0}],"total":1012.0,"callees":[{"caller":34,"callee":36,"caller_time":1012.0,"total":1012.0,"callee_time":1012.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":32,"callee":35,"caller_time":590.0,"total":590.0,"callee_time":590.0}],"total":590.0,"callees":[{"caller":35,"callee":37,"caller_time":196.66666666666666,"total":590.0,"callee_time":590.0}],"src":"src/mainloop.rkt:152:6","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":34,"callee":36,"caller_time":1012.0,"total":1012.0,"callee_time":1012.0}],"total":1012.0,"callees":[{"caller":36,"callee":38,"caller_time":756.0,"total":756.0,"callee_time":756.0},{"caller":36,"callee":41,"caller_time":256.0,"total":256.0,"callee_time":256.0}],"src":"src/core/simplify.rkt:103:6","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":26,"callee":37,"caller_time":224.0,"total":224.0,"callee_time":224.0},{"caller":35,"callee":37,"caller_time":196.66666666666666,"total":590.0,"callee_time":590.0},{"caller":39,"callee":37,"caller_time":196.66666666666666,"total":590.0,"callee_time":590.0},{"caller":5,"callee":37,"caller_time":196.66666666666666,"total":590.0,"callee_time":590.0}],"total":814.0,"callees":[{"caller":37,"callee":42,"caller_time":224.0,"total":224.0,"callee_time":224.0},{"caller":37,"callee":39,"caller_time":590.0,"total":590.0,"callee_time":196.66666666666666},{"caller":37,"callee":2,"caller_time":590.0,"total":590.0,"callee_time":196.66666666666666},{"caller":37,"callee":40,"caller_time":167.66666666666666,"total":590.0,"callee_time":196.66666666666666}],"src":"/opt/racket-7.5/collects/racket/contract/private/arrow-higher-order.rkt:375:33","id":false},{"self":756.0,"thread_ids":[0],"callers":[{"caller":36,"callee":38,"caller_time":756.0,"total":756.0,"callee_time":756.0}],"total":756.0,"callees":[{"caller":38,"callee":0,"caller_time":756.0,"total":756.0,"callee_time":756.0}],"src":"src/core/simplify.rkt:121:2","id":"for-loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":37,"callee":39,"caller_time":590.0,"total":590.0,"callee_time":196.66666666666666}],"total":590.0,"callees":[{"caller":39,"callee":37,"caller_time":196.66666666666666,"total":590.0,"callee_time":590.0}],"src":"src/programs.rkt:87:0","id":"location-do"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":37,"callee":40,"caller_time":167.66666666666666,"total":590.0,"callee_time":196.66666666666666},{"caller":43,"callee":40,"caller_time":167.66666666666666,"total":590.0,"callee_time":590.0},{"caller":6,"callee":40,"caller_time":167.66666666666666,"total":590.0,"callee_time":590.0},{"caller":45,"callee":40,"caller_time":87.0,"total":348.0,"callee_time":348.0}],"total":590.0,"callees":[{"caller":40,"callee":43,"caller_time":590.0,"total":590.0,"callee_time":167.66666666666666},{"caller":40,"callee":3,"caller_time":590.0,"total":590.0,"callee_time":167.66666666666666},{"caller":40,"callee":45,"caller_time":348.0,"total":348.0,"callee_time":87.0},{"caller":40,"callee":44,"caller_time":348.0,"total":348.0,"callee_time":87.0},{"caller":40,"callee":46,"caller_time":242.0,"total":242.0,"callee_time":80.66666666666667}],"src":"/opt/racket-7.5/collects/racket/private/more-scheme.rkt:376:2","id":"hash-ref!"},{"self":256.0,"thread_ids":[0],"callers":[{"caller":36,"callee":41,"caller_time":256.0,"total":256.0,"callee_time":256.0}],"total":256.0,"callees":[{"caller":41,"callee":0,"caller_time":256.0,"total":256.0,"callee_time":256.0}],"src":"src/core/simplify.rkt:109:0","id":"egg-run-rules"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":37,"callee":42,"caller_time":224.0,"total":224.0,"callee_time":224.0}],"total":224.0,"callees":[{"caller":42,"callee":47,"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":40,"callee":43,"caller_time":590.0,"total":590.0,"callee_time":167.66666666666666}],"total":590.0,"callees":[{"caller":43,"callee":40,"caller_time":167.66666666666666,"total":590.0,"callee_time":590.0}],"src":"src/core/taylor.rkt:44:15","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":40,"callee":44,"caller_time":348.0,"total":348.0,"callee_time":87.0}],"total":348.0,"callees":[{"caller":44,"callee":48,"caller_time":348.0,"total":348.0,"callee_time":348.0}],"src":false,"id":"f61"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":40,"callee":45,"caller_time":348.0,"total":348.0,"callee_time":87.0}],"total":348.0,"callees":[{"caller":45,"callee":40,"caller_time":87.0,"total":348.0,"callee_time":348.0}],"src":"src/core/taylor.rkt:343:33","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":40,"callee":46,"caller_time":242.0,"total":242.0,"callee_time":80.66666666666667}],"total":242.0,"callees":[{"caller":46,"callee":48,"caller_time":242.0,"total":242.0,"callee_time":242.0}],"src":false,"id":"parse-loop74"},{"self":224.0,"thread_ids":[0],"callers":[{"caller":42,"callee":47,"caller_time":224.0,"total":224.0,"callee_time":224.0}],"total":224.0,"callees":[{"caller":47,"callee":0,"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:348:0","id":"new-mpfr"},{"self":348.0,"thread_ids":[0],"callers":[{"caller":44,"callee":48,"caller_time":348.0,"total":348.0,"callee_time":348.0},{"caller":46,"callee":48,"caller_time":242.0,"total":242.0,"callee_time":242.0}],"total":590.0,"callees":[{"caller":48,"callee":0,"caller_time":348.0,"total":348.0,"callee_time":348.0},{"caller":48,"callee":49,"caller_time":242.0,"total":242.0,"callee_time":242.0}],"src":"src/programs.rkt:144:0","id":"eval-const-expr"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":48,"callee":49,"caller_time":242.0,"total":242.0,"callee_time":242.0},{"caller":19,"callee":49,"caller_time":200.0,"total":200.0,"callee_time":200.0}],"total":442.0,"callees":[{"caller":49,"callee":50,"caller_time":242.0,"total":242.0,"callee_time":242.0},{"caller":49,"callee":51,"caller_time":200.0,"total":200.0,"callee_time":200.0}],"src":false,"id":"loop"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":49,"callee":50,"caller_time":242.0,"total":242.0,"callee_time":242.0}],"total":242.0,"callees":[{"caller":50,"callee":52,"caller_time":242.0,"total":242.0,"callee_time":242.0}],"src":false,"id":"expand-capturing-lifts"},{"self":0.0,"thread_ids":[0],"callers":[{"caller":49,"callee":51,"caller_time":200.0,"total":200.0,"callee_time":200.0}],"total":200.0,"callees":[{"caller":51,"callee":53,"caller_time":200.0,"total":200.0,"callee_time":200.0}],"src":"src/points.rkt:181:26","id":false},{"self":0.0,"thread_ids":[0],"callers":[{"caller":50,"callee":52,"caller_time":242.0,"total":242.0,"callee_time":242.0}],"total":242.0,"callees":[{"caller":52,"callee":54,"caller_time":242.0,"total":242.0,"callee_time":242.0}],"src":false,"id":"expand-id-application-form17"},{"self":200.0,"thread_ids":[0],"callers":[{"caller":51,"callee":53,"caller_time":200.0,"total":200.0,"callee_time":200.0}],"total":200.0,"callees":[{"caller":53,"callee":0,"caller_time":200.0,"total":200.0,"callee_time":200.0}],"src":"src/float.rkt:51:0","id":"ordinary-value?"},{"self":242.0,"thread_ids":[0],"callers":[{"caller":52,"callee":54,"caller_time":242.0,"total":242.0,"callee_time":242.0}],"total":242.0,"callees":[{"caller":54,"callee":0,"caller_time":242.0,"total":242.0,"callee_time":242.0}],"src":false,"id":"binding-lookup52"}]}