Time: 13.8m
Passed: 17/33
Crashes: 14
Tests: 39
Bits: 475/540

Date:Saturday, June 22nd, 2019
Commit:342e3b52 on various-cleanup
Hostname:warfa with Racket 7.0
Seed:2019173
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default
TestStartResult ?Target ?∞ ↔ ℝTime
b parameter of renormalized beta distribution0.10.120.6s»
a parameter of renormalized beta distribution17.1s»
Trigonometry B9.8s»
Trigonometry A0.10.125.5s»
Spherical law of cosines16.53.956.7s»
Quadratic roots, wide range1.4s»
Quadratic roots, narrow range1.2s»
Quadratic roots, medium range1.3s»
Quadratic roots, full range1.7s»
Midpoint on a great circle23.0s»
Logistic function from Lakshay Garg29.20.127.3s»
Hyperbolic tangent58.10.028.3s»
Hyperbolic sine57.90.717.9s»
Hyperbolic secant0.00.015.6s»
Hyperbolic arc-cosine31.30.18.9s»
Hyperbolic arc-(co)tangent58.50.317.0s»
Hyperbolic arc-(co)secant0.00.014.6s»
Equirectangular approximation to distance on a great circle7.6s»
Eccentricity of an ellipse2.2s»
Distance on a great circle24.213.71.0m»
Destination given bearing on a great circle22.6s»
Cubic critical, wide range52.56.218.2s»
Cubic critical, narrow range28.316.720.3s»
Cubic critical, medium range44.011.918.6s»
Cubic critical786.0ms»
Bearing on a great circle12.5s»
Asymptote C29.40.321.1s»
Asymptote B0.00.010.9s»
Asymptote A14.40.115.4s»
2-ancestry mixing, zero discriminant16.00.923.4s»
2-ancestry mixing, positive discriminant13.1s»
2-ancestry mixing, negative discriminant1.00.020.4s»
Quotient of sum of exps0.70.70.014.5s»
Quotient of products11.43.311.113.3s»
Logistic regression 2570.0ms»
Hyperbolic arcsine53.00.345.418.3s»
Harley's example3.5m»
Exp of sum of logs5.7003.5s»
(- (/ x0 (- 1 x1)) x0)8.05.70.212.1s»