Time: 18.6m
Passed: 19/28
Tests: 35
Bits: 340/567
Date:Wednesday, January 2nd, 2019
Commit:35a7d229467a8e72cfa1af48b83f1d8e54f20cfb on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2019002
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.08.5s»
Rosa's TurbineBenchmark12.10.438.6s»
Rosa's FloatVsDoubleBenchmark0.50.62.6m»
Rosa's DopplerBench17.91.314.1s»
Rosa's Benchmark0.10.14.9s»
Radioactive exchange between two surfaces0.00.04.6s»
NMSE Section 6.1 mentioned, B14.10.31.0m»
NMSE Section 6.1 mentioned, A30.11.01.3m»
Kahan's Unum-Targeted Monster3.8m»
Kahan's Monster2.0m»
Kahan p13 Example 30.00.014.4s»
Kahan p13 Example 20.00.06.7s»
Kahan p13 Example 10.00.01.1m»
From Warwick Tucker's Validated Numerics58.163.633.1s»
x / (x^2 + 1)14.60.00.15.0s»
simple fma test44.97.7023.6s»
ln(1 + x)39.30.10.213.4s»
fma_test249.149.101.0s»
fma_test161.80.350.66.1s»
The quadratic formula (r2)33.39.720.425.1s»
The quadratic formula (r1)32.78.220.418.0s»
Rectangular parallelepiped of dimension a×b×c0001.3s»
Kahan's exp quotient40.20.339.35.9s»
Kahan p9 Example20.55.50.018.2s»
Expression, p63.72.83.925.4s»
Expression, p140.00.00.026.2s»
Expression 4, p150.00.00.04.5s»
Expression 3, p150.00.00.08.3s»
Expression 2, p150.00.00.0744.0ms»
Expression 1, p150.40.20.28.5s»
Difference of squares0.00.00.01.7s»
Compound Interest42.831.541.949.0s»
Complex division, real part25.719.30.414.4s»
Complex division, imag part25.425.40.414.0s»
Area of a triangle5.8s»

Details

simplify8.6m

Calls

5094 calls. Slowest were:

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

sample1.6m

Algorithm
64×intervals

prune1.4m

series15.5s

Calls

393 calls. Slowest were:

1.3s
(/ (/ (- (* (pow (+ 1 (/ i n)) n) (pow (+ 1 (/ i n)) n)) (* 1 1)) (+ (pow (+ 1 (/ i n)) n) 1)) (/ i n))
443.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)))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))
279.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)))
276.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))))
266.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))) 6))))

rewrite14.2s

Algorithm
102×rewrite-expression-head
Calls

393 calls. Slowest were:

9.6s
(+ (+ (+ (+ (* (+ (* (* (* 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)))) (+ (* x1 x1) 1)) (* (* (* 3 x1) x1) (/ (- (+ (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1)))) (* (* x1 x1) x1)) x1) (* 3 (/ (- (- (* (* 3 x1) x1) (* 2 x2)) x1) (+ (* x1 x1) 1))))
689.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))) 6))))
167.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)))
150.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)))
147.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))))

regimes6.3s

Accuracy

Median 0% (36.3b remaining)

12.3b47.7%Compound Interest
5.1b74.7%Kahan p9 Example
4.7b57.6%Complex division, real part
4.1b85.3%The quadratic formula (r2)
2.6b90.7%The quadratic formula (r1)

bsearch2.7s

localize2.2s

end1.0ms