Time: 16.3m
Passed: 19/28
Tests: 35
Bits: 349/567
Date:Thursday, January 10th, 2019
Commit:dd874ef03c8e15d9e2f572e0b328fc0229fb74e1 on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2019010
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.033.4s»
Rosa's TurbineBenchmark12.20.435.2s»
Rosa's FloatVsDoubleBenchmark0.50.61.1m»
Rosa's DopplerBench17.71.214.6s»
Rosa's Benchmark0.10.15.2s»
Radioactive exchange between two surfaces0.00.03.5s»
NMSE Section 6.1 mentioned, B14.30.321.5s»
NMSE Section 6.1 mentioned, A29.10.81.3m»
Kahan's Unum-Targeted Monster3.6m»
Kahan's Monster2.0m»
Kahan p13 Example 30.00.026.1s»
Kahan p13 Example 20.00.06.2s»
Kahan p13 Example 10.00.025.0s»
From Warwick Tucker's Validated Numerics58.163.631.6s»
x / (x^2 + 1)14.50.00.15.8s»
simple fma test45.48.0018.8s»
ln(1 + x)39.20.20.312.9s»
fma_test249.149.101.1s»
fma_test161.80.350.66.0s»
The quadratic formula (r2)33.36.720.724.0s»
The quadratic formula (r1)33.26.720.623.0s»
Rectangular parallelepiped of dimension a×b×c0001.2s»
Kahan's exp quotient40.70.339.85.9s»
Kahan p9 Example19.95.30.026.0s»
Expression, p63.72.83.924.8s»
Expression, p140.00.00.08.9s»
Expression 4, p150.00.00.038.0s»
Expression 3, p150.00.00.02.1s»
Expression 2, p150.00.00.01.2s»
Expression 1, p150.40.20.28.0s»
Difference of squares0.00.00.03.4s»
Compound Interest42.019.841.831.3s»
Complex division, real part25.525.50.425.0s»
Complex division, imag part25.825.70.532.2s»
Area of a triangle5.7s»

Details

simplify6.7m

Calls

5430 calls:

Slowest
1.3s
(+ (* (+ 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.1s
(* (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (- (* a a) (* b b))) (* (* (- (* a a) (* b b)) (- (* a a) (* b b))) (- (* a a) (* b b))))
975.0ms
(cbrt (+ (- -1 (* x y)) (- (fma x y z) z)))
933.0ms
(cbrt (* (+ a (+ (+ b c) d)) (+ a (+ (+ b c) d))))

sample1.6m

Algorithm
64×intervals

prune1.5m

series12.4s

Calls

312 calls:

Slowest
398.0ms
(+ (* (/ (+ (- (* 2 x2) x1) (* (* x1 x1) 3)) (/ (+ 1 (* x1 x1)) (* 2 x1))) (- (/ (+ (- (* 2 x2) x1) (* (* x1 x1) 3)) (+ 1 (* x1 x1))) 3)) (+ (* (* x1 x1) (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* x1 (* x1 -6))))
266.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)))
233.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)))
202.0ms
(+ (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* (* (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3))) (cbrt (- (/ (- (+ (* (* 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)))
185.0ms
(* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n)))

rewrite8.4s

Algorithm
105×rewrite-expression-head
Calls

312 calls:

Slowest
4.1s
(+ (+ (* (* (* 2 x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))) (* (* (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3)) (cbrt (- (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)) 3))) (cbrt (- (/ (- (+ (* (* 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)))
577.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)))
166.0ms
(+ (* (/ (+ (- (* 2 x2) x1) (* (* x1 x1) 3)) (/ (+ 1 (* x1 x1)) (* 2 x1))) (- (/ (+ (- (* 2 x2) x1) (* (* x1 x1) 3)) (+ 1 (* x1 x1))) 3)) (+ (* (* x1 x1) (* 4 (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* x1 (* x1 -6))))
125.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)))
119.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
1740×times-frac
1604×add-sqr-sqrt
1562×*-un-lft-identity
1451×add-cube-cbrt
924×sqrt-prod
663×add-exp-log
625×add-cbrt-cube
458×add-log-exp
457×pow1
414×associate-*r*
347×flip-+
347×flip3-+
243×frac-times
240×associate-*l*
233×div-inv
228×associate-/r/
221×associate-/l*
216×flip3--
216×flip--
198×associate-*r/
194×associate-/r*
165×sqrt-div
147×associate-*l/
123×associate-/l/
102×div-exp
98×cbrt-undiv
95×prod-exp
88×cbrt-div
87×cbrt-unprod
87×frac-sub
85×sub-neg
84×*-commutative
79×cbrt-prod
76×exp-neg
64×exp-diff
63×neg-sub0
63×distribute-lft-out--
62×difference-of-squares
59×frac-2neg
59×clear-num
54×log-prod
50×+-commutative
46×pow-prod-down
46×sum-log
37×pow1/2
37×frac-add
35×distribute-rgt-in
35×distribute-lft-in
35×rem-sqrt-square
33×log-pow
30×diff-log
29×exp-prod
27×associate-+l+
24×associate-+r+
23×div-sub
23×log-div
22×distribute-lft-out
22×difference-of-sqr-1
21×un-div-inv
20×pow1/3
16×rec-exp
16×pow-prod-up
15×neg-mul-1
14×pow2
14×pow-plus
13×unpow-prod-down
12×rem-log-exp
11×unpow2
10×associate--l+
9×exp-sum
8×distribute-frac-neg
7×associate--l-
6×distribute-lft-neg-out
5×pow-flip
5×inv-pow
5×rem-exp-log
5×associate-+l-
4×unpow-prod-up
4×associate-+r-
4×pow-unpow
4×pow-to-exp
3×unpow3
3×associate--r+
3×distribute-rgt-out--
3×cube-mult
2×distribute-lft1-in
2×pow3
2×difference-of-sqr--1
2×exp-to-pow
2×associate--r-
2×pow-sub
2×distribute-rgt-out
1×sum-cubes
1×pow-exp
1×cube-unmult
1×sqrt-unprod
1×sub-div
1×pow-pow
1×rem-square-sqrt
1×rem-cbrt-cube

regimes6.2s

Accuracy

Total 28.4b remaining (13%)

11.0b56%Compound Interest
4.8b76.9%Kahan p9 Example
2.6b0%Complex division, imag part
2.6b0%Complex division, real part
1.3b0%Expression, p6

bsearch3.2s

localize2.6s

end1.0ms