Time: 1.0hr
Passed: 20/30
Tests: 30
Bits: 221/318
Date:Wednesday, June 27th, 2018
Commit:1beee99a87e2abb5e96cb75821c5f54656f3da7c on regime-testing
Hostname:warfa
Points:256
Fuel:4
Seed:2018178
Flags:
rules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchessetup:simplifyfn:cbrtgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:taylorreduce:simplifyreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default
TestStartResult ?Target ?∞ ↔ ℝTime
x0002.0s»
subtraction fraction0.00.00.01.3m»
sqrt times0.50.50.052.5s»
r*sin(b)/cos(a+b), B15.50.40.01.7m»
r*sin(b)/cos(a+b), A15.50.40.01.3m»
neg log0.00.00.010.1s»
jeff quadratic root 219.56.35.31.9m»
jeff quadratic root 119.06.55.31.8m»
fabs fraction 20002.7s»
fabs fraction 11.60.10.033.2s»
exp neg sub0.00.00.04.8s»
cos(2*x)/(cos^2(x)*sin^2(x))27.12.50.01.3m»
VandenBroeck and Keller, Equation (24)0.20.30.053.3s»
Numeric.SpecFunctions:logGammaL from math-functions-0.1.5.20.30.30.02.6m»
Numeric.SpecFunctions:logGamma from math-functions-0.1.5.228.89.89.24.3m»
Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.23.72.90.45.0m»
Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.22.02.30.04.4m»
NMSE problem 3.2.133.56.75.22.0m»
Linear.V4:$cdot from linear-1.19.1.30.00.00.01.6m»
Linear.Matrix:det44 from linear-1.19.1.310.0m»
Linear.Matrix:det33 from linear-1.19.1.311.17.94.62.9m»
Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.310.15.72.23.6m»
Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.114.10.80.018.4s»
Fuzzer 00231.031.031.027.5s»
Fuzzer 0010.30.30.038.2s»
Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.15.21.80.03.2m»
Bouland and Aaronson, Equation (25)0.20.20.03.7m»
(+ x (- (tan (+ y z)) (tan a)))13.40.30.12.4m»
sqrt sqr32.5003.7s»
The quadratic formula (r1)33.19.65.22.5m»