Time: 21.6min
Passed: 33/41
Tests: 53
Bits: 807/1003

TestStartResult ?Target ?Time
symmetry log of sum of exp29.71.017.5s»
raw-angle from scale-rotated-ellipse2.5min»
b parameter of renormalized beta distribution0.00.03.9s»
b from scale-rotated-ellipse2.5min»
ab-angle->ABCF D11.70.24.2s»
ab-angle->ABCF C12.913.09.1s»
ab-angle->ABCF B29.628.310.6s»
ab-angle->ABCF A12.912.910.4s»
a parameter of renormalized beta distribution0.10.111.7s»
a from scale-rotated-ellipse2.5min»
Trigonometry B0.30.38.3s»
Trigonometry A0.10.15.6s»
Spherical law of cosines16.83.821.9s»
Simplification of discriminant from scale-rotated-ellipse48.04.149.9s»
Quadratic roots, wide range52.41.56.2s»
Quadratic roots, narrow range28.10.37.3s»
Quadratic roots, medium range43.62.86.2s»
Quadratic roots, full range30.77.97.7s»
Midpoint on a great circle0.80.214.7s»
Logistic function from Lakshay Garg29.30.24.5s»
Hyperbolic tangent58.21.24.2s»
Hyperbolic sine29.30.01.8s»
Hyperbolic secant0.00.11.4s»
Hyperbolic arc-cosine31.30.33.4s»
Hyperbolic arc-(co)tangent58.50.04.8s»
Hyperbolic arc-(co)secant0.00.01.6s»
Example from Robby0.10.113.8s»
Example 2 from Robby0.10.112.2s»
Equirectangular approximation to distance on a great circle25.82.639.1s»
Eccentricity of an ellipse14.50.04.8s»
Distance on a great circle24.514.11.1min»
Destination given bearing on a great circle0.20.123.1s»
Cubic critical, wide range52.40.16.2s»
Cubic critical, narrow range28.46.56.1s»
Cubic critical, medium range43.62.96.1s»
Cubic critical30.77.912.8s»
Bearing on a great circle13.40.220.5s»
Asymptote C29.30.64.0s»
Asymptote B0.00.00.8s»
Asymptote A14.60.53.5s»
ABCF->ab-angle b51.934.057.4s»
ABCF->ab-angle angle29.913.314.9s»
ABCF->ab-angle a2.5min»
2-ancestry mixing, zero discriminant15.00.84.6s»
2-ancestry mixing, positive discriminant35.930.710.4s»
2-ancestry mixing, negative discriminant1.00.04.2s»
Quotient of sum of exps0.70.60.04.6s»
Quotient of products8.92.69.22.9s»
Logistic regression 20.30.30.14.8s»
Hyperbolic arcsine52.50.244.85.4s»
Harley's example2.5min»
Exp of sum of logs5.0001.0s»
(- (/ x0 (- 1 x1)) x0)0.0s»