Time: 38.1m
Passed: 22/31
Tests: 38
Bits: 479/1017

Date:Wednesday, September 12th, 2018
Commit:668b50ff58f0cfa35ab92e96065b7aac0bf57a5d on biginterval-sampler
Hostname:warfa
Points:256
Fuel:4
Seed:2018255
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.21.4m»
a parameter of renormalized beta distribution0.20.251.6s»
Trigonometry B0.30.432.5s»
Trigonometry A0.10.227.0s»
Spherical law of cosines16.53.73.0m»
Quadratic roots, wide range52.60.148.5s»
Quadratic roots, narrow range28.60.348.8s»
Quadratic roots, medium range44.10.228.1s»
Quadratic roots, full range55.747.129.3s»
Midpoint on a great circle0.80.337.4s»
Logistic function from Lakshay Garg41.439.621.4s»
Hyperbolic tangent60.153.038.1s»
Hyperbolic sine60.053.027.3s»
Hyperbolic secant53.153.024.4s»
Hyperbolic arc-cosine30.90.256.4s»
Hyperbolic arc-(co)tangent17.017.034.4s»
Hyperbolic arc-(co)secant63.063.042.4s»
Equirectangular approximation to distance on a great circle37.13.948.4s»
Eccentricity of an ellipse14.00.011.1s»
Distance on a great circle23.623.640.3s»
Destination given bearing on a great circle0.20.21.6m»
Cubic critical, wide range52.50.128.5s»
Cubic critical, narrow range28.80.456.4s»
Cubic critical, medium range43.90.254.9s»
Cubic critical55.546.327.1s»
Bearing on a great circle13.30.31.2m»
Asymptote C10.0m»
Asymptote B21.121.120.8s»
Asymptote A31.130.71.3m»
2-ancestry mixing, zero discriminant15.90.916.9s»
2-ancestry mixing, positive discriminant35.430.81.3m»
2-ancestry mixing, negative discriminant1.01.020.1s»
Quotient of sum of exps5.0ms»
Quotient of products56.746.458.310.2s»
Logistic regression 25.0ms»
Hyperbolic arcsine52.40.144.723.2s»
Harley's example4.30.72.33.2m»
Exp of sum of logs5.7004.2s»