Time: 13.0m
Passed: 16/26
Tests: 39
Bits: 406/552

Date:Friday, June 15th, 2018
Commit:3037eca7637d47c1e833718e81447b3eb971baff on develop
Hostname:uwplse
Points:256
Fuel:2
Seed:#(2775764126 3555076145 3898259844 1891440260 2599947619 1948460636)
Flags:
precision:doubleprecision:fallbackfn:cbrtsetup:simplifyreduce:regimesreduce:taylorreduce:simplifyreduce:avg-errorreduce:binary-searchreduce:branch-expressionsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplify
default
TestStartResult ?Target ?∞ ↔ ℝTime
x/(sin(x)-x^2/2)14.70.018.2s»
x/sin(x)0.10.17.4s»
sin(x)/x0.10.16.7s»
(b+sqrt(b^2 -4*a*c))/(2*a)1.0m»
(b+sqrt(b*b -4*a*c))/(2*a)1.0m»
b*b -4*a*c0.00.011.1s»
sin(exp(10))13.113.12.3s»
sin(atan(sqrt(-0.5*0.5*log(x))))0.10.135.7s»
sin(atan(sqrt(-a*a*log(x))))14.80.149.2s»
atan(sqrt(-a*a*log(x)))14.80.144.2s»
x * (1/y)0.203.5s»
x/y002.5s»
x * y * (1 /cos(z))0.20.115.5s»
a * (1/a)0.202.0s»
sqrt(x-5)- sqrt(x-4)59.90.333.9s»
x^2 - (x-1)^230.107.4s»
sqrt(x+1) - sqrt(x)29.80.212.1s»
1/x001.6s»
sqrt(b^2-a)20.520.55.2s»
(a + b) * (1.0 / c)0.30.011.6s»
1-sqrt(1-a)38.80.27.7s»
a-sqrt(a*a-b)29.50.715.1s»
(exp(x) - exp(-x)) / 257.957.99.6s»
b-sqrt(b*b-a)29.50.715.5s»
sqrt(x + 1) - sqrt(x)29.80.211.9s»
(5-5)*900000001.2s»
sqrt(pow(b,2) - 4 * a * c)25.225.232.3s»
pow(x, 2) + pow(y, 2)0.00.05.9s»
pow(x, 2) * pow(y, 2)21.50.310.1s»
sqrt(2+x*x)14.70.012.6s»
sqrt(1+x*x)14.70.015.6s»
sqrt(x^2+y^2)30.123.79.4s»
cos(a1)*sin(a2) - sin(a1)*cos(a2)0.20.219.6s»
sqrt (x+1)-sqrt (x)29.80.211.6s»
ceil(2^log10(x))1.91.919.2s»
log(x)-log(x+log(x))1.0m»
log(a)+x*sin(E^b)1.0m»
a+log(b)+log(a*b)+log(c^2)+log(b/c)1.0m»
sqrt(x+1) - sqrt(x)29.80.213.9s»