Time: 34.9m
Passed: 25/30
Tests: 39
Bits: 635/810

Date:Tuesday, May 21st, 2019
Commit:64b3774d6ef4249fabc18f5034266b6bfcf86c5e on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2019141
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.119.2s»
a parameter of renormalized beta distribution0.20.218.9s»
Trigonometry B0.30.422.0s»
Trigonometry A0.10.223.2s»
Spherical law of cosines16.83.748.9s»
Quadratic roots, wide range52.56.222.8s»
Quadratic roots, narrow range28.816.618.1s»
Quadratic roots, medium range43.711.323.4s»
Quadratic roots, full range34.010.326.6s»
Midpoint on a great circle006.7m»
Logistic function from Lakshay Garg29.10.01.8m»
Hyperbolic tangent58.10.019.5s»
Hyperbolic sine58.00.620.4s»
Hyperbolic secant0.00.01.2m»
Hyperbolic arc-cosine31.30.116.6s»
Hyperbolic arc-(co)tangent58.50.318.5s»
Hyperbolic arc-(co)secant0.10.18.3s»
Equirectangular approximation to distance on a great circle37.228.94.1m»
Eccentricity of an ellipse29.07.521.4s»
Distance on a great circle936.0ms»
Destination given bearing on a great circle10.0m»
Cubic critical, wide range52.56.229.4s»
Cubic critical, narrow range29.016.525.4s»
Cubic critical, medium range43.711.127.4s»
Cubic critical34.110.421.8s»
Bearing on a great circle967.0ms»
Asymptote C29.40.114.8s»
Asymptote B0.00.014.9s»
Asymptote A14.40.114.8s»
2-ancestry mixing, zero discriminant15.50.817.4s»
2-ancestry mixing, positive discriminant34.930.932.4s»
2-ancestry mixing, negative discriminant1.00.017.1s»
Quotient of sum of exps0.60.50.013.0s»
Quotient of products10.75.010.817.4s»
Logistic regression 20.50.50.016.8s»
Hyperbolic arcsine52.70.244.919.6s»
Harley's example17.3s»
Exp of sum of logs5.7004.3s»
(- (/ x0 (- 1 x1)) x0)7.96.50.228.4s»