Time: 3.8m
Passed: 12/19
Tests: 30
Bits: 190/349

TestStartResult ?Target ?Time
x00609.0ms»
subtraction fraction0.00.03.5s»
sqrt times0.50.52.2s»
r*sin(b)/cos(a+b), B14.80.37.3s»
r*sin(b)/cos(a+b), A14.80.36.3s»
neg log0.00.01.4s»
jeff quadratic root 219.69.15.6s»
jeff quadratic root 119.48.25.0s»
fabs fraction 200444.0ms»
fabs fraction 11.60.73.0s»
exp neg sub0.00.01.5s»
cos(2*x)/(cos^2(x)*sin^2(x))28.13.07.8s»
VandenBroeck and Keller, Equation (24)0.20.24.6s»
Numeric.SpecFunctions:logGammaL from math-functions-0.1.5.20.30.312.1s»
Numeric.SpecFunctions:logGamma from math-functions-0.1.5.229.628.87.8s»
Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.24.02.013.9s»
Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.21.81.421.2s»
NMSE problem 3.2.133.78.617.6s»
Linear.V4:$cdot from linear-1.19.1.30.00.05.5s»
Linear.Matrix:det44 from linear-1.19.1.327.129.743.5s»
Linear.Matrix:det33 from linear-1.19.1.312.012.48.8s»
Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.39.56.06.7s»
Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.114.82.14.3s»
Fuzzer 00231.431.47.3s»
Fuzzer 0010.20.23.2s»
Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.15.84.96.2s»
Bouland and Aaronson, Equation (25)0.20.26.3s»
(+ x (- (tan (+ y z)) (tan a)))12.60.28.5s»
sqrt sqr32.9001.1s»
The quadratic formula (r1)34.28.720.95.3s»