Time: 30.3m
Passed: 25/28
Tests: 38
Bits: 659/768

Date:Saturday, September 15th, 2018
Commit:51b2eca63aea6aed43358bbaa900e7f9117c5a7b on biginterval-sampler
Hostname:warfa
Points:256
Fuel:4
Seed:2018258
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
b parameter of renormalized beta distribution0.10.11.2m»
a parameter of renormalized beta distribution0.20.222.5s»
Trigonometry B0.30.422.4s»
Trigonometry A0.10.125.5s»
Spherical law of cosines16.63.71.2m»
Quadratic roots, wide range52.70.11.0m»
Quadratic roots, narrow range28.40.438.1s»
Quadratic roots, medium range44.10.355.5s»
Quadratic roots, full range33.46.742.0s»
Midpoint on a great circle0.80.32.3m»
Logistic function from Lakshay Garg29.50.014.3s»
Hyperbolic tangent4.0ms»
Hyperbolic sine58.00.71.4m»
Hyperbolic secant0.00.05.0s»
Hyperbolic arc-cosine30.80.315.1s»
Hyperbolic arc-(co)tangent58.60.230.1s»
Hyperbolic arc-(co)secant0.00.014.7s»
Equirectangular approximation to distance on a great circle36.832.75.3m»
Eccentricity of an ellipse13.60.012.2s»
Distance on a great circle24.113.835.5s»
Destination given bearing on a great circle0.20.21.0m»
Cubic critical, wide range52.40.145.7s»
Cubic critical, narrow range28.40.330.9s»
Cubic critical, medium range43.40.238.8s»
Cubic critical34.06.941.6s»
Bearing on a great circle13.20.246.9s»
Asymptote C29.20.13.2m»
Asymptote B0.00.011.8s»
Asymptote A14.70.426.7s»
2-ancestry mixing, zero discriminant14.60.915.1s»
2-ancestry mixing, positive discriminant35.231.348.0s»
2-ancestry mixing, negative discriminant1.00.015.9s»
Quotient of sum of exps5.0ms»
Quotient of products11.27.110.87.5s»
Logistic regression 28.0ms»
Hyperbolic arcsine52.30.244.625.5s»
Harley's example4.01.02.12.1m»
Exp of sum of logs5.7004.6s»