Time: 12.4m
Passed: 29/31
Tests: 36
Bits: 1033/1163

Date:Monday, October 22nd, 2018
Commit:d9c69adcc278aa7735af901ee5a9c0d76142ca1f on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2018295
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)39.30.05.8s»
sintan (problem 3.4.5)30.40.025.7s»
quad2p (problem 3.2.1, positive)33.110.914.7s»
quad2m (problem 3.2.1, negative)33.17.317.2s»
exp with complex power real part (p55)0.00.013.1s»
exp with complex power imaginary part (p55)43.643.626.8s»
cos2 (problem 3.4.1)30.10.119.8s»
Euler formula real part (p55)0.00.06.7s»
Euler formula imaginary part (p55)43.60.729.8s»
3.9.2 real part (p56)61.9016.2s»
3.9.2 imaginary part (p56)0023.8s»
3.9.1 real part (p56)0025.9s»
3.9.1 imaginary part (p56)0025.0s»
2nthrt (problem 3.4.6)32.524.232.9s»
2log (problem 3.3.6)29.20.011.7s»
2frac (problem 3.3.1)14.80.18.1s»
2cos (problem 3.3.5)39.20.417.3s»
2cbrt (problem 3.3.4)30.60.614.4s»
tanhf (example 3.4)29.40.00.018.0s»
quadp (p42, positive)33.210.920.136.0s»
quadm (p42, negative)33.18.720.636.4s»
qlog (example 3.10)60.80.50.418.8s»
logs (example 3.8)63.00010.3s»
logq (problem 3.4.3)58.60.20.215.1s»
invcot (example 3.9)59.80.30.127.9s»
expq3 (problem 3.4.2)58.63.314.622.1s»
expq2 (section 3.11)39.80.539.312.6s»
expm1 (example 3.7)58.70.50.527.7s»
expax (section 3.5)29.414.30.222.7s»
exp2 (problem 3.3.7)29.60.60.034.9s»
3frac (problem 3.3.3)10.10.20.312.1s»
2tan (problem 3.3.2)36.40.415.244.7s»
2sqrt (example 3.1)29.60.20.212.8s»
2sin (example 3.3)36.50.515.133.2s»
2isqrt (example 3.6)19.30.40.615.0s»
2atan (example 3.5)15.30.40.47.0s»