Time: 54.6m
Passed: 28/38
Tests: 50
Bits: 361/627
Date:Monday, January 21st, 2019
Commit:41534ba9a5a4da8e4e9dad98698119b99dce2613 on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2019021
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
powComplex, real part30.60.42.3m»
powComplex, imaginary part31.211.03.9m»
normal distribution0.40.459.2s»
math.square on complex, real part0.00.01.8s»
math.square on complex, imaginary part0.001.4s»
math.sqrt on complex, imaginary part, im greater than 0 branch37.326.013.4s»
math.sin on complex, real part0.00.018.0s»
math.log10 on complex, real part30.617.321.4s»
math.log10 on complex, imaginary part1.1m»
math.log/2 on complex, real part30.617.657.6s»
math.log/2 on complex, imaginary part1.6m»
math.log/1 on complex, real part30.316.92.8s»
math.log/1 on complex, imaginary part19.3s»
math.exp on complex, real part0.00.07.0s»
math.exp on complex, imaginary part0.00.08.2s»
math.cos on complex, real part0.00.034.0s»
math.arg on complex19.8s»
math.abs on complex29.216.65.3s»
_multiplyComplex, real part0.00.015.5s»
_multiplyComplex, imaginary part0.00.07.3s»
_divideComplex, real part25.425.413.2s»
_divideComplex, imaginary part25.325.217.4s»
Octave 3.8, oct_fill_randg0.10.132.8s»
Octave 3.8, jcobi/4, as called45.20.06.4s»
Octave 3.8, jcobi/452.937.94.8m»
Octave 3.8, jcobi/34.03.73.5m»
Octave 3.8, jcobi/223.813.11.8m»
Octave 3.8, jcobi/116.66.522.5s»
Jmat.Real.lambertw, estimator0.30.05.5s»
Jmat.Real.gamma, branch z less than 0.51.80.52.2m»
Jmat.Real.gamma, branch z greater than 0.510.0m»
Jmat.Real.erfi, branch x less than or equal to 0.50.20.22.8m»
Jmat.Real.erfi, branch x greater than or equal to 51.51.258.5s»
Jmat.Real.erf14.114.02.0m»
Jmat.Real.dawson28.10.03.9m»
math.sqrt on complex, real part37.129.132.415.5s»
math.sin on complex, imaginary part58.00.70.337.4s»
math.cube on real0.100978.0ms»
math.cube on complex, real part7.00.50.229.7s»
math.cube on complex, imaginary part7.20.60.237.4s»
math.cos on complex, imaginary part43.50.70.338.6s»
Jmat.Real.lambertw, newton loop step14.10.713.320.1s»
FastMath test50.1004.4s»
FastMath test30.10.10.110.3s»
FastMath test20.20.00.011.4s»
FastMath test10.3001.1s»
FastMath repmul0.1001.2s»
FastMath dist40.00.00.03.4m»
FastMath dist30.00.00.011.1s»
FastMath dist0.00.00.06.7s»

Details

simplify30.9m

Calls

12550 calls:

Slowest
2.3s
(* (exp (* (- (* x.re x.re) (* x.im x.im)) x.im)) (exp (* (+ (* x.re x.im) (* x.im x.re)) x.re)))
1.5s
(* (* (exp (/ -0.13857109526572012 (- 7 (+ z 1)))) (exp (/ 12.507343278686905 (- 6 (+ z 1))))) (exp (+ (/ 1.5056327351493116e-07 (- 1 (+ z -7))) (/ 9.984369578019572e-06 (+ (- 1 z) 6)))))
1.4s
(+ (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 1 (+ z -7))) (/ 9.984369578019572e-06 (+ (- 1 z) 6))))
1.4s
(* (exp (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1))))) (exp (+ (/ 1.5056327351493116e-07 (- 1 (+ z -7))) (/ 9.984369578019572e-06 (+ (- 1 z) 6)))))
1.3s
(+ (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 1 (+ z -7))) (/ 9.984369578019572e-06 (+ (- 1 z) 6))))

sample10.0m

Algorithm
91×intervals
Results
6.4m99984×body10240exit
1.9m513314×body80valid
25.7s22570×body1280valid
12.7s17734×body640valid
11.2s69155×body80nan
6.5s1546×body1280nan
4.7s9638×body320valid
4.5s9171×body160valid
4.0s1310×body640nan
2.1s644×body320nan
2.1s49536×pre80true
1.3s1447×body2560valid
513.0ms614×body5120valid
465.0ms338×body160nan

prune5.5m

series1.1m

Calls

497 calls:

Slowest
7.4s
(+ (pow (* (+ beta alpha) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2 i))) (+ (+ (+ alpha beta) (* 2 i)) 2.0))) 3) (pow 1.0 3))
1.1s
(pow (pow (* (pow (log u1) 1.0) (pow -2 1.0)) 0.5) 3)
1.0s
(pow (* (pow (log u1) 1.0) (pow -2 1.0)) 0.5)
1.0s
(- 1 (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (cbrt (* (* (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429)))))))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429))))))))))) (exp (- (* (fabs x) (fabs x))))))
966.0ms
(- 1 (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))))

bsearch18.2s

rewrite17.0s

Algorithm
155×rewrite-expression-head
Calls

497 calls:

Slowest
5.8s
(* (sqrt (* (/ 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)))))) (sqrt (* (/ 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)))))))
1.2s
(* (/ 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)))))
576.0ms
(* (/ (* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (exp (+ (- z -6) 0.5))) (+ (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (- z -7)))) (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -176.6150291621406 (- z -3))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ 1 z))))))
522.0ms
(* (* (/ (sqrt (+ (+ (+ (* (pow x 4) 0.0424060604) (* (* x 0.0072644182) (pow x 5))) (+ 1 (* (* x x) 0.1049934947))) (* (* (pow x 4) (pow x 4)) (+ (* (* x x) 0.0001789971) 0.0005064034)))) (sqrt (+ (+ (+ (* (* 0.0694555761 x) (pow x 5)) (* (pow x 4) 0.2909738639)) (+ 1 (* (* x x) 0.7715471019))) (* (* (pow x 4) (pow x 4)) (+ (* (* 2 0.0001789971) (pow x 4)) (+ 0.0140005442 (* (* x 0.0008327945) x))))))) (/ (sqrt (+ (+ (+ (* (pow x 4) 0.0424060604) (* (* x 0.0072644182) (pow x 5))) (+ 1 (* (* x x) 0.1049934947))) (* (* (pow x 4) (pow x 4)) (+ (* (* x x) 0.0001789971) 0.0005064034)))) (sqrt (+ (+ (+ (* (* 0.0694555761 x) (pow x 5)) (* (pow x 4) 0.2909738639)) (+ 1 (* (* x x) 0.7715471019))) (* (* (pow x 4) (pow x 4)) (+ (* (* 2 0.0001789971) (pow x 4)) (+ 0.0140005442 (* (* x 0.0008327945) x)))))))) x)
516.0ms
(* (* (/ (* (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (sqrt (* PI 2))) (exp z)) (exp (- -6 0.5))) (+ (+ (+ (/ -0.13857109526572012 (+ z 5)) (/ 12.507343278686905 (- z -4))) (+ (/ 9.984369578019572e-06 (- z -6)) (/ 1.5056327351493116e-07 (- z -7)))) (+ (+ (/ 771.3234287776531 (+ z 2)) (/ -176.6150291621406 (- z -3))) (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ 1 z))))))
Rules
7494×frac-add
4823×flip-+
4823×flip3-+
3647×times-frac
3446×frac-times
3206×*-un-lft-identity
2823×associate-*r/
2728×add-sqr-sqrt
2634×add-cube-cbrt
1621×add-exp-log
1561×associate-*l/
1185×sqrt-prod
1021×add-cbrt-cube
924×cbrt-div
914×associate-*l*
861×pow1
841×associate-/r/
828×sqrt-div
819×associate-*r*
770×prod-exp
712×add-log-exp
685×exp-diff
648×frac-sub
618×flip3--
618×flip--
398×distribute-lft-out
391×associate-/l/
318×pow-exp
291×associate-/r*
280×div-inv
262×associate-/l*
259×cbrt-prod
197×pow-to-exp
192×cbrt-unprod
144×div-exp
143×*-commutative
136×cbrt-undiv
124×pow-prod-down
118×pow1/2
114×pow1/3
89×sum-log
69×distribute-rgt-in
69×distribute-lft-in
68×pow-prod-up
67×sub-neg
66×+-commutative
64×frac-2neg
64×clear-num
61×log-div
58×pow-plus
56×unpow-prod-down
56×rem-sqrt-square
49×log-pow
48×log-prod
34×pow2
31×diff-log
29×difference-of-squares
28×distribute-neg-frac
22×exp-prod
18×cube-prod
18×distribute-lft-out--
18×associate--l+
17×pow-pow
16×div-sub
14×exp-sum
13×associate-+l+
11×sqrt-undiv
11×associate-+r+
11×associate--r+
10×associate-+l-
9×distribute-lft-neg-in
9×sqrt-unprod
9×distribute-rgt-neg-in
8×rec-exp
8×distribute-rgt-out
7×pow3
7×unpow3
7×difference-cubes
7×cube-mult
6×pow-flip
6×rem-log-exp
6×sub-div
6×rem-square-sqrt
5×inv-pow
5×distribute-rgt1-in
4×rem-cube-cbrt
4×sin-sum
4×cube-unmult
4×distribute-neg-in
4×rem-exp-log
3×neg-mul-1
3×distribute-rgt-out--
3×rem-cbrt-cube
3×pow-sub
2×unpow-prod-up
2×cos-mult
2×distribute-rgt-neg-out
2×sum-cubes
1×associate--l-
1×exp-neg
1×sub0-neg
1×cos-sum
1×cube-div
1×associate--r-

regimes13.7s

Accuracy

Total 88.0b remaining (33%)

10.3b52.4%math.log/2 on complex, real part
10.3b56.5%math.log10 on complex, real part
10.1b57.2%math.log/1 on complex, real part
9.4b57.1%math.abs on complex
8.9b57.2%math.sqrt on complex, imaginary part, im greater than 0 branch

localize5.6s

end1.0ms