Time: 13.0m
Passed: 30/31
Tests: 36
Bits: 1026/1168

Date:Wednesday, October 24th, 2018
Commit:1df535427dbe5da1d2f6afd4b2b7f78e559410fe on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2018297
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default
TestStartResult ?Target ?∞ ↔ ℝTime
sqrtexp (problem 3.4.4)40.00.05.4s»
sintan (problem 3.4.5)31.10.029.5s»
quad2p (problem 3.2.1, positive)33.610.018.4s»
quad2m (problem 3.2.1, negative)33.310.614.2s»
exp with complex power real part (p55)0.00.013.0s»
exp with complex power imaginary part (p55)43.243.228.7s»
cos2 (problem 3.4.1)30.80.418.0s»
Euler formula real part (p55)0.00.08.3s»
Euler formula imaginary part (p55)43.20.834.9s»
3.9.2 real part (p56)61.9016.7s»
3.9.2 imaginary part (p56)0023.9s»
3.9.1 real part (p56)0028.3s»
3.9.1 imaginary part (p56)0026.3s»
2nthrt (problem 3.4.6)32.424.133.0s»
2log (problem 3.3.6)29.60.014.6s»
2frac (problem 3.3.1)14.50.18.7s»
2cos (problem 3.3.5)39.90.417.2s»
2cbrt (problem 3.3.4)30.015.712.2s»
tanhf (example 3.4)30.10.00.017.7s»
quadp (p42, positive)33.710.020.624.3s»
quadm (p42, negative)33.37.020.349.3s»
qlog (example 3.10)60.90.40.330.0s»
logs (example 3.8)63.00010.6s»
logq (problem 3.4.3)58.60.20.213.4s»
invcot (example 3.9)59.90.30.129.0s»
expq3 (problem 3.4.2)58.50.414.623.2s»
expq2 (section 3.11)40.40.540.09.0s»
expm1 (example 3.7)58.50.50.549.6s»
expax (section 3.5)29.80.30.214.5s»
exp2 (problem 3.3.7)29.10.60.020.2s»
3frac (problem 3.3.3)10.10.20.241.2s»
2tan (problem 3.3.2)37.114.615.038.5s»
2sqrt (example 3.1)30.10.20.212.2s»
2sin (example 3.3)37.20.415.022.4s»
2isqrt (example 3.6)19.40.40.713.4s»
2atan (example 3.5)14.90.30.37.9s»