Time: 12.8m
Passed: 13/19
Tests: 30
Bits: 197/323

TestStartResult ?Target ?Time
x00517.0ms»
subtraction fraction0.00.03.7s»
sqrt times0.50.53.6s»
r*sin(b)/cos(a+b), B14.60.37.2s»
r*sin(b)/cos(a+b), A14.60.45.9s»
neg log0.00.42.2s»
jeff quadratic root 219.68.75.5s»
jeff quadratic root 120.28.75.8s»
fabs fraction 200363.0ms»
fabs fraction 11.40.73.0s»
exp neg sub0.00.04.2s»
cos(2*x)/(cos^2(x)*sin^2(x))28.82.97.9s»
VandenBroeck and Keller, Equation (24)0.20.24.4s»
Numeric.SpecFunctions:logGammaL from math-functions-0.1.5.20.30.311.4s»
Numeric.SpecFunctions:logGamma from math-functions-0.1.5.229.129.27.6s»
Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.24.02.87.0s»
Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.21.91.211.9s»
NMSE problem 3.2.134.410.44.6s»
Linear.V4:$cdot from linear-1.19.1.30.00.02.5s»
Linear.Matrix:det44 from linear-1.19.1.310.0m»
Linear.Matrix:det33 from linear-1.19.1.312.012.79.0s»
Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.39.65.25.7s»
Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.115.02.14.5s»
Fuzzer 00230.430.46.4s»
Fuzzer 0010.20.23.7s»
Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.15.31.812.2s»
Bouland and Aaronson, Equation (25)0.20.26.5s»
(+ x (- (tan (+ y z)) (tan a)))13.90.212.6s»
sqrt sqr32.7001.2s»
The quadratic formula (r1)33.96.920.76.3s»