Time: 19.7m
Passed: 1/28
Crashes: 26
Tests: 30
Bits: 31/63
Date:Tuesday, December 25th, 2018
Commit:2250d2666c763484263ee26a053c692ada7f642c on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2018359
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
x001.1s»
subtraction fraction30.1s»
sqrt times6.7s»
r*sin(b)/cos(a+b), B26.0s»
r*sin(b)/cos(a+b), A27.2s»
neg log10.2s»
jeff quadratic root 227.4s»
jeff quadratic root 127.5s»
fabs fraction 2001.6s»
fabs fraction 113.0s»
exp neg sub7.6s»
cos(2*x)/(cos^2(x)*sin^2(x))33.5s»
VandenBroeck and Keller, Equation (24)22.8s»
Numeric.SpecFunctions:logGammaL from math-functions-0.1.5.255.1s»
Numeric.SpecFunctions:logGamma from math-functions-0.1.5.21.4m»
Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.22.2m»
Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.21.0m»
NMSE problem 3.2.121.2s»
Linear.V4:$cdot from linear-1.19.1.31.1m»
Linear.Matrix:det44 from linear-1.19.1.34.0m»
Linear.Matrix:det33 from linear-1.19.1.338.7s»
Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.339.4s»
Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.17.0s»
Fuzzer 00231.331.325.0s»
Fuzzer 00115.1s»
Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.134.0s»
Bouland and Aaronson, Equation (25)47.0s»
(+ x (- (tan (+ y z)) (tan a)))49.1s»
sqrt sqr31.50010.1s»
The quadratic formula (r1)23.3s»