Time: 47.7m
Passed: 32/38
Tests: 50
Bits: 503/633

Date:Tuesday, January 8th, 2019
Commit:e215f5b157f6d8a7791aabf68743eb21857594b0 on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2019008
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
powComplex, real part31.00.12.3m»
powComplex, imaginary part31.30.23.8m»
normal distribution0.40.523.7s»
math.square on complex, real part0.00.02.2s»
math.square on complex, imaginary part0.001.1s»
math.sqrt on complex, imaginary part, im greater than 0 branch37.813.211.0s»
math.sin on complex, real part0.00.027.1s»
math.log10 on complex, real part31.60.518.7s»
math.log10 on complex, imaginary part1.2m»
math.log/2 on complex, real part31.10.445.5s»
math.log/2 on complex, imaginary part1.7m»
math.log/1 on complex, real part31.30.01.6s»
math.log/1 on complex, imaginary part21.0s»
math.exp on complex, real part0.00.07.7s»
math.exp on complex, imaginary part0.00.012.5s»
math.cos on complex, real part0.00.010.7s»
math.arg on complex22.2s»
math.abs on complex30.10.03.9s»
_multiplyComplex, real part0.00.02.8s»
_multiplyComplex, imaginary part0.00.02.2s»
_divideComplex, real part26.013.021.0s»
_divideComplex, imaginary part26.014.530.6s»
Octave 3.8, oct_fill_randg0.10.139.9s»
Octave 3.8, jcobi/4, as called45.80.03.4s»
Octave 3.8, jcobi/453.037.82.7m»
Octave 3.8, jcobi/33.61.47.4m»
Octave 3.8, jcobi/223.612.339.7s»
Octave 3.8, jcobi/115.96.422.7s»
Jmat.Real.lambertw, estimator0.30.05.6s»
Jmat.Real.gamma, branch z less than 0.51.80.63.0m»
Jmat.Real.gamma, branch z greater than 0.510.0m»
Jmat.Real.erfi, branch x less than or equal to 0.50.20.254.9s»
Jmat.Real.erfi, branch x greater than or equal to 51.50.61.1m»
Jmat.Real.erf13.712.63.3m»
Jmat.Real.dawson29.30.231.6s»
math.sqrt on complex, real part37.712.933.012.1s»
math.sin on complex, imaginary part58.10.70.242.5s»
math.cube on real0.1001.5s»
math.cube on complex, real part7.00.20.232.6s»
math.cube on complex, imaginary part7.00.20.27.2s»
math.cos on complex, imaginary part43.40.70.334.2s»
Jmat.Real.lambertw, newton loop step13.80.313.220.1s»
FastMath test50.1004.2s»
FastMath test30.10.00.113.1s»
FastMath test20.20.00.07.6s»
FastMath test10.300899.0ms»
FastMath repmul0.1001.8s»
FastMath dist40.00.00.018.9s»
FastMath dist30.00.00.05.5s»
FastMath dist0.00.00.02.6s»

Details

simplify25.1m

Calls

10986 calls. Slowest were:

1.5s
(* (+ x.re x.im) (+ (* (* x.re x.im) (* x.re x.im)) (- (* (* x.im x.re) (* x.im x.re)) (* (* x.re x.im) (* x.im x.re)))))
1.4s
(/ (/ i (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))) 1)
1.4s
(* (+ (+ alpha beta) (* 2 i)) (- (* (+ alpha beta) (+ alpha beta)) (* (* 2 i) (* 2 i))))
1.3s
(* (+ (* (* x.re x.re) (* x.re x.re)) (+ (* (* x.im x.im) (* x.im x.im)) (* (* x.re x.re) (* x.im x.im)))) (- (* x.re x.im) (* x.im x.re)))
1.3s
(* (* (- x.re x.im) (+ x.re x.im)) (- (* x.re x.im) (* x.im x.re)))

sample10.4m

Algorithm
91×intervals

prune4.4m

series49.5s

Calls

589 calls. Slowest were:

1.3s
(expm1 (log1p (* (pow (* -2 (log u1)) 0.5) 1/6)))
1.2s
(exp (log1p (* (pow (* -2 (log u1)) 0.5) 1/6)))
1.1s
(log1p (* (pow (* -2 (log u1)) 0.5) 1/6))
1.1s
(log1p (* (pow (* -2 (log u1)) 0.5) 1/6))
1.0s
(+ (+ (/ (/ 0.284496736 (exp (* (fabs x) (fabs x)))) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 1) (- (* (exp (* (- (fabs x)) (fabs x))) (- (/ 1.453152027 (pow (fma 0.3275911 (fabs x) 1) 4)) (/ (* (* (cbrt (/ 1.421413741 (fma 0.3275911 (fabs x) 1))) (cbrt (/ 1.421413741 (fma 0.3275911 (fabs x) 1)))) (cbrt (/ 1.421413741 (fma 0.3275911 (fabs x) 1)))) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))) (* (exp (* (- (fabs x)) (fabs x))) (+ (/ 0.254829592 (fma 0.3275911 (fabs x) 1)) (/ 1.061405429 (pow (fma 0.3275911 (fabs x) 1) 5))))))

regimes9.0s

Accuracy

Total 29.6b remaining (22.8%)

10.6b25%_divideComplex, real part
9.0b16.7%_divideComplex, imaginary part
3.3b73.3%Octave 3.8, jcobi/1
1.3b48.6%Octave 3.8, jcobi/4
0.6b0%math.cos on complex, imaginary part

rewrite8.2s

Algorithm
148×rewrite-expression-head
Calls

589 calls. Slowest were:

1.4s
(* (/ 1 (sqrt PI)) (+ (+ (+ (* 2 (fabs x)) (* (/ 2 3) (* (* (fabs x) (fabs x)) (fabs x)))) (* (/ 1 5) (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)))) (* (/ 1 21) (* (* (* (* (* (* (fabs x) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)) (fabs x)))))
609.0ms
(* (/ (* (pow (+ (+ 6 0.5) z) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (exp (+ (+ 6 0.5) z))) (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -176.6150291621406 (+ z 3))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ 1 z)))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (+ z 6)) (/ 1.5056327351493116e-07 (+ 7 z))))))
577.0ms
(+ (+ (/ (/ 0.284496736 (exp (* (fabs x) (fabs x)))) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))) 1) (- (* (exp (* (- (fabs x)) (fabs x))) (- (/ 1.453152027 (pow (fma 0.3275911 (fabs x) 1) 4)) (/ (/ 1.421413741 (fma 0.3275911 (fabs x) 1)) (* (fma 0.3275911 (fabs x) 1) (fma 0.3275911 (fabs x) 1))))) (* (exp (* (- (fabs x)) (fabs x))) (+ (/ 0.254829592 (fma 0.3275911 (fabs x) 1)) (/ 1.061405429 (pow (fma 0.3275911 (fabs x) 1) 5))))))
535.0ms
(* (* (/ (pow (+ (+ 6 0.5) z) (+ (- z 1) 0.5)) (exp (+ 6 0.5))) (/ (sqrt (* PI 2)) (exp z))) (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -176.6150291621406 (+ z 3))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ 1 z)))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (+ z 6)) (/ 1.5056327351493116e-07 (+ 7 z))))))
355.0ms
(* (* (/ (pow (+ z 6.5) (- z 0.5)) (exp 6.5)) (/ (sqrt (* PI 2)) (exp z))) (+ (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -176.6150291621406 (+ z 3))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ 1 z)))) (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (+ z 6)) (/ 1.5056327351493116e-07 (+ 7 z))))))

localize4.5s

bsearch2.3s

end1.0ms