Time: 17.2m
Passed: 28/29
Tests: 32
Bits: 936/1081

Date:Monday, August 13th, 2018
Commit:2fcc19fe07803584282e290027daf898c5b01e84 on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2018225
Flags:
setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics
TestStartResult ?Target ?∞ ↔ ℝTime
sqrtexp (problem 3.4.4)39.30.010.7s»
sintan (problem 3.4.5)31.20.037.5s»
quad2p (problem 3.2.1, positive)33.78.236.6s»
quad2m (problem 3.2.1, negative)34.09.642.7s»
cos2 (problem 3.4.1)31.00.21.0m»
3.9.2 real part (p56)61.961.923.6s»
3.9.2 imaginary part (p56)0023.9s»
3.9.1 real part (p56)0023.2s»
3.9.1 imaginary part (p56)0022.8s»
2nthrt (problem 3.4.6)32.824.31.5m»
2log (problem 3.3.6)29.10.116.2s»
2frac (problem 3.3.1)14.40.325.8s»
2cos (problem 3.3.5)39.70.817.2s»
2cbrt (problem 3.3.4)29.90.415.7s»
tanhf (example 3.4)30.20.00.013.0s»
quadp (p42, positive)33.79.421.01.5m»
quadm (p42, negative)34.09.621.01.2m»
qlog (example 3.10)60.90.00.319.7s»
logs (example 3.8)63.00014.5s»
logq (problem 3.4.3)58.40.20.235.9s»
invcot (example 3.9)60.00.40.142.2s»
expq3 (problem 3.4.2)58.43.114.929.4s»
expq2 (section 3.11)39.80.439.47.4s»
expm1 (example 3.7)58.60.00.52.8s»
expax (section 3.5)29.40.00.25.0s»
exp2 (problem 3.3.7)29.60.60.029.2s»
3frac (problem 3.3.3)9.80.10.350.9s»
2tan (problem 3.3.2)37.214.115.01.7m»
2sqrt (example 3.1)29.50.20.217.9s»
2sin (example 3.3)37.30.415.021.6s»
2isqrt (example 3.6)19.90.50.725.6s»
2atan (example 3.5)14.80.30.37.9s»