Time: 14.8m
Passed: 10/34
Crashes: 24
Tests: 39
Bits: 345/360
Date:Tuesday, November 19th, 2019
Commit:9e6c9d77 on fix-interface-bugs
Hostname:warfa with Racket 7.2
Seed:2019323
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.116.3s»
a parameter of renormalized beta distribution0.20.323.7s»
Trigonometry B12.8s»
Trigonometry A16.4s»
Spherical law of cosines19.4s»
Quadratic roots, wide range52.36.416.2s»
Quadratic roots, narrow range28.30.316.7s»
Quadratic roots, medium range43.60.521.8s»
Quadratic roots, full range11.0s»
Midpoint on a great circle28.4s»
Logistic function from Lakshay Garg18.6s»
Hyperbolic tangent58.20.027.2s»
Hyperbolic sine11.9s»
Hyperbolic secant0.00.016.9s»
Hyperbolic arc-cosine32.10.28.1s»
Hyperbolic arc-(co)tangent58.60.619.3s»
Hyperbolic arc-(co)secant6.6s»
Equirectangular approximation to distance on a great circle31.0s»
Eccentricity of an ellipse14.20.017.8s»
Distance on a great circle40.8s»
Destination given bearing on a great circle0.20.253.5s»
Cubic critical, wide range52.36.434.8s»
Cubic critical, narrow range13.3s»
Cubic critical, medium range14.9s»
Cubic critical16.1s»
Bearing on a great circle21.7s»
Asymptote C14.5s»
Asymptote B0.00.06.2s»
Asymptote A14.70.113.9s»
2-ancestry mixing, zero discriminant17.3s»
2-ancestry mixing, positive discriminant25.2s»
2-ancestry mixing, negative discriminant16.8s»
Quotient of sum of exps8.8s»
Quotient of products9.3s»
Logistic regression 214.1s»
Hyperbolic arcsine10.5s»
Harley's example3.4m»
Exp of sum of logs5.7004.0s»
(- (/ x0 (- 1 x1)) x0)9.6s»