Time: 20.8min
Passed: 33/41
Tests: 53
Bits: 833/1125

TestStartResult ?Target ?Time
symmetry log of sum of exp29.51.120.3s»
raw-angle from scale-rotated-ellipse2.5min»
b parameter of renormalized beta distribution0.10.14.9s»
b from scale-rotated-ellipse2.5min»
ab-angle->ABCF D16.40.35.3s»
ab-angle->ABCF C20.420.516.4s»
ab-angle->ABCF B31.331.214.3s»
ab-angle->ABCF A20.220.220.3s»
a parameter of renormalized beta distribution0.20.25.1s»
a from scale-rotated-ellipse2.5min»
Trigonometry B0.30.39.1s»
Trigonometry A0.10.15.2s»
Spherical law of cosines16.84.121.5s»
Simplification of discriminant from scale-rotated-ellipse40.925.21.3min»
Quadratic roots, wide range52.31.58.2s»
Quadratic roots, narrow range28.16.08.4s»
Quadratic roots, medium range43.92.97.6s»
Quadratic roots, full range34.410.412.5s»
Midpoint on a great circle0.80.218.2s»
Logistic function from Lakshay Garg29.40.32.9s»
Hyperbolic tangent58.32.14.4s»
Hyperbolic sine58.30.63.2s»
Hyperbolic secant0.00.01.1s»
Hyperbolic arc-cosine32.40.32.8s»
Hyperbolic arc-(co)tangent58.70.06.5s»
Hyperbolic arc-(co)secant0.10.12.7s»
Example from Robby0.10.116.3s»
Example 2 from Robby0.10.115.3s»
Equirectangular approximation to distance on a great circle39.33.922.2s»
Eccentricity of an ellipse14.70.04.8s»
Distance on a great circle24.213.559.9s»
Destination given bearing on a great circle0.20.124.8s»
Cubic critical, wide range52.41.57.6s»
Cubic critical, narrow range28.45.98.8s»
Cubic critical, medium range44.02.97.9s»
Cubic critical34.310.014.5s»
Bearing on a great circle12.80.226.6s»
Asymptote C29.80.04.9s»
Asymptote B0.00.01.3s»
Asymptote A14.50.13.0s»
ABCF->ab-angle b52.435.740.6s»
ABCF->ab-angle angle29.510.79.9s»
ABCF->ab-angle a52.742.152.2s»
2-ancestry mixing, zero discriminant15.30.84.8s»
2-ancestry mixing, positive discriminant35.931.617.1s»
2-ancestry mixing, negative discriminant1.01.27.2s»
Quotient of sum of exps0.70.50.04.3s»
Quotient of products11.32.411.44.1s»
Logistic regression 20.50.40.15.4s»
Hyperbolic arcsine52.90.345.06.9s»
Harley's example2.5min»
Exp of sum of logs5.7001.2s»
(- (/ x0 (- 1 x1)) x0)0.0s»