Time: 40.3m
Passed: 28/29
Tests: 32
Bits: 947/1023

Date:Friday, June 26th, 2020
Commit:b447b2feed2d8595dad9ca5dda47851ab791a899 on alt-testing
Hostname:warfa
Points:256
Fuel:4
Seed:2020178
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.50.017.1s»
sintan (problem 3.4.5)30.90.02.0m»
quad2p (problem 3.2.1, positive)33.86.71.5m»
quad2m (problem 3.2.1, negative)33.99.11.6m»
cos2 (problem 3.4.1)30.70.31.1m»
3.9.2 real part (p56)61.9021.2s»
3.9.2 imaginary part (p56)0021.2s»
3.9.1 real part (p56)0012.6s»
3.9.1 imaginary part (p56)0012.5s»
2nthrt (problem 3.4.6)32.222.31.4m»
2log (problem 3.3.6)29.40.137.1s»
2frac (problem 3.3.1)14.40.449.4s»
2cos (problem 3.3.5)39.71.438.8s»
2cbrt (problem 3.3.4)30.10.636.3s»
tanhf (example 3.4)29.90.00.011.9s»
quadp (p42, positive)33.88.820.82.8m»
quadm (p42, negative)33.98.621.12.4m»
qlog (example 3.10)61.00.40.356.4s»
logs (example 3.8)63.00044.1s»
logq (problem 3.4.3)10.0m»
invcot (example 3.9)59.90.30.146.3s»
expq3 (problem 3.4.2)58.60.714.21.3m»
expq2 (section 3.11)40.00.639.61.3m»
expm1 (example 3.7)58.50.50.623.0s»
expax (section 3.5)29.50.40.239.8s»
exp2 (problem 3.3.7)29.80.10.057.8s»
3frac (problem 3.3.3)9.90.10.22.4m»
2tan (problem 3.3.2)37.413.615.21.3m»
2sqrt (example 3.1)29.80.30.221.6s»
2sin (example 3.3)37.40.415.146.1s»
2isqrt (example 3.6)19.60.20.71.2m»
2atan (example 3.5)14.90.40.422.5s»