Time: 1.5hr
Passed: 136/164
Tests: 273
Bits: 2925/3674

Date:Monday, May 20th, 2019
Commit:f5b097e9 on develop
Hostname:uwplse with Racket 7.1
Seed:1
Parameters:256 points for 2 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default
TestStartResult ?Target ?∞ ↔ ℝTime
acos(x+1)/259.559.514.5s»
acos(x+1)/1/259.559.515.7s»
asin(x+1)-asin(x-1)28.0ms»
pow(x,2)-pow(x,-2)0.00.04.8s»
log(x+5)-log(x-5)58.80.214.6s»
log(x+1)-log(x-1)58.80.215.6s»
log(x+10)-log(x-10)58.90.215.4s»
log(x+10)/20.00.08.6s»
(sinh(x)-1)*(1/2)0.00.010.2s»
(sinh(x+1)-1)/(1/2)2.01.715.3s»
(sin(x+1)+1)/(1/2)25.00.617.5s»
sinh(x+1)+sinh(1)0.00.020.1s»
cosh(x+1)-cosh(1)58.00.352.7s»
pow(2,-x)+pow(x,-2)0.00.013.5s»
sqrt(x+1) + sqrt(x)0.00.011.3s»
log(1+x)-10.00.08.5s»
sqrt(x) - 10.00.07.9s»
NMSE problem 3.4.44.20.223.8s»
triangleSorted0.30.32.3m»
(pow(x,2)/pow(x,6))/x29.9011.9s»
pow(x,2)-pow(x,5)+0.10.00.04.3s»
pow(2,x)-pow(2,2)+60.00.04.0s»
atan(x+1)-atan(x)15.20.49.5s»
cosh(x+1)-cosh(x)1.00.054.0s»
(asin(x)-1)/20.00.08.1s»
asin(x)-10.00.08.8s»
asin(x+1)-22.21.314.5s»
asin(x+1)-asin(x)1.21.215.0s»
3*(x-(x-pow(10,-10)))31.3012.2s»
pow(2,x)-x+pow(2,x)0.00.011.4s»
pow(2,x)-pow(x,1)0.00.011.7s»
(m+t)/(1-t*m)7.70.38.5s»
b*b-4*a*c0.00.07.9s»
cosh(x+1)-21.00.21.2m»
cosh(x+1)-cos(1)1.00.116.5s»
cosh(x+1)-cos(x)1.00.125.5s»
pow(2,x)-pow(x,x)13.4s»
pow(x,2)-pow(x,x)0.00.015.7s»
sinh(x+1)-sinh(2)1.00.113.5s»
sinh(x+1)-sinh(1)58.00.320.8s»
sinh(x+1)-sinh(x)0.00.018.4s»
exp(x)-exp(x+1)0.60.012.9s»
exp(x)-exp(4)0.00.07.9s»
exp(x+1)-exp(x)0.60.08.8s»
exp(2)-exp(1)1.0010.1s»
exp(1)-exp(x)0.60.47.7s»
tan(x+1)-tan(x)29.60.320.7s»
(k-m)/(1+m*k)7.73.97.5s»
sqrt(-c/a)15.11.117.9s»
x*x*(4+k*k)+x*(2*n*k)+(-100+n*n)9.60.121.1s»
(5/4)*b*b+2*b+10.10.19.5s»
1 + (2 * b) + ((b * b) * 5) / 40.20.19.1s»
(5/4)*b*b-2*b+10.10.113.4s»
b * (b * 5 / 4 - 2) + 10.10.113.3s»
1 - (2 * b) + ((b * b) * 5) / 40.20.117.2s»
-log((-1)*(1-1/x))0.00.019.2s»
-log(1/x-1)0.00.013.7s»
sin(x+1)+125.00.612.5s»
log(x+1)-logx9.60.39.4s»
tan(x)-tan(x+1)29.60.321.7s»
sqrt(x + 1) - sqrt(x)29.80.212.2s»
cos(x+1)-cosx13.80.215.7s»
cosx+cos(x+1)13.20.212.5s»
logx-log(x+1)9.80.39.4s»
log1-log200998.0ms»
cos(x)+cos(x)004.1s»
cos(x+1)-cos(x)30.10.617.0s»
tan(x+1)28.50.517.7s»
tan(x)005.0s»
sin(x+1)-sin(x)29.60.419.2s»
sqrt(x)-sqrt(x+1)30.40.211.6s»
2000 * x/y - 500.20.234.3s»
tan(x+1)-tan(x)29.60.324.3s»
tan(x)-tan(x+1)29.60.319.8s»
tan(1)+tan(x+1)26.90.525.1s»
z1*z2*(y11*z2*y1k + y21*z1*y2k)10.912.024.0s»
y11*z2*y1k + y21*z1*y2k8.21.733.6s»
x / sqrt(x^2 + y^2)24.811.210.0s»
c11*x + c12*y0.00.016.1s»
x * x / x29.201.0s»
(x + x) / x0.00922.0ms»
sin(x) / cos(x)0.207.9s»
(1 + x) - 128.901.3s»
r1 * (a1 * b2 - a2 * b1)7.44.816.2s»
sqrt(x+1) - sqrt(x)30.40.212.0s»
log(exp(x)/(1+exp(x)))0.00.113.3s»
log(exp(x)/(1+exp(x)))1.30.721.3s»
kepler00.60.440.6s»
test04_dqmom90.60.542.6s»
test06_sums4, sum10.00.04.8s»
max(l,min( l+(h-l)*x ,h))0.00.012.3s»
y - y*x + z*x0.00.014.3s»
1e30 + (x - 1e30)*y0.00.017.6s»
1e30 + (x - 1e30)*132.103.2s»
(1+x) - x29.601.3s»
x<0.5 ? L+(H-L)*x : H-(H-L)*(1-x)0.00.026.9s»
L*(1-x) + H*x0.00.013.5s»
sqrt(1-x*x)0.00.012.6s»
1-x*x0.00.01.1s»
r * (sin(b) / cos(a+b))15.00.326.4s»
r * sin(b) / cos(a+b)15.00.327.8s»
1 / (1 - exp(-n * d))25.90.434.5s»
(x + 1) - x29.601.3s»
cos(atan(r/d))30.15.418.9s»
(x+1)/(x-1)0.00.01.7m»
sqrt(n*s2-s1*s1)/n16.016.024.7s»
sqrt(y*y+x)-y29.30.213.7s»
sqrt(1+x)-138.40.212.6s»
sqrt(x+y*y)-y29.010.314.6s»
sqrt(x*y-z*z)-z15.415.416.6s»
sqrt(pow(a,2) + pow(b,2) + pow(c,2))35.123.612.5s»
0.5 * sqrt(2.0 * (sqrt(xre * xre + xim * xim) + xre))37.821.712.1s»
sqrt(2.0 * (sqrt(xre * xre + xim * xim) + xre))37.821.712.7s»
sqrt(2.0 * (sqrt(xre * xre + xim * xim) + xre))37.518.112.9s»
abs(x) * sqrt(1 + (y/x)*(y/x))16.610.013.4s»
sqrt(x*x + y*y)29.416.34.5s»
pow(x,5)-pow(x,4)-5*pow(x,3)+pow(x,2)+8*x+40.00.018.6s»
cos(2 * PI / 3) * (E - 2.7) / (PI - sqrt(2) - sqrt(3))8.27.811.2s»
333.75 * pow(y, 6) + x * x * (11 * x * x * y * y - pow(y, 6) - 121 * pow(y, 4) - 2) + 5.5 * pow(y, 8) + x / (2 * y)0.10.11.6m»
log(abs(3 * (1 - x) + 1)) / 80 + x * x + 10.00.07.8s»
(a+(b+(c+d)))0.00.01.4s»
(a+b)+(c+d)0.00.01.4s»
(-b+sqrt(b * b - 4 * a * c))/(2 * a)33.59.820.7s»
2*pow(2,-41)*(0.5+1023/2048)007.7s»
min(2^32,2^32+1)001.0s»
(-b - sqrt(b*b - 4*a*c))/(2 * a)33.410.025.6s»
sqrt(x-12) - sqrt(x)59.70.412.0s»
floudas30.10.213.8s»
cos(x) - sin(x)0.20.315.0s»
1.8*(a - 273.15) + 32.00.00.011.4s»
triangle2.51.034.9s»
a/(a+b)0.00.011.8s»
sine0.00.016.7s»
Complex sine and cosine43.90.841.9s»
Complex square root37.518.214.5s»
logexp0.00.015.7s»
(pow((48*PI*PI/1.205e-29/1.205e-29),1/3)*( 1.0e-6*exp(-1.1/(8.625e-5 * 823))))*pow((i+1),1/3)*exp(-(1.77-2* 6.25e18 *1.205e-29/(pow((3*(i+1)*1.205e-29/(4*PI)),1/3)))/( 8.625e-5 * 823))6.90.230.6s»
(pow((48*PI*PI/1.205e-29/1.205e-29),1/3)*( 1.0e-6*exp(-1.1/(8.625e-5 * 823))))*pow((i+1),1/3)*exp(-(1.77-2* 6.25e18 *1.205e-29/(pow((3*(i+1)*1.205e-29/(4*PI)),1/3)))/( 8.625e-5 * 823))5.51.831.6s»
sinh(k * (1 - x)) / sinh(k)20.71.822.1s»
sinh(k * (1 - x)) / sinh(k)20.71.818.7s»
sinh(k - k * x) / sinh(k)26.41.817.4s»
sinh(k - k * x) / sinh(k)94.0ms»
sinh(k - k * x) / sinh(k)0.90.623.8s»
exp(k - k * x) / (exp(k) - exp(-k)) - exp(k * x - x) / (exp(k) - exp(-k))47.014.751.0s»
(pow((48*PI*PI/1.205e-29/1.205e-29),1/3)*( 1.0e-6*exp(-1.1/(8.625e-5 * 823))))*pow((i+1),1/3)*exp(-(1.77-2* 6.25e18 *1.205e-29/(pow((3*(i+1)*1.205e-29/(4*PI)),1/3)))/( 8.625e-5 * 823))5.70.730.5s»
(pow((48*PI*PI/1.205e-29/1.205e-29),1/3)*( 1.0e-6*exp(-1.1/(8.625e-5 * 823))))*pow((i+1),1/3)*exp(-(1.77-2* 6.25e18 *1.205e-29/(pow((3*(i+1)*1.205e-29/(4*PI)),1/3)))/( 8.625e-5 * 823))6.31.81.1m»
(pow((48*PI*PI/1.205e-29/1.205e-29),1/3)*( 1.0e-6*exp(-1.1/(8.625e-5 * 823))))*pow((i+1),1/3)*exp(-(1.77-2* 6.25e18 *1.205e-29/(pow((3*(i+1)*1.205e-29/(4*PI)),1/3)))/( 8.625e-5 * 823))6.90.232.4s»
(pow((48*PI*PI/1.205e-29/1.205e-29),1/3)*( 1.0e-6*exp(-1.1/(8.625e-5 * 823))))*pow((i+1),1/3)*exp(-(1.77-2* 6.25e18 *1.205e-29/(pow((3*(i+1)*1.205e-29/(4*PI)),1/3)))/( 8.625e-5 * 823))6.90.230.5s»
-(df_sum * dRho + (z2p * (1.0 / (sqrt(dist)))- (z2 * (1.0 /(sqrt(dist))))* (1.0 / (sqrt(dist)))))* (1.0 / (sqrt(dist)))3.12.927.4s»
(y*y-y)*(x^(y-2))17.50.917.6s»
(y-1)*y*(x^(y-2))17.50.917.1s»
tan(x+eps)-tan(x)37.415.834.4s»
pow(s1/n1-s2/n2,2) *(n1*n2)24.75.016.5s»
pow(s1*n2-s2*n1,2) /(n1*n2)24.55.721.8s»
sqrt(2*(sqrt(x*x+y*y)+x))37.518.214.1s»
1/pow(cosh(x),2)0.00.052.0s»
1 / cosh(x)0.00.013.9s»
x/(x*(1-k)+k)0.00.08.9s»
x/(x*(1-k)+k)28.0ms»
pow(alpha,2)/(PI*pow(pow(NdotH, 2)*(pow(alpha,2)-1)+1,2))0.20.224.3s»
pow(alpha,2)/(PI*pow(pow(NdotH, 2)*(pow(alpha,2)-1)+1,2))14.54.019.8s»
sin(1 + 2x)26.50.415.0s»
(1 + x)00656.0ms»
1/x^2-(1+cos(x))/(2*x*sin(x))30.70.650.9s»
(1-sin(x)/x)/x^230.50.328.7s»
(1-cos(x))/x^230.60.130.4s»
sqrt(1+x)-sqrt(x)30.40.213.0s»
sin(x)+cos(x+1)25.80.615.5s»
sqrt(x)001.3s»
pow(roughness, 2) / (PI * pow((ndoth * pow(roughness, 2) - ndoth) * ndoth + 1, 2))0.20.220.9s»
a * (b/a)14.801.2s»
pow(x,4)+a*pow(x,3)+b*pow(x,2)+c*x+d0.80.121.1s»
(pow((48*PI*PI/1.205e-29/1.205e-29),1/3)*( 1.0e-6*exp(-1.1/(8.625e-5 * 823))))*pow((i+1),1/3)*exp(-(1.77-2* 6.25e18 *1.205e-29/(pow((3*(i+1)*1.205e-29/(4*PI)),1/3)))/( 8.625e-5 * 823))6.50.531.3s»
sqrt(x + 1) - sqrt(x)30.40.213.0s»
sqrt(x / y)14.71.111.1s»
sqrt(x+1)-sqrt(x)30.40.211.8s»
((sx * wx + sy * wy + sz * wz)- (tx * wx+ ty * wy + tz * wz)* (tx * sx + ty * sy + tz * sz))*((sx * wx + sy * wy + sz * wz) - (tx * wx+ ty * wy + tz * wz) * (tx * sx + ty * sy + tz * sz))- (1 - (tx * wx + ty * wy + tz * wz)* (tx * wx + ty * wy + tz * wz))*((sx * sx + sy * sy + sz * sz)- (tx * sx + ty * sy + tz * sz) * (tx * sx + ty * sy + tz * sz) - R * R)2.3s»
((sx * wx + sy * wy + sz * wz) - (tx * wx+ ty * wy + tz * wz) * (tx * sx + ty * sy + tz * sz)) *((sx * wx + sy * wy + sz * wz) - (tx * wx+ ty * wy + tz * wz) * (tx * sx + ty * sy + tz * sz)) - (1 - (tx * wx + ty * wy + tz * wz) * (tx * wx + ty * wy + tz * wz)) * ((sx * sx + sy * sy + sz * sz) - (tx * sx + ty * sy + tz * sz) * (tx * sx + ty * sy + tz * sz) - R * R)1.3s»
tx*tx-sqrt(ty)0.00.014.9s»
k * R * R - D * D0.10.111.8s»
a * a * d - a * a * R * R+ b * (b - 2 * a * c)9.51.325.1s»
(x-sin(x))/x^335.40.130.8s»
1/x^2*(1-(sin(x)/x)/((1-cos(x))/x^2))40.70.41.8m»
(c-a*b)*(c-a*b) - (1-a*a)*(d-b*b-R*R)6.34.645.8s»
(c - a * b)*(c - a * b)-(1 - a * a)*(d - b * b - R * R)6.34.644.4s»
(c - a * b)*(c - a * b)-4*(1 - a * a)*(d - b * b - R * R)1.71.741.9s»
cos(x+1)*3+x0.50.011.0s»
x*x+1000.00.01.1s»
(sin(x)/x)*y0.10.514.4s»
pow(x, 2)-10.00.016.3s»
pow(x, 2)002.0s»
(1/(1+2x))-((1-x)/(1+x))14.80.121.8s»
(1/(1+2x))-((1-x)/1+x)58.30.140.2s»
sqrt(x + 1) + sqrt(x)0.00.013.4s»
(pow((48*PI*PI/Vat/Vat),1/3)* 1.0e-6*exp(-EMvac/(KB*T)))*pow((i+1),1/3)*exp(-(EFvac-2*Gama*Vat/pow((3*(i+1)*Vat/(4*PI)),1/3))/(KB*T))26.01.71.9m»
(pow((48*PI*PI/Vat/Vat),1/3)*Dvac)*pow((i+1),1/3)*exp(-(EFvac-2*Gama*Vat/pow((3*(i+1)*Vat/(4*PI)),1/3))/(KB*T))23.93.257.8s»
(pow((48*PI*PI/1.205e-29/1.205e-29),1/3)*( 1.0e-6*exp(-1.1/(8.625e-5 * 823))))*pow((i+1),1/3)*exp(-(1.77-2* 6.25e18 *1.205e-29/(pow((3*(i+1)*1.205e-29/(4*PI)),1/3)))/( 8.625e-5 * 823))6.51.333.9s»
(pow((double)(48*PI*PI/1.205e-29/1.205e-29),(double)1/3)*( 1.0e-6*exp(-1.1/(8.625e-5 * 823))))*pow((double)(i+1),(double)1/3)*exp(-(1.77-2* 6.25e18 *1.205e-29/(pow((double)(3*(i+1)*1.205e-29/(4*PI)),(double)1/3)))/( 8.625e-5 * 823))3.60.32.0m»
4-2*0.1*((pow((double)(48*PI*PI/(1.205e-29)/(1.205e-29)),(double)1/3)*(1.0e-6*exp(-1.1/((8.625E-5)*823))))*pow((double)(i+1),(double)1/3)*exp(-(1.77)-2*(6.25e18)*(1.205e-29)/(pow((double)(3*(i+1)*(1.205e-29)/(4*PI)),(double)1/3))/((8.625E-5)*823))+0.0)+exp(-0.1*((pow((double)(48*PI*PI/(1.205e-29)/(1.205e-29)),(double)1/3)*(1.0e-6*exp(-1.1/((8.625E-5)*823))))*pow((double)(i+1),(double)1/3)*exp(-(1.77)-2*(6.25e18)*(1.205e-29)/(pow((double)(3*(i+1)*(1.205e-29)/(4*PI)),(double)1/3))/((8.625E-5)*823))+0.0))*(-4-2*0.1*((pow((double)(48*PI*PI/(1.205e-29)/(1.205e-29)),(double)1/3)*(1.0e-6*exp(-1.1/((8.625E-5)*823))))*pow((double)(i+1),(double)1/3)*exp(-(1.77)-2*(6.25e18)*(1.205e-29)/(pow((double)(3*(i+1)*(1.205e-29)/(4*PI)),(double)1/3))/((8.625E-5)*823))+0.0))2.5m»
-4+3*dt*(1+k)-dt*dt*(1+k)*(1+k)+exp(-dt*(1+k))*(4+dt*(1+k))20.218.630.3s»
-(df_sum * dRho + (z2p * (1.0 / (sqrt(dist)))- (z2 * (1.0 /(sqrt(dist))))* (1.0 / (sqrt(dist)))))* (1.0 / (sqrt(dist)))3.12.927.7s»
-(df_sum * dRho + z2p * (1.0 / sqrt(dist))- z2 * (1.0 / sqrt(dist))* (1.0 / sqrt(dist))) * recip8.68.534.8s»
sqrt(dis)*Dx+0.10.10.112.9s»
2*(a-b)001.3s»
3*(a-(a-pow(10,-10)))31.3022.1s»
10000*(a-(a-pow(10,-20)))32.402.8s»
(pow(a,2)-pow(b,2))/(a+b)29.6010.6s»
x+exp(-x)0.00.02.8s»
(a-b)*c0.00.08.7s»
a+b00842.0ms»
a-b00875.0ms»
(x+y)/(x-y)0.00.012.1s»
(x/y)/z0.30.216.2s»
(x/y)/z9.70.720.4s»
d - b * b - R * R0.00.016.1s»
(c-a*b)*(c-a*b) - (1-a*a)*(d-b*b-R*R)6.32.636.3s»
(c-a*b)*(c-a*b) - (1-a*a)*(d-b*b-R*R)6.32.636.4s»
(w * t + S - T * ( h + r * ( r * h + R) ) ) 6.11.424.3s»
(w * t + S * T * ( H + r * ( r * H + R) ) ) 9.99.429.5s»
(B + D) * (B - D) + a * B * (2 * A * b - a * B) + A * (A * (d - b * b) - 2 * B * c)10.41.544.0s»
4 * s - r * r0.00.03.6s»
a*a - b*b0.00.013.2s»
a*a - b*b0.00.013.1s»
-1/tan(x * PI / 360)0.40.49.1s»
2*x*y/(x-y)14.30.013.8s»
-1/tan(x * PI / 360)2.72.630.8s»
-1/tan(x * pi / 360)32.632.629.4s»
1/sqrt(x)0.308.2s»
(x-y)/y0.00.06.0s»
2 * (x*y)/(x-y)14.43.19.6s»
(1-sin(x)/x)/x^230.50.326.8s»
acos((x-1)/2)/(2*sin(acos((x-1)/2)))1.50.116.6s»
acos((x+y+z-1)/2)0.00.026.2s»
log1p(x^2)15.615.626.0s»
(1-x^2-cos(x))/x^4 - 3*(x-sin(x)-x^3/6)/x^553.529.738.2s»
(1-x^2/2-cos(x))/x^454.30.422.1s»
(x-sin(x))/x^335.40.124.0s»
(1-cos(x))/x^230.60.124.9s»
sin(x)/x0.10.111.2s»
2*(x*y)/(x-y)14.43.19.7s»
x/(2*(y+1)/(y-1))-x/222.30.122.6s»
x/(2*(y+1)/(y-1))0.00.021.0s»
(x+1)/(x-1)0.00.011.3s»
1/(x*y)0.60.29.8s»
2*x/((x-y)/y)7.80.410.7s»
2*((x*y)/(x-y))14.40.79.2s»
2*x*y/(x-y)14.40.727.1s»
x/(x-y)+y/(x-y)0.00.012.9s»
(x+y)/(x-y)0.00.09.8s»
(-b-sqrt(b*b-a*c))/a33.410.318.7s»
(-b+sqrt(b*b-a*c))/a33.510.015.1s»
1 + 10000414.0ms»
1 + 100435.0ms»
(-b+sqrt(b^2-4*c))/(2)29.316.815.6s»
(sqrt(b^2-4*1*0.01)-b)/(2*1)39.8s»
(sqrt(x+0.0001)-sqrt(x))/0.000130.80.216.8s»
(sin(x+h)-sin(x))/h37.90.523.0s»
(sin(x+0.00001)-sin(x))/0.0000131.37.419.3s»
(1-cos(x))/sin(x)29.80.013.5s»
sin(x+1) - sin(x)29.60.413.6s»
log(x+1) - log(x)30.00.112.0s»
sqrt(sqrt(x^2+1)) - sqrt(x)31.120.715.8s»
10*x^2+2*x+1.10.10.19.3s»
a^x+b*x0.00.021.1s»
a*x^2+b*x+c4.00.110.0s»
(-b+sqrt(b^2-4*a*c))/(2*a)33.510.023.5s»
(-b + sqrt(b*b-4*a*c))/(2*a)33.529.321.6s»
(-b + sqrt(b*b - 4*a*c)) / (2*a)33.59.919.5s»
(-b + sqrt(b*b - 4*a*c)) / (2*a)33.59.920.2s»
NMSE example 3.515.20.410.6s»
x*(y/z-a)3.31.09.1s»
sqrt(x)+10.00.07.5s»
sqrt(x+1) - sqrt(x)30.40.311.4s»