Time: 37.1m
Passed: 29/29
Tests: 32
Bits: 1023/1084

Date:Thursday, May 31st, 2018
Commit:616b9c4bb5b10e40bbe60e12958c2d8e7d293262 on js-web-interface
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.9s»
sintan (problem 3.4.5)31.10.042.0s»
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.2s»
3.9.2 real part (p56)61.9057.1s»
3.9.2 imaginary part (p56)0025.7s»
3.9.1 real part (p56)0024.7s»
3.9.1 imaginary part (p56)0024.8s»
2nthrt (problem 3.4.6)32.817.91.5m»
2log (problem 3.3.6)30.20.151.6s»
2frac (problem 3.3.1)14.40.126.2s»
2cos (problem 3.3.5)39.80.735.9s»
2cbrt (problem 3.3.4)29.80.628.2s»
tanhf (example 3.4)30.10.00.016.7s»
quadp (p42, positive)33.66.220.42.3m»
quadm (p42, negative)33.910.920.82.2m»
qlog (example 3.10)60.80.40.341.8s»
logs (example 3.8)63.00019.6s»
logq (problem 3.4.3)58.60.20.210.0m»
invcot (example 3.9)59.80.30.143.5s»
expq3 (problem 3.4.2)58.63.314.51.2m»
expq2 (section 3.11)40.30.739.88.2s»
expm1 (example 3.7)58.50.50.523.2s»
expax (section 3.5)28.90.40.251.5s»
exp2 (problem 3.3.7)29.90.50.01.6m»
3frac (problem 3.3.3)10.00.10.32.0m»
2tan (problem 3.3.2)37.20.415.01.2m»
2sqrt (example 3.1)30.70.30.222.5s»
2sin (example 3.3)37.10.514.955.2s»
2isqrt (example 3.6)20.40.50.755.9s»
2atan (example 3.5)14.90.30.323.4s»