Time: 36.4m
Passed: 28/29
Tests: 32
Bits: 1003/1084

Date:Thursday, May 31st, 2018
Commit:c78f38400dc8ca9072d41602a2f4d7bb5568a58a on develop
Hostname:warfa
Points:256
Fuel:4
Seed:#(1072361757 3390613284 2339397988 1175251238 145061547 3101881848)
Flags:
rules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchessetup: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.70.019.0s»
sintan (problem 3.4.5)31.10.041.1s»
quad2p (problem 3.2.1, positive)33.56.31.4m»
quad2m (problem 3.2.1, negative)33.99.61.5m»
cos2 (problem 3.4.1)30.80.345.0s»
3.9.2 real part (p56)61.9056.0s»
3.9.2 imaginary part (p56)0025.0s»
3.9.1 real part (p56)0026.3s»
3.9.1 imaginary part (p56)0025.3s»
2nthrt (problem 3.4.6)32.817.91.5m»
2log (problem 3.3.6)30.20.150.2s»
2frac (problem 3.3.1)14.40.126.2s»
2cos (problem 3.3.5)39.80.836.0s»
2cbrt (problem 3.3.4)29.80.626.8s»
tanhf (example 3.4)30.10.00.016.9s»
quadp (p42, positive)33.66.220.42.5m»
quadm (p42, negative)33.910.920.82.2m»
qlog (example 3.10)60.80.40.358.0s»
logs (example 3.8)63.00019.1s»
logq (problem 3.4.3)58.60.20.29.9m»
invcot (example 3.9)59.80.30.142.1s»
expq3 (problem 3.4.2)58.63.314.51.1m»
expq2 (section 3.11)40.30.739.810.0s»
expm1 (example 3.7)58.50.50.522.7s»
expax (section 3.5)28.90.40.21.0m»
exp2 (problem 3.3.7)29.90.50.01.5m»
3frac (problem 3.3.3)10.00.10.31.9m»
2tan (problem 3.3.2)37.20.415.01.1m»
2sqrt (example 3.1)30.70.30.222.3s»
2sin (example 3.3)37.10.514.951.4s»
2isqrt (example 3.6)20.420.40.713.1s»
2atan (example 3.5)14.90.30.319.3s»