Time: 35.5m
Passed: 29/29
Tests: 32
Bits: 1007/1082

Date:Friday, June 15th, 2018
Commit:c58bdf6cd136be899c04e73a9ce45f4e1b421df7 on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2018166
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.90.027.3s»
sintan (problem 3.4.5)31.50.01.1m»
quad2p (problem 3.2.1, positive)33.08.71.4m»
quad2m (problem 3.2.1, negative)33.59.01.1m»
cos2 (problem 3.4.1)31.20.356.6s»
3.9.2 real part (p56)61.901.0m»
3.9.2 imaginary part (p56)0028.8s»
3.9.1 real part (p56)0027.6s»
3.9.1 imaginary part (p56)0026.7s»
2nthrt (problem 3.4.6)33.218.11.3m»
2log (problem 3.3.6)29.10.231.4s»
2frac (problem 3.3.1)14.60.124.2s»
2cos (problem 3.3.5)39.91.148.7s»
2cbrt (problem 3.3.4)29.70.528.1s»
tanhf (example 3.4)30.40.00.019.2s»
quadp (p42, positive)33.18.620.32.6m»
quadm (p42, negative)33.510.020.22.6m»
qlog (example 3.10)61.10.40.31.2m»
logs (example 3.8)63.000.032.5s»
logq (problem 3.4.3)58.60.20.24.8m»
invcot (example 3.9)59.90.30.149.0s»
expq3 (problem 3.4.2)58.80.514.41.1m»
expq2 (section 3.11)40.30.440.01.0m»
expm1 (example 3.7)58.70.40.41.1m»
expax (section 3.5)29.20.40.21.7m»
exp2 (problem 3.3.7)29.40.00.057.4s»
3frac (problem 3.3.3)9.90.10.32.0m»
2tan (problem 3.3.2)37.012.815.11.2m»
2sqrt (example 3.1)29.60.20.219.6s»
2sin (example 3.3)37.11.215.145.7s»
2isqrt (example 3.6)19.60.40.71.2m»
2atan (example 3.5)15.00.30.323.5s»