Time: 29.7m
Passed: 27/28
Tests: 38
Bits: 737/828

Date:Sunday, April 29th, 2018
Commit:fb9522aa62c5a9b75633d8b1c38c371e37b5912c on develop
Hostname:warfa
Points:256
Fuel:4
Seed:#(1070258749 1877548225 2229079127 1588002776 3179087814 1886870650)
Flags:
rules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicsetup:simplifygenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:taylorreduce:simplifyreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:double
+o rules:numerics
TestStartResult ?Target ?∞ ↔ ℝTime
b parameter of renormalized beta distribution0.10.122.2s»
a parameter of renormalized beta distribution0.20.221.4s»
Trigonometry B0.30.427.5s»
Trigonometry A0.10.114.6s»
Spherical law of cosines16.64.02.1m»
Quadratic roots, wide range52.60.157.5s»
Quadratic roots, narrow range28.40.31.0m»
Quadratic roots, medium range43.50.252.3s»
Quadratic roots, full range34.08.52.2m»
Midpoint on a great circle0.91.032.7s»
Logistic function from Lakshay Garg29.50.127.3s»
Hyperbolic tangent58.00.01.4m»
Hyperbolic sine58.00.732.7s»
Hyperbolic secant0.00.011.8s»
Hyperbolic arc-cosine30.90.123.7s»
Hyperbolic arc-(co)tangent58.60.224.1s»
Hyperbolic arc-(co)secant0.00.018.5s»
Equirectangular approximation to distance on a great circle37.23.942.3s»
Eccentricity of an ellipse14.00.014.5s»
Distance on a great circle23.923.91.8m»
Destination given bearing on a great circle0.20.251.6s»
Cubic critical, wide range52.40.41.2m»
Cubic critical, narrow range28.80.41.0m»
Cubic critical, medium range44.00.354.0s»
Cubic critical33.26.81.4m»
Bearing on a great circle13.10.352.1s»
Asymptote C28.70.529.1s»
Asymptote B0.00.023.9s»
Asymptote A14.30.123.9s»
2-ancestry mixing, zero discriminant15.20.822.4s»
2-ancestry mixing, positive discriminant35.331.71.6m»
2-ancestry mixing, negative discriminant1.00.127.6s»
Quotient of sum of exps0.70.50.09.1s»
Quotient of products11.22.310.521.1s»
Logistic regression 20.40.30.028.0s»
Hyperbolic arcsine52.70.144.828.9s»
Harley's example4.01.72.12.6m»
Exp of sum of logs5.7009.7s»