Time: 19.2m
Passed: 13/31
Crashes: 17
Tests: 38
Bits: 344/412
Date:Tuesday, September 11th, 2018
Commit:82b63bcb3e9a021b82313ab002b9c8c555279f14 on biginterval-sampler
Hostname:warfa
Points:256
Fuel:4
Seed:2018254
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
b parameter of renormalized beta distribution0.10.11.1m»
a parameter of renormalized beta distribution0.20.238.1s»
Trigonometry B0.30.343.0s»
Trigonometry A0.10.118.5s»
Spherical law of cosines16.93.91.5m»
Quadratic roots, wide range52.60.11.9m»
Quadratic roots, narrow range28.50.42.2m»
Quadratic roots, medium range44.00.226.2s»
Quadratic roots, full range4.0ms»
Midpoint on a great circle0.90.237.8s»
Logistic function from Lakshay Garg3.0ms»
Hyperbolic tangent1.0ms»
Hyperbolic sine1.0ms»
Hyperbolic secant1.0ms»
Hyperbolic arc-cosine1.0ms»
Hyperbolic arc-(co)tangent1.0ms»
Hyperbolic arc-(co)secant1.0ms»
Equirectangular approximation to distance on a great circle37.83.928.4s»
Eccentricity of an ellipse13.40.015.0s»
Distance on a great circle24.424.438.9s»
Destination given bearing on a great circle0.20.238.1s»
Cubic critical, wide range52.80.156.7s»
Cubic critical, narrow range28.40.41.0m»
Cubic critical, medium range43.70.359.8s»
Cubic critical5.0ms»
Bearing on a great circle13.30.241.7s»
Asymptote C2.0ms»
Asymptote B2.0ms»
Asymptote A2.0ms»
2-ancestry mixing, zero discriminant14.90.817.7s»
2-ancestry mixing, positive discriminant35.031.21.1m»
2-ancestry mixing, negative discriminant1.00.113.7s»
Quotient of sum of exps3.0ms»
Quotient of products6.0ms»
Logistic regression 23.0ms»
Hyperbolic arcsine2.0ms»
Harley's example3.80.72.12.5m»
Exp of sum of logs6.0ms»