Time: 31.0min
Passed: 30/40
Tests: 52
Bits: 732/1121

TestStartResult ?Target ?Time
raw-angle from scale-rotated-ellipse55.455.02.4min»
b parameter of renormalized beta distribution0.10.113.3s»
b from scale-rotated-ellipse2.5min»
ab-angle->ABCF D16.10.37.0s»
ab-angle->ABCF C20.320.432.7s»
ab-angle->ABCF B31.031.036.2s»
ab-angle->ABCF A21.021.036.3s»
a parameter of renormalized beta distribution0.20.211.1s»
a from scale-rotated-ellipse2.5min»
Trigonometry B0.30.315.0s»
Trigonometry A0.10.110.7s»
Spherical law of cosines17.13.752.9s»
Simplification of discriminant from scale-rotated-ellipse41.638.52.1min»
Quadratic roots, wide range52.60.423.4s»
Quadratic roots, narrow range28.25.223.1s»
Quadratic roots, medium range43.43.023.3s»
Quadratic roots, full range34.410.437.5s»
Midpoint on a great circle0.90.21.1min»
Logistic function from Lakshay Garg29.10.64.3s»
Hyperbolic tangent58.30.05.3s»
Hyperbolic sine58.20.04.1s»
Hyperbolic secant0.00.02.9s»
Hyperbolic arc-cosine31.40.16.0s»
Hyperbolic arc-(co)tangent58.50.27.9s»
Hyperbolic arc-(co)secant0.00.05.4s»
Example from Robby0.10.125.6s»
Example 2 from Robby0.10.117.2s»
Equirectangular approximation to distance on a great circle2.5min»
Eccentricity of an ellipse14.60.06.5s»
Distance on a great circle24.524.51.1min»
Destination given bearing on a great circle0.20.21.1min»
Cubic critical, wide range52.71.427.7s»
Cubic critical, narrow range28.45.326.0s»
Cubic critical, medium range43.43.032.9s»
Cubic critical35.010.221.1s»
Bearing on a great circle13.20.252.2s»
Asymptote C29.10.110.5s»
Asymptote B0.00.03.6s»
Asymptote A13.70.17.1s»
ABCF->ab-angle b52.445.42.1min»
ABCF->ab-angle angle29.722.123.9s»
ABCF->ab-angle a53.044.01.6min»
2-ancestry mixing, zero discriminant15.60.810.7s»
2-ancestry mixing, positive discriminant36.232.426.3s»
2-ancestry mixing, negative discriminant1.00.011.2s»
Quotient of sum of exps0.70.60.09.9s»
Quotient of products11.12.411.48.9s»
Logistic regression 20.50.50.15.6s»
Hyperbolic arcsine53.20.145.111.1s»
Harley's example27.0s»
Exp of sum of logs5.7001.8s»
(- (/ x0 (- 1 x1)) x0)8.44.00.53.3s»