Time: 20.8m
Passed: 19/28
Tests: 35
Bits: 343/567
Date:Wednesday, January 16th, 2019
Commit:4ad0fa0d8ea811155e6236e8b72b9505c4bb3dd0 on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2019016
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.013.9s»
Rosa's TurbineBenchmark12.40.550.3s»
Rosa's FloatVsDoubleBenchmark0.50.62.9m»
Rosa's DopplerBench17.71.414.8s»
Rosa's Benchmark0.10.15.8s»
Radioactive exchange between two surfaces0.00.03.8s»
NMSE Section 6.1 mentioned, B14.00.334.2s»
NMSE Section 6.1 mentioned, A29.31.01.2m»
Kahan's Unum-Targeted Monster3.9m»
Kahan's Monster2.0m»
Kahan p13 Example 30.00.018.7s»
Kahan p13 Example 20.00.06.0s»
Kahan p13 Example 10.00.01.7m»
From Warwick Tucker's Validated Numerics58.163.632.3s»
x / (x^2 + 1)15.20.00.116.4s»
simple fma test45.38.1026.4s»
ln(1 + x)38.70.20.327.4s»
fma_test249.149.101.3s»
fma_test161.80.350.65.9s»
The quadratic formula (r2)33.510.420.624.8s»
The quadratic formula (r1)33.28.720.724.9s»
Rectangular parallelepiped of dimension a×b×c0001.4s»
Kahan's exp quotient39.30.438.39.6s»
Kahan p9 Example19.95.10.115.2s»
Expression, p63.62.73.924.3s»
Expression, p140.00.00.06.9s»
Expression 4, p150.00.00.01.6m»
Expression 3, p150.00.00.04.0s»
Expression 2, p150.00.00.0959.0ms»
Expression 1, p150.40.20.211.4s»
Difference of squares0.00.00.01.9s»
Compound Interest43.019.342.529.2s»
Complex division, real part25.725.60.414.2s»
Complex division, imag part25.725.50.517.3s»
Area of a triangle7.2s»

Details

simplify10.4m

Calls

5204 calls:

Slowest
1.3s
(+ (* (+ 1 (* t 2e-16)) (+ 1 (* t 2e-16))) (- -1 (* 2 (* t 2e-16))))
1.2s
(* (* x (/ 1 (- (* (* x x) (* x x)) (* 1 1)))) (- 1))
1.2s
(/ (* (* (* 4 (* c a)) (* 4 (* c a))) (* 4 (* c a))) (* (* (* (* 2 a) (* 2 a)) (* 2 a)) (* (* (- (- b) (sqrt (- (* b b) (* (* 4 a) c)))) (- (- b) (sqrt (- (* b b) (* (* 4 a) c))))) (- (- b) (sqrt (- (* b b) (* (* 4 a) c)))))))
1.2s
(* (* (+ 1 t) (+ 1 t)) (* (+ 1 t) (+ 1 t)))
1.1s
(- (* (- b) (- b)) (* (sqrt (- (pow b 2) (* 4 (* a c)))) (sqrt (- (pow b 2) (* 4 (* a c))))))

sample1.7m

Algorithm
64×intervals
Results
341990×(pre true 80)
270001×(body real 80)
19060×(body nan 80)
16893×(body real 160)
13789×(body real 1280)
9496×(body real 640)
6718×(body real 320)
3767×(body real 2560)
2026×(body exit 10240)
240×(body real 5120)

prune1.7m

series16.0s

Calls

328 calls:

Slowest
344.0ms
(cbrt (+ (* (* (* 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))))
332.0ms
(cbrt (pow x 7))
317.0ms
(cbrt (+ (* (* (* 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))))
316.0ms
(cbrt (pow x 4))
308.0ms
(cbrt (+ (* (* (* 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))))

regimes6.7s

Accuracy

Total 33.0b remaining (14.8%)

10.3b57.7%Compound Interest
4.7b77.3%Kahan p9 Example
4.7b83.2%The quadratic formula (r2)
3.0b88.4%The quadratic formula (r1)
2.6b0%Complex division, real part

rewrite5.5s

Algorithm
106×rewrite-expression-head
Calls

328 calls:

Slowest
665.0ms
(+ (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (* (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* x1 x1))) (* -6 (* x1 x1)))
173.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)))
142.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))))
136.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)))
134.0ms
(+ (/ (exp (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)))
Rules
1124×add-sqr-sqrt
1115×*-un-lft-identity
950×add-cube-cbrt
882×associate-*r/
819×add-exp-log
790×times-frac
787×frac-times
782×add-cbrt-cube
637×flip3--
637×flip--
552×pow1
536×associate-*l/
491×add-log-exp
473×flip-+
473×flip3-+
404×frac-add
398×cbrt-div
384×associate-*r*
277×associate-/l/
259×div-inv
253×associate-*l*
227×sqrt-prod
224×associate-/r*
213×associate-/r/
163×prod-exp
160×associate-/l*
158×cbrt-unprod
151×div-exp
144×cbrt-undiv
106×sqrt-div
105×distribute-lft-out--
103×sub-neg
97×frac-sub
84×*-commutative
78×exp-neg
71×neg-sub0
69×exp-diff
68×pow-prod-down
64×frac-2neg
64×clear-num
62×difference-of-squares
60×exp-prod
54×cbrt-prod
54×log-pow
53×distribute-rgt-in
53×distribute-lft-in
52×log-prod
49×+-commutative
43×sum-log
43×pow-prod-up
39×difference-of-sqr-1
35×diff-log
34×distribute-lft-out
33×pow2
32×pow1/2
30×pow-plus
29×exp-sum
29×rem-sqrt-square
27×unpow-prod-down
26×pow1/3
25×associate-+l+
24×un-div-inv
22×rec-exp
21×div-sub
20×associate-+r+
18×associate--l+
16×neg-mul-1
13×pow-flip
12×inv-pow
11×associate--l-
11×log-div
10×rem-exp-log
9×distribute-rgt-out--
8×rem-log-exp
8×associate--r-
7×distribute-frac-neg
7×associate-+l-
6×pow-to-exp
6×exp-to-pow
6×unpow2
4×unpow-prod-up
4×distribute-lft-neg-out
4×pow-unpow
3×distribute-lft1-in
3×pow-exp
3×associate-+r-
3×cube-unmult
3×associate--r+
3×pow-pow
2×pow3
2×unpow3
2×neg-log
2×sub-div
2×distribute-rgt-neg-in
2×cube-mult
2×pow-sub
2×distribute-lft-neg-in
2×distribute-rgt-out
1×sqrt-unprod
1×sum-cubes
1×rem-square-sqrt
1×rem-cbrt-cube

localize2.6s

bsearch2.3s

end1.0ms