Time: 27.0min
Passed: 33/41
Tests: 53
Bits: 900/1100

TestStartResult ?Target ?Time
symmetry log of sum of exp29.61.119.7s»
raw-angle from scale-rotated-ellipse2.5min»
b parameter of renormalized beta distribution0.10.55.7s»
b from scale-rotated-ellipse2.5min»
ab-angle->ABCF D15.90.34.9s»
ab-angle->ABCF C20.220.219.5s»
ab-angle->ABCF B31.522.255.0s»
ab-angle->ABCF A19.719.817.6s»
a parameter of renormalized beta distribution0.20.45.9s»
a from scale-rotated-ellipse2.5min»
Trigonometry B0.30.37.7s»
Trigonometry A0.10.17.5s»
Spherical law of cosines16.73.954.6s»
Simplification of discriminant from scale-rotated-ellipse40.75.81.3min»
Quadratic roots, wide range52.21.615.5s»
Quadratic roots, narrow range28.35.512.7s»
Quadratic roots, medium range43.82.910.8s»
Quadratic roots, full range34.410.641.2s»
Midpoint on a great circle1.00.225.4s»
Logistic function from Lakshay Garg29.50.47.0s»
Hyperbolic tangent58.20.05.0s»
Hyperbolic sine58.10.05.1s»
Hyperbolic secant0.00.01.7s»
Hyperbolic arc-cosine32.10.33.8s»
Hyperbolic arc-(co)tangent58.60.07.0s»
Hyperbolic arc-(co)secant0.00.04.9s»
Example from Robby0.10.119.4s»
Example 2 from Robby0.10.116.0s»
Equirectangular approximation to distance on a great circle39.30.222.1s»
Eccentricity of an ellipse14.50.06.0s»
Distance on a great circle2.5min»
Destination given bearing on a great circle0.10.131.1s»
Cubic critical, wide range52.21.613.0s»
Cubic critical, narrow range28.45.316.9s»
Cubic critical, medium range43.92.916.8s»
Cubic critical34.410.221.1s»
Bearing on a great circle13.30.21.4min»
Asymptote C29.60.06.6s»
Asymptote B0.00.01.7s»
Asymptote A14.40.14.0s»
ABCF->ab-angle b52.435.750.7s»
ABCF->ab-angle angle30.07.328.6s»
ABCF->ab-angle a52.430.81.0min»
2-ancestry mixing, zero discriminant16.00.85.1s»
2-ancestry mixing, positive discriminant35.22.89.7s»
2-ancestry mixing, negative discriminant1.01.05.4s»
Quotient of sum of exps0.70.90.04.1s»
Quotient of products11.42.811.44.0s»
Logistic regression 20.50.60.011.1s»
Hyperbolic arcsine53.20.045.79.2s»
Harley's example2.5min»
Exp of sum of logs5.6001.6s»
(- (/ x0 (- 1 x1)) x0)0.0s»