Time: 1.0hr
Passed: 28/38
Tests: 50
Bits: 340/601
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
powComplex, real part30.70.22.4m»
powComplex, imaginary part30.910.83.9m»
normal distribution0.40.431.2s»
math.square on complex, real part0.00.02.1s»
math.square on complex, imaginary part0.00.01.9s»
math.sqrt on complex, imaginary part, im greater than 0 branch37.431.913.2s»
math.sin on complex, real part0.00.01.2m»
math.log10 on complex, real part31.217.019.0s»
math.log10 on complex, imaginary part1.2m»
math.log/2 on complex, real part31.317.31.1m»
math.log/2 on complex, imaginary part1.7m»
math.log/1 on complex, real part30.916.52.7s»
math.log/1 on complex, imaginary part21.5s»
math.exp on complex, real part0.00.03.8s»
math.exp on complex, imaginary part0.00.012.6s»
math.cos on complex, real part0.00.015.7s»
math.arg on complex21.6s»
math.abs on complex29.716.42.6s»
_multiplyComplex, real part0.00.015.6s»
_multiplyComplex, imaginary part0.00.024.0s»
_divideComplex, real part25.725.614.9s»
_divideComplex, imaginary part25.725.516.1s»
Octave 3.8, oct_fill_randg0.10.133.1s»
Octave 3.8, jcobi/4, as called45.80.011.6s»
Octave 3.8, jcobi/452.437.55.6m»
Octave 3.8, jcobi/33.62.52.9m»
Octave 3.8, jcobi/223.812.51.4m»
Octave 3.8, jcobi/116.35.718.1s»
Jmat.Real.lambertw, estimator0.30.06.9s»
Jmat.Real.gamma, branch z less than 0.51.80.62.3m»
Jmat.Real.gamma, branch z greater than 0.510.0m»
Jmat.Real.erfi, branch x less than or equal to 0.50.20.231.9s»
Jmat.Real.erfi, branch x greater than or equal to 51.51.259.0s»
Jmat.Real.erf13.713.72.4m»
Jmat.Real.dawson10.0m»
math.sqrt on complex, real part37.822.932.813.2s»
math.sin on complex, imaginary part58.00.80.228.8s»
math.cube on real0.1001.2s»
math.cube on complex, real part6.70.20.213.4s»
math.cube on complex, imaginary part6.80.20.24.3m»
math.cos on complex, imaginary part43.80.80.342.5s»
Jmat.Real.lambertw, newton loop step13.30.412.720.5s»
FastMath test50.1005.5s»
FastMath test30.10.10.135.7s»
FastMath test20.20.00.014.9s»
FastMath test10.3001.2s»
FastMath repmul0.1001.5s»
FastMath dist40.00.00.01.1m»
FastMath dist30.00.00.011.9s»
FastMath dist0.00.00.05.8s»

Details

simplify30.7m

Calls

12462 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.9s
(* (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (/ 1 (* (log base) (log base))))
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.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
(+ (+ (/ -0.13857109526572012 (- 7 (+ z 1))) (/ 12.507343278686905 (- 6 (+ z 1)))) (+ (/ 1.5056327351493116e-07 (- 1 (+ z -7))) (/ 9.984369578019572e-06 (+ (- 1 z) 6))))

sample10.4m

Algorithm
90×intervals
Results
742579×(pre true 80)
506731×(body real 80)
101086×(body exit 10240)
69604×(body nan 80)
22977×(body real 1280)
18017×(body real 640)
9433×(body real 320)
8790×(body real 160)
1630×(body nan 1280)
1421×(body real 2560)
1286×(body nan 640)
653×(body nan 320)
640×(body real 5120)
311×(body nan 160)

prune5.1m

series58.1s

Calls

482 calls:

Slowest
2.4s
(- 1 (* (* (/ 1 (- 1 (* (* (fabs x) 0.3275911) (* (fabs x) 0.3275911)))) (* (- 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))))))
1.1s
(log (* (pow (* -2 (log u1)) 0.5) 1/6))
1.0s
(* (pow (* -2 (log u1)) 0.5) 1/6)
947.0ms
(* (pow (* -2 (log u1)) 0.5) 1/6)
945.0ms
(* (pow (* -2 (log u1)) 0.5) 1/6)

rewrite24.4s

Algorithm
155×rewrite-expression-head
Calls

482 calls:

Slowest
1.3s
(/ (+ (* (- 0.0005064034 (* 0.0001789971 (* x x))) (+ (* (- 0.0424060604 (* (* x x) 0.0072644182)) (- 1 (* (* x (* 0.1049934947 x)) (* x (* 0.1049934947 x))))) (* (* (- 1 (* x (* 0.1049934947 x))) (+ 0.0424060604 (* (* x x) 0.0072644182))) (* (- 0.0424060604 (* (* x x) 0.0072644182)) (pow x 4))))) (* (* (* (* (pow x 4) (pow x 4)) (+ 0.0005064034 (* 0.0001789971 (* x x)))) (- 0.0005064034 (* 0.0001789971 (* x x)))) (* (- 1 (* x (* 0.1049934947 x))) (- 0.0424060604 (* (* x x) 0.0072644182))))) (* (+ (+ (* (cbrt (* (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (* 2 0.0001789971))) (* (pow x 4) (* 2 0.0001789971)))) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (pow x 4)) (+ (* 0.0008327945 (* x x)) 0.0140005442)) (* (pow x 4) (+ 0.2909738639 (* (* x 0.0694555761) x))))) (* (- 1 (* (* x x) 0.1049934947)) (* (- 0.0424060604 (* x (* x 0.0072644182))) (- 0.0005064034 (* x (* x 0.0001789971)))))))
538.0ms
(* (/ (+ (* (- 0.0005064034 (* 0.0001789971 (* x x))) (+ (* (- 0.0424060604 (* (* x x) 0.0072644182)) (- 1 (* (* x (* 0.1049934947 x)) (* x (* 0.1049934947 x))))) (* (* (- 1 (* x (* 0.1049934947 x))) (+ 0.0424060604 (* (* x x) 0.0072644182))) (* (- 0.0424060604 (* (* x x) 0.0072644182)) (pow x 4))))) (* (* (* (* (pow x 4) (pow x 4)) (+ 0.0005064034 (* 0.0001789971 (* x x)))) (- 0.0005064034 (* 0.0001789971 (* x x)))) (* (- 1 (* x (* 0.1049934947 x))) (- 0.0424060604 (* (* x x) 0.0072644182))))) (* (+ (+ (* (cbrt (* (* (* (pow x 4) (* 2 0.0001789971)) (* (pow x 4) (* 2 0.0001789971))) (* (pow x 4) (* 2 0.0001789971)))) (* (pow x 4) (pow x 4))) (+ (* (* x 0.7715471019) x) 1)) (+ (* (* (pow x 4) (pow x 4)) (+ (* 0.0008327945 (* x x)) 0.0140005442)) (* (pow x 4) (+ 0.2909738639 (* (* x 0.0694555761) x))))) (* (- 1 (* (* x x) 0.1049934947)) (* (- 0.0424060604 (* x (* x 0.0072644182))) (- 0.0005064034 (* x (* x 0.0001789971))))))) x)
532.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))))))
512.0ms
(* (/ (pow (+ (- z -6) 0.5) (+ (- z 1) 0.5)) (exp (- z -6))) (* (/ (sqrt (* PI 2)) (exp 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)))))))
392.0ms
(* (/ (sqrt (* PI 2)) (exp 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
205538×frac-times
141852×flip3--
141852×flip--
112799×frac-add
111457×associate-*r/
104920×associate-*l/
50680×associate-/l/
41217×flip-+
41217×flip3-+
3287×times-frac
2981×*-un-lft-identity
2519×add-sqr-sqrt
2373×add-cube-cbrt
2309×cbrt-div
1476×associate-/r/
1467×add-exp-log
1145×add-cbrt-cube
1046×pow1
1027×associate-*l*
721×associate-*r*
695×add-log-exp
519×sqrt-div
508×prod-exp
426×distribute-lft-out
376×sqrt-prod
323×associate-/l*
307×div-exp
305×associate-/r*
278×div-inv
277×cbrt-unprod
261×cbrt-prod
221×pow-prod-down
153×cbrt-undiv
151×*-commutative
146×unpow-prod-down
133×pow1/2
130×log-pow
105×distribute-rgt-in
105×distribute-lft-in
98×pow1/3
91×pow-prod-up
89×sum-log
86×sub-neg
83×difference-of-squares
75×pow-plus
74×cube-prod
70×pow-exp
70×frac-2neg
70×clear-num
58×+-commutative
56×pow-to-exp
51×rec-exp
50×exp-prod
49×rem-sqrt-square
44×distribute-lft-out--
44×exp-sum
38×pow2
34×diff-log
30×log-prod
30×div-sub
29×log-div
28×distribute-neg-frac
22×frac-sub
18×associate-+l+
18×unpow-prod-up
17×pow-pow
16×exp-diff
15×associate-+r+
12×pow-flip
10×associate--r+
10×difference-cubes
9×associate--l+
9×pow3
9×distribute-rgt-neg-in
9×inv-pow
9×distribute-lft-neg-in
8×associate-+l-
7×unpow3
7×cube-mult
6×cube-unmult
6×neg-mul-1
6×rem-exp-log
6×distribute-rgt-out
5×rem-cube-cbrt
5×exp-neg
5×cube-div
5×distribute-rgt1-in
4×sin-sum
4×associate-+r-
4×un-div-inv
4×rem-log-exp
4×distribute-neg-in
3×associate--l-
3×sqrt-unprod
3×rem-cbrt-cube
3×associate--r-
3×pow-sub
2×distribute-rgt-neg-out
2×sub0-neg
2×neg-sub0
2×rem-square-sqrt
1×difference-of-sqr--1
1×sqrt-undiv
1×unpow2
1×cos-sum

regimes13.8s

Accuracy

Total 89.2b remaining (34.2%)

13.1b57%math.sqrt on complex, real part
11.2b33.2%math.sqrt on complex, imaginary part, im greater than 0 branch
10.1b58.1%math.log/2 on complex, real part
9.6b59.7%math.log10 on complex, real part
9.4b60.5%math.log/1 on complex, real part

bsearch9.9s

localize5.2s

end1.0ms