Time: 2.5m
Passed: 4/26
Crashes: 19
Tests: 30
Bits: 96/168
Date:Friday, February 14th, 2020
Commit:01cece3e on simplify-regraph-rebuilding-2
Hostname:warfa with Racket 7.5
Seed:2020045
Parameters:256 points for 4 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
x00517.0ms»
subtraction fraction639.0ms»
sqrt times418.0ms»
r*sin(b)/cos(a+b), B743.0ms»
r*sin(b)/cos(a+b), A449.0ms»
neg log207.0ms»
jeff quadratic root 2848.0ms»
jeff quadratic root 1858.0ms»
fabs fraction 200354.0ms»
fabs fraction 1305.0ms»
exp neg sub1.4s»
cos(2*x)/(cos^2(x)*sin^2(x))28.72.611.2s»
VandenBroeck and Keller, Equation (24)0.20.28.2s»
Numeric.SpecFunctions:logGammaL from math-functions-0.1.5.20.30.317.9s»
Numeric.SpecFunctions:logGamma from math-functions-0.1.5.21.7s»
Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.25.5s»
Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.22.12.114.6s»
NMSE problem 3.2.1851.0ms»
Linear.V4:$cdot from linear-1.19.1.32.5s»
Linear.Matrix:det44 from linear-1.19.1.327.028.840.9s»
Linear.Matrix:det33 from linear-1.19.1.3354.0ms»
Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.3226.0ms»
Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.1231.0ms»
Fuzzer 00230.930.910.9s»
Fuzzer 0012.3s»
Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.1851.0ms»
Bouland and Aaronson, Equation (25)1.4s»
(+ x (- (tan (+ y z)) (tan a)))13.10.316.4s»
sqrt sqr32.1002.7s»
The quadratic formula (r1)33.86.820.47.2s»