Time: 33.7m
Passed: 29/29
Tests: 32
Bits: 1022/1080

Date:Tuesday, October 23rd, 2018
Commit:a2b731605843c3ad39d270e6f86410a5ea5c6821 on master
Hostname:warfa
Points:256
Fuel:4
Seed:2018296
Flags:
setup:simplifyfn:cbrtrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:taylorreduce:simplifyreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default
TestStartResult ?Target ?∞ ↔ ℝTime
sqrtexp (problem 3.4.4)39.30.125.4s»
sintan (problem 3.4.5)31.00.11.4m»
quad2p (problem 3.2.1, positive)32.78.71.1m»
quad2m (problem 3.2.1, negative)32.910.01.3m»
cos2 (problem 3.4.1)30.70.145.3s»
3.9.2 real part (p56)61.9026.1s»
3.9.2 imaginary part (p56)0027.2s»
3.9.1 real part (p56)0024.3s»
3.9.1 imaginary part (p56)0025.4s»
2nthrt (problem 3.4.6)32.914.62.5m»
2log (problem 3.3.6)29.70.148.2s»
2frac (problem 3.3.1)14.90.125.8s»
2cos (problem 3.3.5)39.90.443.3s»
2cbrt (problem 3.3.4)30.00.531.2s»
tanhf (example 3.4)29.90.00.017.4s»
quadp (p42, positive)32.88.820.32.7m»
quadm (p42, negative)32.99.319.92.8m»
qlog (example 3.10)60.80.60.432.3s»
logs (example 3.8)63.00034.3s»
logq (problem 3.4.3)58.40.20.24.7m»
invcot (example 3.9)59.70.30.149.7s»
expq3 (problem 3.4.2)58.70.414.059.6s»
expq2 (section 3.11)39.80.539.317.7s»
expm1 (example 3.7)58.40.50.534.7s»
expax (section 3.5)29.40.40.256.4s»
exp2 (problem 3.3.7)29.40.60.038.6s»
3frac (problem 3.3.3)10.00.10.32.1m»
2tan (problem 3.3.2)37.50.515.21.4m»
2sqrt (example 3.1)30.10.20.218.9s»
2sin (example 3.3)37.60.415.143.4s»
2isqrt (example 3.6)19.90.40.71.0m»
2atan (example 3.5)15.40.40.431.0s»