{"bit_width":32,"date":1470071920,"note":"random.rkt","iterations":3,"flags":["rules:numerics","rules:arithmetic","rules:polynomials","rules:fractions","rules:exponents","rules:trigonometry","setup:simplify","reduce:post-process","reduce:regimes","reduce:taylor","reduce:simplify","reduce:avg-error","generate:rr","generate:taylor","generate:simplify"],"seed":"#(1065990927 2514927446 2806713580 2976231080 3799737104 4212629478)","points":256,"tests":[{"samplers":["default","default"],"bits":128,"start":9.91976293194616,"link":"0-sqrt2839573235346269e37abfabsa","pinf":0,"ninf":0,"vars":["a","b"],"input":"(sqrt (/ -2.839573235346269e-37 (* (* a b) (fabs a))))","time":7078.448974609375,"target":false,"output":"(sqrt (/ -2.839573235346269e-37 (* b (* (fabs a) a))))","end":8.907403580132277,"name":"(sqrt (/ -2.839573235346269e-37 (* (* a b) (fabs a))))","status":"imp-start","end-est":9.163756218082293},{"samplers":["default","default","default"],"bits":128,"start":0.21089911296181432,"link":"1-powtanlog1palogpowasinha","pinf":0,"ninf":0,"vars":["a","b","c"],"input":"(pow (tan (log1p a)) (log (pow a (sinh a))))","time":18614.3310546875,"target":false,"output":"(pow (expm1 (log1p (tan (log1p a)))) (* (log a) (sinh a)))","end":0.0351084021354024,"name":"(pow (tan (log1p a)) (log (pow a (sinh a))))","status":"ex-start","end-est":0.017910009768442016},{"samplers":["default","default"],"bits":128,"start":5.712951442930295,"link":"2-log1ppowsinhbatan2asina","pinf":0,"ninf":0,"vars":["a","b"],"input":"(log1p (pow (sinh b) (atan2 a (sin a))))","time":12051.484130859375,"target":false,"output":"(log1p (pow E (log (pow (sinh b) (atan2 a (sin a))))))","end":5.664287098330106,"name":"(log1p (pow (sinh b) (atan2 a (sin a))))","status":"apx-start","end-est":5.612028227949453},{"samplers":["default","default","default"],"bits":128,"start":0.9922303227287841,"link":"3-hypothypotbtan17821069461122345e254ahypotac","pinf":0,"ninf":0,"vars":["a","b","c"],"input":"(hypot (hypot b (tan -1.7821069461122345e-254)) (+ a (hypot a c)))","time":4951.599853515625,"target":false,"output":"(hypot (hypot b (tan -1.7821069461122345e-254)) (+ a (hypot a c)))","end":0.9922303227287841,"name":"(hypot (hypot b (tan -1.7821069461122345e-254)) (+ a (hypot a c)))","status":"ex-start","end-est":1.0046767184328564},{"samplers":["default","default"],"bits":128,"start":0.024625,"link":"4-hypothypotbaasinhypot6625427173769556e183bb","pinf":0,"ninf":0,"vars":["a","b"],"input":"(hypot (* (hypot b a) (asin (hypot 6.625427173769556e-183 b))) b)","time":5624.705078125,"target":false,"output":"(hypot (* (hypot b a) (asin (hypot 6.625427173769556e-183 b))) b)","end":0.024625,"name":"(hypot (* (hypot b a) (asin (hypot 6.625427173769556e-183 b))) b)","status":"ex-start","end-est":0.02734375},{"samplers":["default","default","default","default"],"bits":128,"start":24.603322815318247,"link":"5-fmodexpm1dcatan2861318337292339e131d","pinf":0,"ninf":0,"vars":["a","b","c","d"],"input":"(fmod (* (expm1 d) c) (atan2 8.61318337292339e-131 d))","time":28343.131103515625,"target":false,"output":"(if (<= d -2.287137f-38) (sqr (sqrt (cube (cbrt (expm1 (log1p (fmod (* (expm1 d) c) (atan2 8.61318337292339e-131 d)))))))) (fmod (/ (expm1 (- d)) (/ c -1)) (atan2 8.61318337292339e-131 (/ -1 d))))","end":19.289441126959733,"name":"(fmod (* (expm1 d) c) (atan2 8.61318337292339e-131 d))","status":"imp-start","end-est":20.201469616390384},{"samplers":["default","default"],"bits":128,"start":30.997179481608715,"link":"6-atan2bbb7078918604288237e23813789227555638566e245","pinf":0,"ninf":0,"vars":["a","b"],"input":"(atan2 (+ b (- b)) (+ (- b 7.078918604288237e+238) 1.3789227555638566e+245))","time":1833.705078125,"target":false,"output":"(atan2 (+ b (- b)) (+ b 1.3789220476719961e+245))","end":0,"name":"(atan2 (+ b (- b)) (+ (- b 7.078918604288237e+238) 1.3789227555638566e+245))","status":"imp-start","end-est":0},{"samplers":["default","default"],"bits":128,"start":18.222874773982294,"link":"7-powasinatan3280379569422725e280tanbsqra","pinf":0,"ninf":0,"vars":["a","b"],"input":"(/ (pow (asin (atan 3.280379569422725e-280)) (tan b)) (sqr a))","time":15897.967041015625,"target":false,"output":"(if (<= b -0.00010876831f0) (sqr (/ (sqrt (pow (asin (atan 3.280379569422725e-280)) (tan b))) a)) (if (<= b 1.0048907f0) (/ (pow (asin (atan 3.280379569422725e-280)) (log (exp (tan b)))) (sqr a)) (sqr (/ (sqrt (pow (asin (atan 3.280379569422725e-280)) (tan b))) a))))","end":5.079340699379518,"name":"(/ (pow (asin (atan 3.280379569422725e-280)) (tan b)) (sqr a))","status":"imp-start","end-est":3.8026002387071274},{"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":4.040551641508363,"link":"9-bpowcotanbaasinb","pinf":0,"ninf":0,"vars":["a","b"],"input":"(- b (+ (pow (cotan b) a) (asin b)))","time":23255.796142578125,"target":false,"output":"(/ (- (sqr b) (fma (pow (cotan b) a) (fma 2 (asin b) (pow (cotan b) a)) (sqr (asin b)))) (+ (+ (asin b) b) (pow (cotan b) a)))","end":4.1557709800592475,"name":"(- b (+ (pow (cotan b) a) (asin b)))","status":"apx-start","end-est":3.8990819939806},{"samplers":["default","default"],"bits":128,"start":false,"link":"10-ab2070623953511602e139","pinf":false,"ninf":false,"vars":["a","b"],"input":"(- a (/ b 2.070623953511602e-139))","time":6247.752197265625,"target":false,"output":"#f","end":false,"name":"(- a (/ b 2.070623953511602e-139))","status":"crash","end-est":false},{"samplers":["default"],"bits":128,"start":2.8611503116514627,"link":"11-18612743679730346e155powaatan5662719674881949e25","pinf":0,"ninf":0,"vars":["a"],"input":"(- 1.8612743679730346e-155 (pow a (atan 5.662719674881949e+25)))","time":13056.050048828125,"target":false,"output":"(- 1.8612743679730346e-155 (pow E (log (pow a (atan 5.662719674881949e+25)))))","end":2.399235125513461,"name":"(- 1.8612743679730346e-155 (pow a (atan 5.662719674881949e+25)))","status":"apx-start","end-est":2.2634178638132294},{"samplers":["default","default","default","default"],"bits":128,"start":0.050903002565249135,"link":"12-hypotsqrtatanabca","pinf":0,"ninf":0,"vars":["a","b","c","d"],"input":"(- (hypot (sqrt (atan a)) b) (* c a))","time":14613.261962890625,"target":false,"output":"(- (hypot (sqrt (atan a)) b) (* c a))","end":0.050903002565249135,"name":"(- (hypot (sqrt (atan a)) b) (* c a))","status":"ex-start","end-est":0.01953125},{"samplers":["default"],"bits":128,"start":5.435481553193571,"link":"13-expm1tanaaaa","pinf":0,"ninf":0,"vars":["a"],"input":"(- (expm1 (- (tan (* a a)) a)) a)","time":8099.613037109375,"target":false,"output":"(if (<= a 22.956736f0) (- (expm1 (- (expm1 (log1p (tan (sqr a)))) a)) a) (- (expm1 (- (/ (sin (/ 1 (sqr a))) (cos (/ 1 (sqr a)))) a)) a))","end":0.12783475031416716,"name":"(- (expm1 (- (tan (* a a)) a)) a)","status":"imp-start","end-est":0.44480024159281306},{"samplers":["default","default","default","default"],"bits":128,"start":0.12908868091864542,"link":"14-atan2atan2acaloga","pinf":0,"ninf":0,"vars":["a","b","c","d"],"input":"(- (atan2 (atan2 a c) a) (log a))","time":8273.14208984375,"target":false,"output":"(- (expm1 (sqr (sqrt (log1p (atan2 (atan2 a c) a))))) (log a))","end":0.13757089084077384,"name":"(- (atan2 (atan2 a c) a) (log a))","status":"ex-start","end-est":0.13016378162065376},{"samplers":["default","default","default"],"bits":128,"start":0.029473408662519053,"link":"15-acotanchypotbb","pinf":0,"ninf":0,"vars":["a","b","c"],"input":"(- (/ a (cotan c)) (hypot b b))","time":6452.344970703125,"target":false,"output":"(- (/ a (cotan c)) (hypot b b))","end":0.029473408662519053,"name":"(- (/ a (cotan c)) (hypot b b))","status":"ex-start","end-est":0.03515625},{"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":2534.4619140625,"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.063125,"link":"17-coscsqrtc","pinf":0,"ninf":0,"vars":["a","b","c"],"input":"(+ (cos c) (sqrt c))","time":7828.06005859375,"target":false,"output":"(+ (cos c) (sqrt c))","end":0.063125,"name":"(+ (cos c) (sqrt c))","status":"ex-start","end-est":0.04296875},{"samplers":["default","default"],"bits":128,"start":0.03925,"link":"18-expm1acotana","pinf":0,"ninf":0,"vars":["a","b"],"input":"(* (expm1 a) (cotan a))","time":4198.447021484375,"target":false,"output":"(* (expm1 a) (cotan a))","end":0.03925,"name":"(* (expm1 a) (cotan a))","status":"ex-start","end-est":0.04296875},{"samplers":["default","default","default","default"],"bits":128,"start":0.2421274437510817,"link":"19-logdfabsctand","pinf":0,"ninf":0,"vars":["a","b","c","d"],"input":"(* (+ (log d) (fabs c)) (tan d))","time":16402.775146484375,"target":false,"output":"(/ (* (- (sqr (log d)) (sqr (fabs c))) 1) (* (- (log d) (fabs c)) (cotan d)))","end":0.138386842188131,"name":"(* (+ (log d) (fabs c)) (tan d))","status":"ex-start","end-est":0.1484375}],"commit":"1d8a5a266b020440095bcd8cb501c635b072ad95","branch":"1.0-beta"}