Time: 16.4m
Passed: 14/20
Tests: 30
Bits: 195/351

Date:Tuesday, February 11th, 2020
Commit:cb84e38c on simplify-regraph-rebuilding
Hostname:warfa with Racket 7.5
Seed:2020042
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
x00521.0ms»
subtraction fraction0.00.010.2s»
sqrt times0.50.44.3s»
r*sin(b)/cos(a+b), B15.30.413.6s»
r*sin(b)/cos(a+b), A15.30.413.5s»
neg log0.00.04.7s»
jeff quadratic root 220.08.09.0s»
jeff quadratic root 120.28.711.5s»
fabs fraction 200370.0ms»
fabs fraction 11.50.310.4s»
exp neg sub0.00.013.1s»
cos(2*x)/(cos^2(x)*sin^2(x))28.25.614.1s»
VandenBroeck and Keller, Equation (24)0.20.212.3s»
Numeric.SpecFunctions:logGammaL from math-functions-0.1.5.20.30.218.6s»
Numeric.SpecFunctions:logGamma from math-functions-0.1.5.229.428.617.6s»
Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.24.15.613.4s»
Numeric.SpecFunctions:incompleteBetaWorker from math-functions-0.1.5.21.92.119.2s»
NMSE problem 3.2.134.46.811.5s»
Linear.V4:$cdot from linear-1.19.1.310.0m»
Linear.Matrix:det44 from linear-1.19.1.327.230.144.0s»
Linear.Matrix:det33 from linear-1.19.1.311.99.214.6s»
Hakyll.Web.Tags:renderTagCloud from hakyll-4.7.2.39.56.418.7s»
Graphics.Rendering.Chart.Backend.Diagrams:calcFontMetrics from Chart-diagrams-1.5.115.41.014.7s»
Fuzzer 00230.730.713.3s»
Fuzzer 0010.20.213.8s»
Diagrams.Solve.Polynomial:cubForm from diagrams-solve-0.15.60.823.3s»
Bouland and Aaronson, Equation (25)0.20.214.2s»
(+ x (- (tan (+ y z)) (tan a)))13.10.316.5s»
sqrt sqr32.1003.3s»
The quadratic formula (r1)34.210.421.19.4s»