Time: 13.5m
Passed: 12/19
Tests: 30
Bits: 192/325

Date:Monday, February 3rd, 2020
Commit:d79c6e23 on overflow-detection-both-ends
Hostname:warfa with Racket 7.5
Seed:2020034
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics
TestStartResult ?Target ?Time
x00627.0ms»
subtraction fraction0.00.09.1s»
sqrt times0.50.42.4s»
r*sin(b)/cos(a+b), B15.30.37.5s»
r*sin(b)/cos(a+b), A15.30.36.3s»
neg log0.00.02.0s»
jeff quadratic root 221.07.86.7s»
jeff quadratic root 120.37.96.2s»
fabs fraction 200481.0ms»
fabs fraction 11.62.03.6s»
exp neg sub0.00.01.5s»
cos(2*x)/(cos^2(x)*sin^2(x))27.82.58.6s»
VandenBroeck and Keller, Equation (24)0.20.25.2s»
Numeric.SpecFunctions:logGammaL from math-functions-0.1.5.20.30.314.0s»
Numeric.SpecFunctions:logGamma from math-functions-0.1.5.229.528.89.8s»
Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.23.83.216.9s»
Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.21.80.315.2s»
NMSE problem 3.2.133.911.25.5s»
Linear.V4:$cdot from linear-1.19.1.30.00.05.1s»
Linear.Matrix:det44 from linear-1.19.1.310.0m»
Linear.Matrix:det33 from linear-1.19.1.312.512.510.1s»
Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.39.55.45.8s»
Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.114.62.92.7s»
Fuzzer 00231.231.27.4s»
Fuzzer 0010.30.34.0s»
Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.15.44.817.3s»
Bouland and Aaronson, Equation (25)0.20.08.6s»
(+ x (- (tan (+ y z)) (tan a)))13.40.214.7s»
sqrt sqr32.40.002.8s»
The quadratic formula (r1)34.711.021.98.0s»