{"bit_width":64,"date":1469011731,"note":"random.rkt","iterations":3,"flags":["rules:numerics","rules:arithmetic","rules:polynomials","rules:fractions","rules:exponents","rules:trigonometry","setup:simplify","reduce:regimes","reduce:taylor","reduce:simplify","reduce:avg-error","generate:rr","generate:taylor","generate:simplify","precision:double"],"seed":"#(1065767146 1567806045 1856802035 1672802504 2070886570 609046914)","points":256,"tests":[{"samplers":["default","default"],"bits":128,"start":24.75288786487122,"link":"0-sqrt2839573235346269e37abfabsa","pinf":0,"ninf":0,"vars":["a","b"],"input":"(sqrt (/ -2.839573235346269e-37 (* (* a b) (fabs a))))","time":9816.59716796875,"target":false,"output":"(if (<= (* (* a b) (fabs a)) -1.968508415724686e+162) (/ (sqrt (/ -2.839573235346269e-37 (* a b))) (sqrt (fabs a))) (* (sqrt (/ (/ -2.839573235346269e-37 a) b)) (sqrt (/ 1 (fabs a)))))","end":8.306943633186245,"name":"(sqrt (/ -2.839573235346269e-37 (* (* a b) (fabs a))))","status":"imp-start","end-est":7.131756882118572},{"samplers":["default","default","default"],"bits":128,"start":0.065047503529233,"link":"1-powtanlog1palogpowasinha","pinf":0,"ninf":0,"vars":["a","b","c"],"input":"(pow (tan (log1p a)) (log (pow a (sinh a))))","time":10096.74609375,"target":false,"output":"(pow (tan (log1p a)) (* (log a) (sinh a)))","end":0.002805907604919011,"name":"(pow (tan (log1p a)) (log (pow a (sinh a))))","status":"ex-start","end-est":0},{"samplers":["default","default"],"bits":128,"start":8.859141481076842,"link":"2-log1ppowsinhbatan2asina","pinf":0,"ninf":0,"vars":["a","b"],"input":"(log1p (pow (sinh b) (atan2 a (sin a))))","time":7813.955078125,"target":false,"output":"(log1p (pow (cube (pow (cbrt (cbrt (sinh b))) 3)) (atan2 a (sin a))))","end":8.827208458090466,"name":"(log1p (pow (sinh b) (atan2 a (sin a))))","status":"apx-start","end-est":9.275820781586424},{"samplers":["default","default","default"],"bits":128,"start":2.4415433872765906,"link":"3-hypothypotbtan17821069461122345e254ahypotac","pinf":0,"ninf":0,"vars":["a","b","c"],"input":"(hypot (hypot b (tan -1.7821069461122345e-254)) (+ a (hypot a c)))","time":7629.18505859375,"target":false,"output":"(hypot (hypot b (tan -1.7821069461122345e-254)) (+ a (hypot a c)))","end":2.4415433872765906,"name":"(hypot (hypot b (tan -1.7821069461122345e-254)) (+ a (hypot a c)))","status":"apx-start","end-est":1.4617107853204314},{"samplers":["default","default"],"bits":128,"start":0.016,"link":"4-hypothypotbaasinhypot6625427173769556e183bb","pinf":0,"ninf":0,"vars":["a","b"],"input":"(hypot (* (hypot b a) (asin (hypot 6.625427173769556e-183 b))) b)","time":4480.403076171875,"target":false,"output":"(hypot (* (hypot b a) (asin (hypot 6.625427173769556e-183 b))) b)","end":0.016,"name":"(hypot (* (hypot b a) (asin (hypot 6.625427173769556e-183 b))) b)","status":"ex-start","end-est":0.015625},{"samplers":["default","default","default","default"],"bits":128,"start":35.64540718253585,"link":"5-fmodexpm1dcatan2861318337292339e131d","pinf":0,"ninf":0,"vars":["a","b","c","d"],"input":"(fmod (* (expm1 d) c) (atan2 8.61318337292339e-131 d))","time":28809.298095703125,"target":false,"output":"(fmod (expm1 (expm1 (log1p (log1p (* (expm1 d) c))))) (atan2 8.61318337292339e-131 d))","end":35.73211659020555,"name":"(fmod (* (expm1 d) c) (atan2 8.61318337292339e-131 d))","status":"apx-start","end-est":38.36489234858317},{"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":1989.169189453125,"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.34529941228894,"link":"7-powasinatan3280379569422725e280tanbsqra","pinf":0,"ninf":0,"vars":["a","b"],"input":"(/ (pow (asin (atan 3.280379569422725e-280)) (tan b)) (sqr a))","time":50876.110107421875,"target":false,"output":"(* (/ (pow 1 (tan b)) a) (* (exp (log (pow (asin (atan 3.280379569422725e-280)) (tan b)))) (/ 1 a)))","end":4.958181506184604,"name":"(/ (pow (asin (atan 3.280379569422725e-280)) (tan b)) (sqr a))","status":"imp-start","end-est":4.370473690555538},{"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.616454996676161,"link":"9-bpowcotanbaasinb","pinf":0,"ninf":0,"vars":["a","b"],"input":"(- b (+ (pow (cotan b) a) (asin b)))","time":40655.370849609375,"target":false,"output":"(if (<= b -6.666946136074473e-165) (/ (- (cube b) (cube (+ (asin b) (pow (cotan b) a)))) (fma (+ (pow (cotan b) a) (+ b (asin b))) (+ (asin b) (pow (cotan b) a)) (sqr b))) (if (<= b 7.6539915406140805e-165) (/ (- (sqr b) (cbrt (cube (sqr (+ (pow (cotan b) a) (asin b)))))) (+ b (+ (pow (cotan b) a) (asin b)))) (/ (- (cube b) (cube (+ (asin b) (pow (cotan b) a)))) (fma (+ (pow (cotan b) a) (+ b (asin b))) (+ (asin b) (pow (cotan b) a)) (sqr b)))))","end":9.934533007002976,"name":"(- b (+ (pow (cotan b) a) (asin b)))","status":"apx-start","end-est":10.29972568476995},{"samplers":["default","default"],"bits":128,"start":0.00775,"link":"10-ab2070623953511602e139","pinf":0,"ninf":0,"vars":["a","b"],"input":"(- a (/ b 2.070623953511602e-139))","time":5556.781005859375,"target":false,"output":"(- a (/ b 2.070623953511602e-139))","end":0.00775,"name":"(- a (/ b 2.070623953511602e-139))","status":"ex-start","end-est":0.0078125},{"samplers":["default"],"bits":128,"start":3.374321531973144,"link":"11-18612743679730346e155powaatan5662719674881949e25","pinf":0,"ninf":0,"vars":["a"],"input":"(- 1.8612743679730346e-155 (pow a (atan 5.662719674881949e+25)))","time":8107.0419921875,"target":false,"output":"(- 1.8612743679730346e-155 (sqr (sqrt (pow (exp (atan 5.662719674881949e+25)) (log a)))))","end":3.252317362138657,"name":"(- 1.8612743679730346e-155 (pow a (atan 5.662719674881949e+25)))","status":"apx-start","end-est":3.1662124130203937},{"samplers":["default","default","default","default"],"bits":128,"start":0.07246936093777044,"link":"12-hypotsqrtatanabca","pinf":0,"ninf":0,"vars":["a","b","c","d"],"input":"(- (hypot (sqrt (atan a)) b) (* c a))","time":6682.367919921875,"target":false,"output":"(- (hypot (sqr (sqrt (sqrt (atan a)))) b) (* c a))","end":0.0851127615533882,"name":"(- (hypot (sqrt (atan a)) b) (* c a))","status":"ex-start","end-est":0.08203125},{"samplers":["default"],"bits":128,"start":10.729619343508324,"link":"13-expm1tanaaaa","pinf":0,"ninf":0,"vars":["a"],"input":"(- (expm1 (- (tan (* a a)) a)) a)","time":7174.31396484375,"target":false,"output":"(if (<= a 15879525.552212397) (- (expm1 (- (exp (log (tan (sqr a)))) a)) a) (- (expm1 (- (/ (sin (/ 1 (sqr a))) (cos (/ 1 (sqr a)))) a)) a))","end":0.017753934588207006,"name":"(- (expm1 (- (tan (* a a)) a)) a)","status":"imp-start","end-est":0.308511230534337},{"samplers":["default","default","default","default"],"bits":128,"start":0.0956221599904375,"link":"14-atan2atan2acaloga","pinf":0,"ninf":0,"vars":["a","b","c","d"],"input":"(- (atan2 (atan2 a c) a) (log a))","time":6490.0,"target":false,"output":"(log (/ (exp (atan2 (atan2 a c) a)) a))","end":0.05182275733317353,"name":"(- (atan2 (atan2 a c) a) (log a))","status":"ex-start","end-est":0},{"samplers":["default","default","default"],"bits":128,"start":0.21118872187554083,"link":"15-acotanchypotbb","pinf":0,"ninf":0,"vars":["a","b","c"],"input":"(- (/ a (cotan c)) (hypot b b))","time":4758.381103515625,"target":false,"output":"(- (/ 1 (/ (cotan c) a)) (hypot b b))","end":0.25139429328218893,"name":"(- (/ a (cotan c)) (hypot b b))","status":"ex-start","end-est":0.23828125},{"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":2320.05810546875,"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.015875,"link":"17-coscsqrtc","pinf":0,"ninf":0,"vars":["a","b","c"],"input":"(+ (cos c) (sqrt c))","time":5335.655029296875,"target":false,"output":"(+ (cos c) (sqrt c))","end":0.015875,"name":"(+ (cos c) (sqrt c))","status":"ex-start","end-est":0.01953125},{"samplers":["default","default"],"bits":128,"start":0.22574060156295067,"link":"18-expm1acotana","pinf":0,"ninf":0,"vars":["a","b"],"input":"(* (expm1 a) (cotan a))","time":4641.821044921875,"target":false,"output":"(* (expm1 a) (/ (cos a) (sin a)))","end":0.23591748125036058,"name":"(* (expm1 a) (cotan a))","status":"ex-start","end-est":0.224941259768442},{"samplers":["default","default","default","default"],"bits":128,"start":0.2284329964143392,"link":"19-logdfabsctand","pinf":0,"ninf":0,"vars":["a","b","c","d"],"input":"(* (+ (log d) (fabs c)) (tan d))","time":9082.38720703125,"target":false,"output":"(* (+ (log d) (fabs c)) (tan d))","end":0.2284329964143392,"name":"(* (+ (log d) (fabs c)) (tan d))","status":"ex-start","end-est":0.21484375}],"commit":"1d8a5a266b020440095bcd8cb501c635b072ad95","branch":"1.0-beta"}