Time: 35.4m
Passed: 29/29
Tests: 32
Bits: 997/1080

Date:Wednesday, May 23rd, 2018
Commit:60a138aea28f3a25b300084689389460bb037f57 on develop
Hostname:warfa
Points:256
Fuel:4
Seed:#(1071852389 864846987 1238109217 3425890003 4124793586 650694553)
Flags:
rules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialsetup:simplifyfn:cbrtgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:taylorreduce:simplifyreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default
TestStartResult ?Target ?∞ ↔ ℝTime
sqrtexp (problem 3.4.4)39.60.06.7s»
sintan (problem 3.4.5)31.40.146.7s»
quad2p (problem 3.2.1, positive)33.010.01.4m»
quad2m (problem 3.2.1, negative)33.59.51.4m»
cos2 (problem 3.4.1)31.20.341.1s»
3.9.2 real part (p56)61.9055.0s»
3.9.2 imaginary part (p56)0025.2s»
3.9.1 real part (p56)0024.1s»
3.9.1 imaginary part (p56)0023.9s»
2nthrt (problem 3.4.6)32.616.32.3m»
2log (problem 3.3.6)29.10.129.7s»
2frac (problem 3.3.1)14.60.121.9s»
2cos (problem 3.3.5)40.01.037.1s»
2cbrt (problem 3.3.4)29.60.724.5s»
tanhf (example 3.4)30.40.00.015.5s»
quadp (p42, positive)33.010.920.42.2m»
quadm (p42, negative)33.611.720.42.1m»
qlog (example 3.10)60.90.40.345.8s»
logs (example 3.8)63.00.0029.2s»
logq (problem 3.4.3)58.60.20.28.3m»
invcot (example 3.9)59.80.30.143.3s»
expq3 (problem 3.4.2)58.33.614.41.5m»
expq2 (section 3.11)40.10.439.614.8s»
expm1 (example 3.7)58.70.40.439.9s»
expax (section 3.5)29.50.40.233.9s»
exp2 (problem 3.3.7)29.70.70.01.6m»
3frac (problem 3.3.3)9.60.10.31.8m»
2tan (problem 3.3.2)37.414.215.31.4m»
2sqrt (example 3.1)29.50.30.226.5s»
2sin (example 3.3)37.40.515.340.5s»
2isqrt (example 3.6)19.40.40.639.1s»
2atan (example 3.5)15.10.40.423.4s»