Herbie results

Time: 10.6hr

Passed: 27/29

Tests: 39

Bits: 732/841

Test	Start	Result ?	Target ?	Time
b parameter of renormalized beta distribution	0.1	0.1		22.5min	»
a parameter of renormalized beta distribution	0.2	0.2		19.9min	»
Trigonometry B	0.3	0.4		15.9min	»
Trigonometry A	0.1	0.3		4.6min	»
Spherical law of cosines	16.6	3.9		6.5min	»
Quadratic roots, wide range	52.6	0.1		49.7min	»
Quadratic roots, narrow range	28.5	0.3		36.8min	»
Quadratic roots, medium range	43.6	0.2		49.8min	»
Quadratic roots, full range	34.1	6.6		8.2min	»
Midpoint on a great circle	0.7	0.5		3.9min	»
Logistic function from Lakshay Garg	29.4	0.4		21.8min	»
Hyperbolic tangent	58.2	0.0		18.7min	»
Hyperbolic sine	58.1	0.6		10.1min	»
Hyperbolic secant	0.0	0.0		6.0min	»
Hyperbolic arc-cosine	32.6	0.0		2.3min	»
Hyperbolic arc-(co)tangent	58.6	0.6		4.7min	»
Hyperbolic arc-(co)secant	0.0	0.0		19.0s	»
Equirectangular approximation to distance on a great circle	38.7	28.8		29.1min	»
Eccentricity of an ellipse	14.8	0.0		12.0min	»
Distance on a great circle	24.3	13.6		3.6min	»
Destination given bearing on a great circle	0.2	0.2		37.9min	»
Cubic critical, wide range	52.6	0.2		16.4min	»
Cubic critical, narrow range	28.7	0.4		54.7min	»
Cubic critical, medium range	43.7	0.2		8.5min	»
Cubic critical	34.1	6.7		6.8min	»
Bearing on a great circle	12.9	0.4		6.6min	»
Asymptote C	29.3	0.1		13.8min	»
Asymptote B	0.0	0.0		14.7min	»
Asymptote A	14.4	0.1		10.1min	»
2-ancestry mixing, zero discriminant	16.0	0.8		2.9min	»
2-ancestry mixing, positive discriminant	36.3	32.3		21.7min	»
2-ancestry mixing, negative discriminant	1.0	0.0		5.1min	»
Quotient of sum of exps	0.7	0.6	0.0	3.4min	»
Quotient of products	11.6	5.4	11.4	27.2min	»
Logistic regression 2	0.4	0.5	0.0	10.8min	»
Hyperbolic arcsine	53.4	0.3	45.3	19.4min	»
Harley's example				24.2min	»
Exp of sum of logs	5.7	0	0	2.8s	»
(- (/ x0 (- 1 x1)) x0)	8.4	4.0	0.5	25.0min	»