Time: 20.3m
Passed: 1/28
Crashes: 26
Tests: 30
Bits: 33/63
Date:Sunday, December 23rd, 2018
Commit:b5cded32fbaf81c00d89d2186f2e82a9ffe4c47c on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2018357
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
x001.5s»
subtraction fraction15.8s»
sqrt times7.0s»
r*sin(b)/cos(a+b), B32.1s»
r*sin(b)/cos(a+b), A30.2s»
neg log9.2s»
jeff quadratic root 224.6s»
jeff quadratic root 125.5s»
fabs fraction 2001.5s»
fabs fraction 134.7s»
exp neg sub10.6s»
cos(2*x)/(cos^2(x)*sin^2(x))32.6s»
VandenBroeck and Keller, Equation (24)24.6s»
Numeric.SpecFunctions:logGammaL from math-functions-0.1.5.247.1s»
Numeric.SpecFunctions:logGamma from math-functions-0.1.5.21.1m»
Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.228.1s»
Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.21.1m»
NMSE problem 3.2.134.1s»
Linear.V4:$cdot from linear-1.19.1.321.5s»
Linear.Matrix:det44 from linear-1.19.1.34.2m»
Linear.Matrix:det33 from linear-1.19.1.346.7s»
Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.31.1m»
Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.16.5s»
Fuzzer 00230.830.825.3s»
Fuzzer 0017.8s»
Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.11.2m»
Bouland and Aaronson, Equation (25)1.1m»
(+ x (- (tan (+ y z)) (tan a)))2.0m»
sqrt sqr32.60010.7s»
The quadratic formula (r1)37.2s»