Time: 19.0min
Passed: 31/40
Tests: 52
Bits: 756/1158

TestStartResult ?Target ?Time
raw-angle from scale-rotated-ellipse55.055.01.7min»
b parameter of renormalized beta distribution0.10.15.6s»
b from scale-rotated-ellipse2.5min»
ab-angle->ABCF D16.20.34.4s»
ab-angle->ABCF C20.520.618.1s»
ab-angle->ABCF B30.931.215.4s»
ab-angle->ABCF A20.620.616.9s»
a parameter of renormalized beta distribution0.20.24.2s»
a from scale-rotated-ellipse2.5min»
Trigonometry B0.30.313.5s»
Trigonometry A0.10.16.3s»
Spherical law of cosines16.63.822.9s»
Simplification of discriminant from scale-rotated-ellipse41.16.01.4min»
Quadratic roots, wide range52.50.18.1s»
Quadratic roots, narrow range28.80.39.8s»
Quadratic roots, medium range44.00.28.2s»
Quadratic roots, full range33.56.59.5s»
Midpoint on a great circle0.90.213.5s»
Logistic function from Lakshay Garg29.50.24.4s»
Hyperbolic tangent58.10.03.9s»
Hyperbolic sine58.00.04.0s»
Hyperbolic secant0.00.02.3s»
Hyperbolic arc-cosine32.10.23.9s»
Hyperbolic arc-(co)tangent58.40.26.9s»
Hyperbolic arc-(co)secant0.10.14.2s»
Example from Robby0.10.114.3s»
Example 2 from Robby0.10.110.7s»
Equirectangular approximation to distance on a great circle38.828.525.2s»
Eccentricity of an ellipse14.00.03.4s»
Distance on a great circle24.124.137.1s»
Destination given bearing on a great circle0.20.224.2s»
Cubic critical, wide range52.56.16.3s»
Cubic critical, narrow range28.914.39.1s»
Cubic critical, medium range44.110.27.4s»
Cubic critical34.06.49.1s»
Bearing on a great circle12.80.220.7s»
Asymptote C29.40.06.0s»
Asymptote B0.00.01.6s»
Asymptote A14.40.44.0s»
ABCF->ab-angle b52.850.528.7s»
ABCF->ab-angle angle29.424.79.6s»
ABCF->ab-angle a52.348.51.1min»
2-ancestry mixing, zero discriminant15.20.85.2s»
2-ancestry mixing, positive discriminant36.332.112.3s»
2-ancestry mixing, negative discriminant1.00.04.2s»
Quotient of sum of exps0.70.70.02.9s»
Quotient of products11.33.111.04.5s»
Logistic regression 20.50.50.13.6s»
Hyperbolic arcsine52.90.345.16.5s»
Harley's example2.5min»
Exp of sum of logs5.7001.4s»
(- (/ x0 (- 1 x1)) x0)8.43.30.53.2s»