Time: 13.7 m
Passed: 3/9
Tests: 20
Bits: 31/86

Date:Sunday, July 24th, 2016
Commit:1d8a5a266b020440095bcd8cb501c635b072ad95 on 1.0-beta
Points:256
Fuel:2
Seed:#(1065385120 3968465003 4252011776 3360847114 2908152799 1991881914)
Flags:rules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometrysetup:simplifyreduce:post-processreduce:regimesreduce:taylorreduce:simplifyreduce:avg-errorgenerate:rrgenerate:taylorgenerate:simplifyprecision:double
TestStartResultTarget∞ ↔ ℝTime
(sqrt (/ -2.839573235346269e-37 (* (* a b) (fabs a))))24.9[7.0 ≉] 8.0 11.1 s»
(pow (tan (log1p a)) (log (pow a (sinh a))))0.10.015.3 s»
(log1p (pow (sinh b) (atan2 a (sin a))))8.7[10.0 ≉] 8.7 7.9 s»
(hypot (hypot b (tan -1.7821069461122345e-254)) (+ a (hypot a c)))2.42.49.7 s»
(hypot (* (hypot b a) (asin (hypot 6.625427173769556e-183 b))) b)0.00.04.7 s»
(fmod (* (expm1 d) c) (atan2 8.61318337292339e-131 d))17.4[40.7 ≉] 17.7 1.0 m»
(atan2 (+ b (- b)) (+ (- b 7.078918604288237e+238) 1.3789227555638566e+245))002.3 s»
(/ (pow (asin (atan 3.280379569422725e-280)) (tan b)) (sqr a))8.34.416.7 s»
(- b (sin (pow 1.5928625625579355e-85 c)))10.0 m»
(- b (+ (pow (cotan b) a) (asin b)))9.69.623.6 s»
(- a (/ b 2.070623953511602e-139))0.00.04.4 s»
(- 1.8612743679730346e-155 (pow a (atan 5.662719674881949e+25)))3.33.213.2 s»
(- (hypot (sqrt (atan a)) b) (* c a))0.10.19.4 s»
(- (expm1 (- (tan (* a a)) a)) a)10.70.06.2 s»
(- (atan2 (atan2 a c) a) (log a))0.10.17.3 s»
(- (/ a (cotan c)) (hypot b b))0.20.24.8 s»
(+ 1.5132483801667326e-80 (/ b b))002.4 s»
(+ (cos c) (sqrt c))0.00.04.7 s»
(* (expm1 a) (cotan a))0.20.24.5 s»
(* (+ (log d) (fabs c)) (tan d))0.20.211.0 s»