Time: 9.9m
Passed: 22/28
Tests: 35
Bits: 441/569
Date:Tuesday, January 22nd, 2019
Commit:45d4082dea7f80b56c44622251112721670e87cb on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2019022
Flags:
setup:simplifyrules:numericsrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
+o rules:numerics
TestStartResult ?Target ?∞ ↔ ℝTime
arccos0.00.07.6s»
Rosa's TurbineBenchmark12.10.628.3s»
Rosa's FloatVsDoubleBenchmark0.50.51.3m»
Rosa's DopplerBench17.81.315.6s»
Rosa's Benchmark0.10.15.0s»
Radioactive exchange between two surfaces0.00.02.5s»
NMSE Section 6.1 mentioned, B14.70.332.9s»
NMSE Section 6.1 mentioned, A29.51.01.3m»
Kahan's Unum-Targeted Monster374.0ms»
Kahan's Monster169.0ms»
Kahan p13 Example 30.00.08.9s»
Kahan p13 Example 20.00.07.2s»
Kahan p13 Example 10.00.01.4m»
From Warwick Tucker's Validated Numerics58.163.640.2s»
x / (x^2 + 1)14.90.00.116.1s»
simple fma test45.1004.2s»
ln(1 + x)39.00.00.23.4s»
fma_test249.1001.1s»
fma_test161.80.350.65.0s»
The quadratic formula (r2)33.57.520.322.9s»
The quadratic formula (r1)33.413.420.619.4s»
Rectangular parallelepiped of dimension a×b×c0001.1s»
Kahan's exp quotient40.30.039.54.0s»
Kahan p9 Example19.80.00.121.7s»
Expression, p63.62.73.813.4s»
Expression, p140.00.00.010.8s»
Expression 4, p150.00.00.03.8s»
Expression 3, p150.00.00.06.1s»
Expression 2, p150.000.01.1s»
Expression 1, p150.40.30.28.8s»
Difference of squares0.00.00.01.8s»
Compound Interest42.516.042.321.4s»
Complex division, real part26.112.50.416.1s»
Complex division, imag part26.17.10.319.5s»
Area of a triangle17.0ms»

Details

simplify6.2m

Calls

4223 calls:

Slowest
1.5s
(- (+ (sqrt -1) (/ 1 (* x (sqrt -1)))) (+ (/ 1 (* (pow x 2) (sqrt -1))) (* 1/2 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))))
1.4s
(- (+ (sqrt -1) (/ 1 (* x (sqrt -1)))) (+ (/ 1 (* (pow x 2) (sqrt -1))) (* 1/2 (/ 1 (* (pow x 2) (pow (sqrt -1) 3))))))
1.1s
(- (* (* (+ (pow 1 3) (pow (/ 1 eps) 3)) (exp 0)) (* (+ (/ 1 eps) 1) (exp (* (+ 1 eps) x)))) (* (* (+ (* 1 1) (- (* (/ 1 eps) (/ 1 eps)) (* 1 (/ 1 eps)))) (exp (* (- 1 eps) x))) (* (- (* (/ 1 eps) (/ 1 eps)) (* 1 1)) (exp 0))))
925.0ms
(- 1 (/ 1 (+ 2 (* (- 2 (/ (/ 2 t) (+ 1 (/ 1 t)))) (- 2 (/ (/ 2 t) (+ 1 (/ 1 t))))))))
915.0ms
(* (* (* (* (fma (* x x) x (* x x)) (fma (* x x) x (* x x))) (fma (* x x) x (* x x))) (* (* (fma (* x x) x (* x x)) (fma (* x x) x (* x x))) (fma (* x x) x (* x x)))) (* (* (fma (* x x) x (* x x)) (fma (* x x) x (* x x))) (fma (* x x) x (* x x))))

sample1.5m

Algorithm
64×intervals
Results
36.5s269239×body80valid
13.6s13750×body1280valid
8.0s16844×body160valid
5.4s3845×body2560valid
5.3s9473×body640valid
3.7s2006×body10240exit
3.3s75649×pre80true
2.6s6920×body320valid
2.2s19315×body80nan
628.0ms236×body5120valid

prune1.3m

series16.0s

Calls

269 calls:

Slowest
481.0ms
(/ (- (sqrt (fma (* a -4) c (* b b))) b) (* 2 a))
424.0ms
(/ (- (- b) (sqrt (fma (* -4 a) c (* b b)))) (* 2 a))
261.0ms
(/ (expm1 (* (expm1 (log1p (log1p (/ i n)))) n)) (/ i n))
251.0ms
(+ (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (pow (/ (+ (* -4 x1) (fma (* x1 x1) 12 (* 8 x2))) (/ (fma x1 x1 1) (* x1 x1))) 1)) (* x1 (* x1 -6)))
243.0ms
(+ (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))) (* x1 (* x1 -6)))

rewrite5.2s

Algorithm
93×rewrite-expression-head
Calls

269 calls:

Slowest
825.0ms
(+ (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (pow (/ (+ (* -4 x1) (fma (* x1 x1) 12 (* 8 x2))) (/ (fma x1 x1 1) (* x1 x1))) 1)) (* x1 (* x1 -6)))
770.0ms
(+ (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))) (* x1 (* x1 -6)))
712.0ms
(+ (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))) (* x1 (* x1 -6)))
159.0ms
(+ (+ (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (* 5.5 (pow 33096 8))) (/ 77617 (* 2 33096)))
138.0ms
(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* x1 x1) (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))
Rules
1172×*-un-lft-identity
1164×add-sqr-sqrt
1105×add-cube-cbrt
981×times-frac
560×add-exp-log
506×add-cbrt-cube
395×pow1
356×add-log-exp
284×associate-*r*
272×expm1-log1p-u
270×log1p-expm1-u
222×associate-/r*
215×div-inv
185×flip-+
185×flip3-+
183×associate-/l*
167×frac-times
163×sqrt-prod
159×associate-*l*
138×associate-*r/
131×associate-/r/
121×fma-neg
117×prod-diff
105×flip3--
105×flip--
103×associate-*l/
102×fma-def
89×div-exp
85×frac-sub
82×cbrt-undiv
76×exp-neg
74×cbrt-div
73×prod-exp
69×frac-2neg
69×clear-num
66×cbrt-unprod
63×*-commutative
62×neg-sub0
62×exp-diff
59×associate-/l/
44×sub-neg
39×distribute-lft-out
39×pow-prod-down
38×exp-prod
36×fma-udef
32×+-commutative
32×log-pow
29×log-prod
29×cbrt-prod
29×frac-add
28×sum-log
28×distribute-rgt-in
28×distribute-lft-in
24×difference-of-squares
24×div-sub
23×exp-sum
23×neg-mul-1
22×pow1/2
21×pow-prod-up
20×difference-of-sqr-1
20×un-div-inv
20×diff-log
19×associate-+l+
19×rec-exp
18×pow-plus
17×associate--l+
17×distribute-lft-out--
16×unpow-prod-down
15×pow1/3
15×pow2
14×associate-+r+
14×rem-sqrt-square
9×unpow2
7×pow-flip
7×sqrt-div
7×unpow3
7×distribute-frac-neg
7×inv-pow
7×hypot-udef
7×cube-mult
5×expm1-udef
5×associate--l-
5×log-div
4×distribute-lft-neg-out
4×log1p-expm1
4×pow3
4×pow-to-exp
4×rem-cbrt-cube
4×log1p-udef
3×rem-exp-log
3×associate-+l-
3×expm1-def
2×expm1-log1p
2×pow-exp
2×sqrt-unprod
2×rem-log-exp
2×distribute-rgt-out--
2×rem-square-sqrt
1×associate-+r-
1×distribute-rgt-neg-out
1×associate--r+
1×pow-pow
1×distribute-rgt-neg-in
1×distribute-lft-neg-in

regimes5.2s

Accuracy

Total 29.4b remaining (23.1%)

10.0b28.9%Complex division, real part
6.3b41%Compound Interest
5.4b32.1%Complex division, imag part
2.0b91.6%The quadratic formula (r2)
1.2b0%Rosa's DopplerBench

localize2.3s

bsearch1.2s

end1.0ms