Time: 25.0min
Passed: 34/41
Tests: 53
Bits: 920/1163

TestStartResult ?Target ?Time
symmetry log of sum of exp29.31.016.9s»
raw-angle from scale-rotated-ellipse2.5min»
b parameter of renormalized beta distribution0.10.17.3s»
b from scale-rotated-ellipse2.5min»
ab-angle->ABCF D16.20.34.7s»
ab-angle->ABCF C20.120.419.3s»
ab-angle->ABCF B31.422.148.5s»
ab-angle->ABCF A20.020.117.2s»
a parameter of renormalized beta distribution0.20.26.3s»
a from scale-rotated-ellipse63.441.51.4min»
Trigonometry B0.30.38.6s»
Trigonometry A0.10.17.8s»
Spherical law of cosines16.43.655.2s»
Simplification of discriminant from scale-rotated-ellipse41.76.11.5min»
Quadratic roots, wide range52.81.414.1s»
Quadratic roots, narrow range28.35.116.1s»
Quadratic roots, medium range43.52.914.3s»
Quadratic roots, full range34.512.020.7s»
Midpoint on a great circle0.80.223.7s»
Logistic function from Lakshay Garg29.10.25.3s»
Hyperbolic tangent58.20.04.1s»
Hyperbolic sine58.10.04.9s»
Hyperbolic secant0.00.22.9s»
Hyperbolic arc-cosine31.80.33.2s»
Hyperbolic arc-(co)tangent58.60.08.2s»
Hyperbolic arc-(co)secant0.00.04.0s»
Example from Robby0.10.116.2s»
Example 2 from Robby0.10.115.2s»
Equirectangular approximation to distance on a great circle38.80.224.8s»
Eccentricity of an ellipse14.40.04.9s»
Distance on a great circle2.5min»
Destination given bearing on a great circle0.20.232.7s»
Cubic critical, wide range52.81.412.0s»
Cubic critical, narrow range28.55.816.4s»
Cubic critical, medium range43.62.917.1s»
Cubic critical34.610.723.7s»
Bearing on a great circle12.60.255.5s»
Asymptote C29.50.17.1s»
Asymptote B0.00.05.0s»
Asymptote A14.10.14.1s»
ABCF->ab-angle b52.239.139.0s»
ABCF->ab-angle angle30.07.624.3s»
ABCF->ab-angle a52.127.31.1min»
2-ancestry mixing, zero discriminant15.60.95.1s»
2-ancestry mixing, positive discriminant36.22.711.7s»
2-ancestry mixing, negative discriminant1.01.46.6s»
Quotient of sum of exps0.81.00.04.9s»
Quotient of products11.61.810.95.3s»
Logistic regression 20.50.40.07.5s»
Hyperbolic arcsine53.00.445.56.6s»
Harley's example2.5min»
Exp of sum of logs5.7001.4s»
(- (/ x0 (- 1 x1)) x0)0.0s»