Time: 13.0m
Passed: 19/28
Tests: 35
Bits: 348/569
Date:Tuesday, January 22nd, 2019
Commit:45d4082dea7f80b56c44622251112721670e87cb on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2019022
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
arccos0.00.04.6s»
Rosa's TurbineBenchmark12.10.446.1s»
Rosa's FloatVsDoubleBenchmark0.50.52.5m»
Rosa's DopplerBench17.81.515.0s»
Rosa's Benchmark0.10.14.4s»
Radioactive exchange between two surfaces0.00.02.7s»
NMSE Section 6.1 mentioned, B14.70.332.8s»
NMSE Section 6.1 mentioned, A29.51.01.1m»
Kahan's Unum-Targeted Monster452.0ms»
Kahan's Monster237.0ms»
Kahan p13 Example 30.00.010.9s»
Kahan p13 Example 20.00.05.5s»
Kahan p13 Example 10.00.01.4m»
From Warwick Tucker's Validated Numerics58.163.629.8s»
x / (x^2 + 1)14.90.00.123.1s»
simple fma test45.18.1024.5s»
ln(1 + x)39.00.20.226.3s»
fma_test249.149.101.2s»
fma_test161.80.350.65.2s»
The quadratic formula (r2)33.59.220.320.3s»
The quadratic formula (r1)33.47.420.619.9s»
Rectangular parallelepiped of dimension a×b×c0001.4s»
Kahan's exp quotient40.30.339.516.5s»
Kahan p9 Example19.85.50.147.5s»
Expression, p63.62.73.824.1s»
Expression, p140.00.00.039.0s»
Expression 4, p150.00.00.04.7s»
Expression 3, p150.00.00.014.3s»
Expression 2, p150.00.00.0924.0ms»
Expression 1, p150.40.30.210.7s»
Difference of squares0.00.00.01.7s»
Compound Interest42.518.442.331.0s»
Complex division, real part26.126.00.411.2s»
Complex division, imag part26.126.10.311.9s»
Area of a triangle11.0ms»

Details

simplify9.2m

Calls

5141 calls:

Slowest
1.6s
(* (* (* (/ x (- (* (* x x) (* x x)) (* 1 1))) (/ x (- (* (* x x) (* x x)) (* 1 1)))) (/ x (- (* (* x x) (* x x)) (* 1 1)))) (* (* (- (* x x) 1) (- (* x x) 1)) (- (* x x) 1)))
1.2s
(* (* (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))) (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t)))) (* (/ (* (* (* 2 t) (* 2 t)) (* 2 t)) (* (* (+ 1 t) (+ 1 t)) (+ 1 t))) (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t)))))
1.2s
(+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16))))
1.1s
(* (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))) (* (* (/ (* 2 t) (+ 1 t)) (/ (* 2 t) (+ 1 t))) (/ (* 2 t) (+ 1 t))))
1.0s
(+ (/ (pow E (log (- (* (+ (* 333.75 (pow 33096 6)) (* (* 77617 77617) (+ (+ (+ (* (* 11 (* 77617 77617)) (* 33096 33096)) (- (pow 33096 6))) (* -121 (pow 33096 4))) -2))) (+ (* 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)) (* 5.5 (pow 33096 8)))))) (- (+ (* 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)))

prune1.5m

sample1.5m

Algorithm
64×intervals
Results
37.8s269239×body80valid
12.2s13750×body1280valid
7.6s16844×body160valid
5.9s3845×body2560valid
5.0s9473×body640valid
4.3s2006×body10240exit
3.2s75649×pre80true
2.4s6920×body320valid
2.2s19315×body80nan
256.0ms236×body5120valid

series15.8s

Calls

322 calls:

Slowest
284.0ms
(+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* (* x1 x1) (* (cbrt (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)) (cbrt (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6)))) (cbrt (- (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) 6))))
270.0ms
(/ (+ (* (* a d) (* d d)) (* (* (+ b c) a) (* (+ b c) (+ b c)))) (+ (* (+ c b) (+ c b)) (* d (- (- d b) c))))
239.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)))
238.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)))
230.0ms
(cbrt (/ (- t1) (+ t1 u)))

regimes6.3s

Accuracy

Total 35.5b remaining (16%)

14.4b50.3%Compound Interest
5.1b73.9%Kahan p9 Example
3.6b86%The quadratic formula (r2)
2.6b0%Complex division, real part
2.6b0%Complex division, imag part

rewrite5.8s

Algorithm
102×rewrite-expression-head
Calls

322 calls:

Slowest
576.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)))
569.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)))
302.0ms
(/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))
143.0ms
(- (- (+ 3 (/ 2 (* r r))) (/ (* (* r w) (* r w)) (/ (- 1 v) (+ (* v (- 0.25)) 0.375)))) 4.5)
126.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)))
Rules
1092×add-sqr-sqrt
1043×*-un-lft-identity
933×add-cube-cbrt
842×add-exp-log
816×add-cbrt-cube
796×times-frac
566×associate-*r/
549×pow1
527×frac-times
457×add-log-exp
433×flip-+
433×flip3-+
421×cbrt-div
387×flip3--
387×flip--
374×associate-*r*
331×associate-*l/
246×div-inv
237×associate-/r*
237×associate-*l*
237×associate-/r/
205×sqrt-prod
189×sqrt-div
176×prod-exp
176×frac-add
174×cbrt-unprod
159×div-exp
157×cbrt-undiv
157×associate-/l*
149×associate-/l/
130×cbrt-prod
89×frac-sub
88×*-commutative
86×sub-neg
82×distribute-lft-out--
77×pow-prod-down
76×exp-neg
68×frac-2neg
68×clear-num
65×exp-diff
61×neg-sub0
54×difference-of-sqr-1
50×+-commutative
47×pow-prod-up
45×difference-of-squares
41×sum-log
41×log-prod
40×pow1/2
37×distribute-rgt-in
37×distribute-lft-in
35×pow2
35×rem-sqrt-square
34×unpow-prod-down
32×pow-plus
29×un-div-inv
28×diff-log
27×pow1/3
27×exp-sum
24×associate-+r+
23×neg-mul-1
22×associate-+l+
22×associate--l+
21×div-sub
14×exp-prod
12×distribute-lft-out
12×log-pow
9×log-div
8×distribute-lft1-in
8×associate--r-
7×associate--l-
7×distribute-frac-neg
5×associate-+r-
5×rec-exp
5×unpow3
5×rem-log-exp
5×cube-mult
4×unpow-prod-up
4×distribute-lft-neg-out
4×pow-unpow
4×pow-to-exp
4×rem-exp-log
4×associate-+l-
4×rem-cbrt-cube
3×pow-exp
3×pow3
3×associate--r+
3×pow-pow
2×pow-flip
2×inv-pow
2×exp-to-pow
2×unpow2
2×pow-sub
2×distribute-rgt-out--
1×cube-unmult
1×sqrt-unprod
1×rem-square-sqrt

localize2.6s

bsearch1.8s

end1.0ms