Time: 55.8m
Passed: 29/38
Tests: 50
Bits: 368/605
Date:Tuesday, January 22nd, 2019
Commit:45d4082dea7f80b56c44622251112721670e87cb on develop
Hostname:warfa
Points:256
Fuel:4
Seed:2019022
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 part31.00.32.3m»
powComplex, imaginary part31.711.33.8m»
normal distribution0.40.533.4s»
math.square on complex, real part0.00.02.6s»
math.square on complex, imaginary part0.00.0986.0ms»
math.sqrt on complex, imaginary part, im greater than 0 branch37.222.714.6s»
math.sin on complex, real part0.00.015.1s»
math.log10 on complex, real part31.217.018.9s»
math.log10 on complex, imaginary part97.0ms»
math.log/2 on complex, real part30.917.253.9s»
math.log/2 on complex, imaginary part179.0ms»
math.log/1 on complex, real part30.916.73.1s»
math.log/1 on complex, imaginary part22.0ms»
math.exp on complex, real part0.00.011.6s»
math.exp on complex, imaginary part0.00.07.0s»
math.cos on complex, real part0.00.08.9s»
math.arg on complex32.0ms»
math.abs on complex29.716.62.2s»
_multiplyComplex, real part0.00.02.0s»
_multiplyComplex, imaginary part0.00.01.4s»
_divideComplex, real part26.126.012.9s»
_divideComplex, imaginary part26.126.114.7s»
Octave 3.8, oct_fill_randg0.10.138.2s»
Octave 3.8, jcobi/4, as called45.30.27.2s»
Octave 3.8, jcobi/452.538.82.3m»
Octave 3.8, jcobi/33.51.13.0m»
Octave 3.8, jcobi/210.0m»
Octave 3.8, jcobi/116.03.117.8s»
Jmat.Real.lambertw, estimator0.30.04.9s»
Jmat.Real.gamma, branch z less than 0.51.80.62.0m»
Jmat.Real.gamma, branch z greater than 0.510.0m»
Jmat.Real.erfi, branch x less than or equal to 0.50.20.238.8s»
Jmat.Real.erfi, branch x greater than or equal to 515.0s»
Jmat.Real.erf13.910.64.5m»
Jmat.Real.dawson28.40.02.3m»
math.sqrt on complex, real part37.923.332.711.3s»
math.sin on complex, imaginary part58.00.80.228.0s»
math.cube on real0.1001.1s»
math.cube on complex, real part7.20.70.21.4m»
math.cube on complex, imaginary part7.10.70.26.0m»
math.cos on complex, imaginary part43.40.80.325.4s»
Jmat.Real.lambertw, newton loop step13.21.012.720.8s»
FastMath test50.1004.4s»
FastMath test30.10.10.120.7s»
FastMath test20.20.00.011.3s»
FastMath test10.3001.1s»
FastMath repmul0.1001.4s»
FastMath dist40.00.00.08.7s»
FastMath dist30.00.00.019.5s»
FastMath dist0.00.00.010.9s»

Details

simplify30.7m

Calls

12748 calls:

Slowest
2.2s
(* (exp (* (- (* x.re x.re) (* x.im x.im)) x.im)) (exp (* (+ (* x.re x.im) (* x.im x.re)) x.re)))
1.6s
(* (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
(* (* (exp (/ -0.13857109526572012 (- 7 (+ z 1)))) (exp (/ 12.507343278686905 (- 6 (+ z 1))))) (* (exp (/ 1.5056327351493116e-07 (- 1 (+ z -7)))) (exp (/ 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))))

sample9.0m

Algorithm
89×intervals
Results
6.3m98569×body10240exit
1.2m399114×body80valid
25.3s22376×body1280valid
14.1s17257×body640valid
11.0s70612×body80nan
6.8s1595×body1280nan
4.2s8926×body320valid
3.8s1275×body640nan
3.3s8695×body160valid
1.8s41536×pre80true
1.5s679×body320nan
1.1s1385×body2560valid
642.0ms630×body5120valid
418.0ms339×body160nan

prune5.0m

series50.0s

Calls

461 calls:

Slowest
1.9s
(- (* 1 1) (* (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (+ (* -0.284496736 (/ 1 (+ 1 (* 0.3275911 (fabs x))))) (/ (+ (/ 1.061405429 (* (+ 1 (* (fabs x) 0.3275911)) (+ 1 (* (fabs x) 0.3275911)))) (+ (/ -1.453152027 (+ 1 (* (fabs x) 0.3275911))) 1.421413741)) (* (+ 1 (* (fabs x) 0.3275911)) (+ 1 (* (fabs x) 0.3275911))))))) (exp (- (* (fabs x) (fabs x))))) (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (+ (* -0.284496736 (/ 1 (+ 1 (* 0.3275911 (fabs x))))) (/ (+ (/ 1.061405429 (* (+ 1 (* (fabs x) 0.3275911)) (+ 1 (* (fabs x) 0.3275911)))) (+ (/ -1.453152027 (+ 1 (* (fabs x) 0.3275911))) 1.421413741)) (* (+ 1 (* (fabs x) 0.3275911)) (+ 1 (* (fabs x) 0.3275911))))))) (exp (- (* (fabs x) (fabs x)))))))
1.4s
(- (* 1 1) (* (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (+ (* -0.284496736 (/ 1 (+ 1 (* 0.3275911 (fabs x))))) (/ (+ (/ 1.061405429 (* (+ 1 (* (fabs x) 0.3275911)) (+ 1 (* (fabs x) 0.3275911)))) (+ (/ -1.453152027 (+ 1 (* (fabs x) 0.3275911))) 1.421413741)) (* (+ 1 (* (fabs x) 0.3275911)) (+ 1 (* (fabs x) 0.3275911))))))) (exp (- (* (fabs x) (fabs x))))) (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (cbrt (* (* (+ 0.254829592 (+ (* -0.284496736 (/ 1 (+ 1 (* 0.3275911 (fabs x))))) (/ (+ (/ 1.061405429 (* (+ 1 (* (fabs x) 0.3275911)) (+ 1 (* (fabs x) 0.3275911)))) (+ (/ -1.453152027 (+ 1 (* (fabs x) 0.3275911))) 1.421413741)) (* (+ 1 (* (fabs x) 0.3275911)) (+ 1 (* (fabs x) 0.3275911)))))) (+ 0.254829592 (+ (* -0.284496736 (/ 1 (+ 1 (* 0.3275911 (fabs x))))) (/ (+ (/ 1.061405429 (* (+ 1 (* (fabs x) 0.3275911)) (+ 1 (* (fabs x) 0.3275911)))) (+ (/ -1.453152027 (+ 1 (* (fabs x) 0.3275911))) 1.421413741)) (* (+ 1 (* (fabs x) 0.3275911)) (+ 1 (* (fabs x) 0.3275911))))))) (+ 0.254829592 (+ (* -0.284496736 (/ 1 (+ 1 (* 0.3275911 (fabs x))))) (/ (+ (/ 1.061405429 (* (+ 1 (* (fabs x) 0.3275911)) (+ 1 (* (fabs x) 0.3275911)))) (+ (/ -1.453152027 (+ 1 (* (fabs x) 0.3275911))) 1.421413741)) (* (+ 1 (* (fabs x) 0.3275911)) (+ 1 (* (fabs x) 0.3275911))))))))) (exp (- (* (fabs x) (fabs x)))))))
940.0ms
(* (pow (* -2 (log u1)) 0.5) 1/6)
905.0ms
(* (pow (* -2 (log u1)) 0.5) 1/6)
888.0ms
(- 1 (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (+ (* -0.284496736 (/ 1 (+ 1 (* 0.3275911 (fabs x))))) (/ (+ (/ 1.061405429 (* (+ 1 (* (fabs x) 0.3275911)) (+ 1 (* (fabs x) 0.3275911)))) (+ (/ -1.453152027 (+ 1 (* (fabs x) 0.3275911))) 1.421413741)) (* (+ 1 (* (fabs x) 0.3275911)) (+ 1 (* (fabs x) 0.3275911))))))) (exp (- (* (fabs x) (fabs x))))))

bsearch19.6s

rewrite11.3s

Algorithm
147×rewrite-expression-head
Calls

461 calls:

Slowest
896.0ms
(* (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (+ (* -0.284496736 (/ 1 (+ 1 (* 0.3275911 (fabs x))))) (/ (+ (/ 1.061405429 (* (+ 1 (* (fabs x) 0.3275911)) (+ 1 (* (fabs x) 0.3275911)))) (+ (/ -1.453152027 (+ 1 (* (fabs x) 0.3275911))) 1.421413741)) (* (+ 1 (* (fabs x) 0.3275911)) (+ 1 (* (fabs x) 0.3275911))))))) (exp (- (* (fabs x) (fabs x))))) (* (* (/ 1 (+ 1 (* 0.3275911 (fabs x)))) (+ 0.254829592 (+ (* -0.284496736 (/ 1 (+ 1 (* 0.3275911 (fabs x))))) (/ (+ (/ 1.061405429 (* (+ 1 (* (fabs x) 0.3275911)) (+ 1 (* (fabs x) 0.3275911)))) (+ (/ -1.453152027 (+ 1 (* (fabs x) 0.3275911))) 1.421413741)) (* (+ 1 (* (fabs x) 0.3275911)) (+ 1 (* (fabs x) 0.3275911))))))) (exp (- (* (fabs x) (fabs x))))))
560.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))))))
554.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))))))
385.0ms
(/ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (log base) (log base)))
355.0ms
(+ (+ (+ (/ -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
11376×times-frac
6527×frac-times
6484×*-un-lft-identity
5826×add-sqr-sqrt
5767×add-cube-cbrt
5207×associate-*l/
4976×cbrt-div
4666×frac-add
4400×flip-+
4400×flip3-+
3331×sqrt-prod
2421×associate-*r/
1663×flip3--
1663×flip--
1183×add-exp-log
1109×pow1
1102×add-cbrt-cube
1078×associate-/r*
891×associate-/r/
776×add-log-exp
547×exp-diff
526×associate-*l*
495×distribute-lft-out
458×div-inv
444×associate-*r*
397×sqrt-div
336×prod-exp
299×pow-prod-down
297×associate-/l*
272×cbrt-unprod
267×exp-neg
228×neg-sub0
206×associate-/l/
181×sum-log
170×div-exp
150×*-commutative
147×cbrt-undiv
136×cbrt-prod
103×pow1/2
102×pow-prod-up
92×pow1/3
75×frac-2neg
75×clear-num
66×pow-plus
59×+-commutative
54×sub-neg
51×distribute-rgt-in
51×distribute-lft-in
50×log-pow
42×un-div-inv
41×unpow-prod-down
40×rem-sqrt-square
37×log-prod
36×pow2
28×rec-exp
28×diff-log
21×exp-sum
20×difference-of-squares
20×frac-sub
19×log-div
16×pow-exp
15×pow-to-exp
15×div-sub
14×associate-+r+
11×distribute-lft-out--
10×associate-+l+
9×pow-flip
9×pow3
9×pow-pow
8×associate-+l-
7×cube-prod
7×inv-pow
7×distribute-rgt-out
6×sin-sum
6×rem-log-exp
6×distribute-lft-neg-in
6×distribute-rgt-neg-in
6×associate--l+
6×distribute-rgt1-in
5×associate--r+
5×exp-prod
4×unpow-prod-up
4×sqrt-unprod
4×distribute-neg-frac
4×rem-cbrt-cube
4×distribute-neg-in
3×sqrt-undiv
3×cube-unmult
3×unpow3
3×neg-mul-1
3×cube-mult
3×pow-sub
2×distribute-rgt-neg-out
2×rem-square-sqrt
1×distribute-lft-neg-out
1×associate--l-
1×rem-cube-cbrt
1×sub0-neg
1×difference-cubes
1×unpow2
1×rem-exp-log
1×cos-sum
1×cube-div
1×associate--r-

regimes11.2s

Accuracy

Total 85.6b remaining (36.2%)

13.6b52%math.sqrt on complex, real part
12.7b53.2%math.sqrt on complex, imaginary part, im greater than 0 branch
10.0b52.5%math.log/2 on complex, real part
9.7b59.1%math.log10 on complex, real part
9.5b59.8%math.log/1 on complex, real part

localize4.4s

end1.0ms