Time: 23.4m
Passed: 28/29
Tests: 32
Bits: 940/1083

Date:Saturday, August 4th, 2018
Commit:3faedb674f5be2acefb89b6f58301410b1af653d on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2018216
Flags:
setup:simplifyfn:cbrtrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:taylorreduce:simplifyreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics
TestStartResult ?Target ?∞ ↔ ℝTime
sqrtexp (problem 3.4.4)40.20.05.6s»
sintan (problem 3.4.5)31.90.027.2s»
quad2p (problem 3.2.1, positive)33.110.542.1s»
quad2m (problem 3.2.1, negative)33.37.538.5s»
cos2 (problem 3.4.1)31.70.432.5s»
3.9.2 real part (p56)61.961.924.7s»
3.9.2 imaginary part (p56)0023.6s»
3.9.1 real part (p56)0025.9s»
3.9.1 imaginary part (p56)0024.3s»
2nthrt (problem 3.4.6)32.522.21.6m»
2log (problem 3.3.6)29.40.127.3s»
2frac (problem 3.3.1)14.30.428.1s»
2cos (problem 3.3.5)39.80.932.0s»
2cbrt (problem 3.3.4)29.30.51.2m»
tanhf (example 3.4)30.90013.3s»
quadp (p42, positive)33.112.020.21.2m»
quadm (p42, negative)33.39.220.22.0m»
qlog (example 3.10)61.10.00.320.4s»
logs (example 3.8)63.00013.7s»
logq (problem 3.4.3)58.70.20.22.5m»
invcot (example 3.9)59.90.30.151.3s»
expq3 (problem 3.4.2)58.70.214.658.6s»
expq2 (section 3.11)40.60.440.26.8s»
expm1 (example 3.7)58.70.00.53.7s»
expax (section 3.5)29.60.00.24.9s»
exp2 (problem 3.3.7)29.60.50.01.1m»
3frac (problem 3.3.3)9.70.10.339.5s»
2tan (problem 3.3.2)37.114.014.82.6m»
2sqrt (example 3.1)29.80.20.249.8s»
2sin (example 3.3)37.10.514.732.3s»
2isqrt (example 3.6)20.20.40.734.8s»
2atan (example 3.5)14.70.40.410.1s»