{"bit_width":64,"date":1470312502,"note":"random.rkt","iterations":2,"flags":["rules:arithmetic","rules:polynomials","rules:fractions","rules:exponents","rules:trigonometry","setup:simplify","reduce:post-process","reduce:taylor","reduce:simplify","reduce:avg-error","generate:rr","generate:taylor","generate:simplify","precision:double"],"seed":"#(1066021830 2830721961 259995540 547417586 81053319 3982124210)","points":256,"tests":[{"samplers":["default","default"],"bits":128,"start":25.22292871761582,"link":"0-sqrt2839573235346269e37abfabsa","pinf":0,"ninf":0,"vars":["a","b"],"input":"(sqrt (/ -2.839573235346269e-37 (* (* a b) (fabs a))))","time":6011.118896484375,"target":false,"output":"(* (sqrt (/ (/ -2.839573235346269e-37 a) b)) (sqrt (/ 1 (fabs a))))","end":9.347804106681044,"name":"(sqrt (/ -2.839573235346269e-37 (* (* a b) (fabs a))))","status":"imp-start","end-est":9.367802220690775},{"samplers":["default","default","default"],"bits":128,"start":0.06565981386850646,"link":"1-powtanlog1palogpowasinha","pinf":0,"ninf":0,"vars":["a","b","c"],"input":"(pow (tan (log1p a)) (log (pow a (sinh a))))","time":9159.401123046875,"target":false,"output":"(pow (tan (log1p a)) (cube (cbrt (log (pow a (sinh a))))))","end":0.06775759363944169,"name":"(pow (tan (log1p a)) (log (pow a (sinh a))))","status":"ex-start","end-est":0.09521884224780511},{"samplers":["default","default"],"bits":128,"start":8.852692545423293,"link":"2-log1ppowsinhbatan2asina","pinf":0,"ninf":0,"vars":["a","b"],"input":"(log1p (pow (sinh b) (atan2 a (sin a))))","time":5582.837890625,"target":false,"output":"(exp (log (log1p (pow (sinh b) (atan2 a (sin a))))))","end":8.934499253304752,"name":"(log1p (pow (sinh b) (atan2 a (sin a))))","status":"apx-start","end-est":8.366456295624985},{"samplers":["default","default","default"],"bits":128,"start":2.170146487787517,"link":"3-hypothypotbtan17821069461122345e254ahypotac","pinf":0,"ninf":0,"vars":["a","b","c"],"input":"(hypot (hypot b (tan -1.7821069461122345e-254)) (+ a (hypot a c)))","time":7067.14892578125,"target":false,"output":"(hypot (hypot b (tan -1.7821069461122345e-254)) (+ a (hypot a c)))","end":2.170146487787517,"name":"(hypot (hypot b (tan -1.7821069461122345e-254)) (+ a (hypot a c)))","status":"apx-start","end-est":2.3793405259350586},{"samplers":["default","default"],"bits":128,"start":0.018375,"link":"4-hypothypotbaasinhypot6625427173769556e183bb","pinf":0,"ninf":0,"vars":["a","b"],"input":"(hypot (* (hypot b a) (asin (hypot 6.625427173769556e-183 b))) b)","time":3473.655029296875,"target":false,"output":"(hypot (* (hypot b a) (asin (hypot 6.625427173769556e-183 b))) b)","end":0.018375,"name":"(hypot (* (hypot b a) (asin (hypot 6.625427173769556e-183 b))) b)","status":"ex-start","end-est":0.01171875},{"samplers":["default","default","default","default"],"bits":128,"start":17.880022656972592,"link":"5-fmodexpm1dcatan2861318337292339e131d","pinf":0,"ninf":0,"vars":["a","b","c","d"],"input":"(fmod (* (expm1 d) c) (atan2 8.61318337292339e-131 d))","time":192329.38793945312,"target":false,"output":"(fmod (sqr (sqr (sqrt (sqrt (* (expm1 d) c))))) (atan2 8.61318337292339e-131 d))","end":18.409070495168397,"name":"(fmod (* (expm1 d) c) (atan2 8.61318337292339e-131 d))","status":"apx-start","end-est":38.097146015863316},{"samplers":["default","default"],"bits":128,"start":0,"link":"6-atan2bbb7078918604288237e23813789227555638566e245","pinf":0,"ninf":0,"vars":["a","b"],"input":"(atan2 (+ b (- b)) (+ (- b 7.078918604288237e+238) 1.3789227555638566e+245))","time":1690.337890625,"target":false,"output":"(atan2 (+ b (- b)) (+ (- b 7.078918604288237e+238) 1.3789227555638566e+245))","end":0,"name":"(atan2 (+ b (- b)) (+ (- b 7.078918604288237e+238) 1.3789227555638566e+245))","status":"ex-start","end-est":0},{"samplers":["default","default"],"bits":128,"start":8.53603587240408,"link":"7-powasinatan3280379569422725e280tanbsqra","pinf":0,"ninf":0,"vars":["a","b"],"input":"(/ (pow (asin (atan 3.280379569422725e-280)) (tan b)) (sqr a))","time":56893.173828125,"target":false,"output":"(/ (/ 1 (/ a (pow (asin (atan 3.280379569422725e-280)) (tan b)))) a)","end":5.123727983952571,"name":"(/ (pow (asin (atan 3.280379569422725e-280)) (tan b)) (sqr a))","status":"imp-start","end-est":4.427234466895132},{"samplers":["default","default","default"],"bits":128,"start":false,"link":"8-bsinpow15928625625579355e85c","pinf":false,"ninf":false,"vars":["a","b","c"],"input":"(- b (sin (pow 1.5928625625579355e-85 c)))","time":600000,"target":false,"output":"#f","end":false,"name":"(- b (sin (pow 1.5928625625579355e-85 c)))","status":"timeout","end-est":false},{"samplers":["default","default"],"bits":128,"start":9.743671966147035,"link":"9-bpowcotanbaasinb","pinf":0,"ninf":0,"vars":["a","b"],"input":"(- b (+ (pow (cotan b) a) (asin b)))","time":17149.2900390625,"target":false,"output":"(- (- b (pow (- (- (/ 1 b) (* b 1/3)) (* (cube b) 1/45)) a)) (asin b))","end":9.735296966147034,"name":"(- b (+ (pow (cotan b) a) (asin b)))","status":"apx-start","end-est":9.156578472301211},{"samplers":["default","default"],"bits":128,"start":0.0099759193652572,"link":"10-ab2070623953511602e139","pinf":0,"ninf":0,"vars":["a","b"],"input":"(- a (/ b 2.070623953511602e-139))","time":1129.3349609375,"target":false,"output":"(- a (/ b 2.070623953511602e-139))","end":0.0099759193652572,"name":"(- a (/ b 2.070623953511602e-139))","status":"ex-start","end-est":0.00390625},{"samplers":["default"],"bits":128,"start":3.3791134873274853,"link":"11-18612743679730346e155powaatan5662719674881949e25","pinf":0,"ninf":0,"vars":["a"],"input":"(- 1.8612743679730346e-155 (pow a (atan 5.662719674881949e+25)))","time":7945.4599609375,"target":false,"output":"(- 1.8612743679730346e-155 (exp (log (pow a (atan 5.662719674881949e+25)))))","end":3.2607888075881197,"name":"(- 1.8612743679730346e-155 (pow a (atan 5.662719674881949e+25)))","status":"apx-start","end-est":3.3847929968630925},{"samplers":["default","default","default","default"],"bits":128,"start":0.07125,"link":"12-hypotsqrtatanabca","pinf":0,"ninf":0,"vars":["a","b","c","d"],"input":"(- (hypot (sqrt (atan a)) b) (* c a))","time":5561.592041015625,"target":false,"output":"(- (hypot (sqrt (atan a)) b) (* c a))","end":0.07125,"name":"(- (hypot (sqrt (atan a)) b) (* c a))","status":"ex-start","end-est":0.06640625},{"samplers":["default"],"bits":128,"start":10.460066438123958,"link":"13-expm1tanaaaa","pinf":0,"ninf":0,"vars":["a"],"input":"(- (expm1 (- (tan (* a a)) a)) a)","time":3309.14794921875,"target":false,"output":"(- (expm1 (- (tan (sqr a)) a)) a)","end":10.460066438123958,"name":"(- (expm1 (- (tan (* a a)) a)) a)","status":"apx-start","end-est":12.491070880958375},{"samplers":["default","default","default","default"],"bits":128,"start":0.10344812031259015,"link":"14-atan2atan2acaloga","pinf":0,"ninf":0,"vars":["a","b","c","d"],"input":"(- (atan2 (atan2 a c) a) (log a))","time":5144.708984375,"target":false,"output":"(log (/ (exp (atan2 (atan2 a c) a)) a))","end":0.05176127546970727,"name":"(- (atan2 (atan2 a c) a) (log a))","status":"ex-start","end-est":0.00390625},{"samplers":["default","default","default"],"bits":128,"start":0.21558496250072112,"link":"15-acotanchypotbb","pinf":0,"ninf":0,"vars":["a","b","c"],"input":"(- (/ a (cotan c)) (hypot b b))","time":3604.469970703125,"target":false,"output":"(- (* (/ a 1) (tan c)) (hypot b b))","end":0.15419812031259017,"name":"(- (/ a (cotan c)) (hypot b b))","status":"ex-start","end-est":0.1328125},{"samplers":["default","default","default","default"],"bits":128,"start":0,"link":"16-15132483801667326e80bb","pinf":0,"ninf":0,"vars":["a","b","c","d"],"input":"(+ 1.5132483801667326e-80 (/ b b))","time":1738.531005859375,"target":false,"output":"(+ 1.5132483801667326e-80 1)","end":0,"name":"(+ 1.5132483801667326e-80 (/ b b))","status":"ex-start","end-est":0},{"samplers":["default","default","default"],"bits":128,"start":0.017125,"link":"17-coscsqrtc","pinf":0,"ninf":0,"vars":["a","b","c"],"input":"(+ (cos c) (sqrt c))","time":3497.137939453125,"target":false,"output":"(+ (cos c) (sqrt c))","end":0.017125,"name":"(+ (cos c) (sqrt c))","status":"ex-start","end-est":0.0234375},{"samplers":["default","default"],"bits":128,"start":0.21134436093777043,"link":"18-expm1acotana","pinf":0,"ninf":0,"vars":["a","b"],"input":"(* (expm1 a) (cotan a))","time":4209.884033203125,"target":false,"output":"(/ (* (expm1 a) (cos a)) (sin a))","end":0.11558496250072117,"name":"(* (expm1 a) (cotan a))","status":"ex-start","end-est":0.10546875},{"samplers":["default","default","default","default"],"bits":128,"start":0.23290808281331127,"link":"19-logdfabsctand","pinf":0,"ninf":0,"vars":["a","b","c","d"],"input":"(* (+ (log d) (fabs c)) (tan d))","time":8898.52294921875,"target":false,"output":"(* (+ (log d) (fabs c)) (tan d))","end":0.23290808281331127,"name":"(* (+ (log d) (fabs c)) (tan d))","status":"ex-start","end-est":0.26009750976844204}],"commit":"1d8a5a266b020440095bcd8cb501c635b072ad95","branch":"1.0-beta"}