Date:Monday, March 2nd, 2020
Commit:76ce2b17 on master
Hostname:warfa with Racket 7.5
Seed:2020062
Parameters:256 points for 4 iterations
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

Details

series3.8m (50.4%)

Calls

460 calls:

2.5m
(- (pow (pow 1.0 3) 3) (pow (* (sqrt (pow (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))) 3)) (sqrt (pow (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))) 3))) 3))
3.3s
(- (pow 1.0 3) (* (sqrt (pow (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))) 3)) (sqrt (pow (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))) 3))))
3.3s
(- (pow 1.0 3) (pow (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 0.254829592 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -0.284496736 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ 1.421413741 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ -1.453152027 (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) 1.061405429))))))))) (exp (- (* (fabs x) (fabs x))))) 3))
2.3s
(/ (* (* (/ i (+ (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))) (/ (+ (+ alpha beta) i) (- (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0)))) (sqrt (fma beta alpha (* i (+ (+ alpha beta) i))))) (/ (fma i 2.0 (+ alpha beta)) (/ (sqrt (fma beta alpha (* i (+ (+ alpha beta) i)))) (fma i 2.0 (+ alpha beta)))))
1.9s
(* (* (/ i (+ (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))) (/ (+ (+ alpha beta) i) (- (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0)))) (sqrt (fma beta alpha (* i (+ (+ alpha beta) i)))))

sample2.0m (27.1%)

Algorithm
100×intervals
Results
48.1s15728×body10240exit
25.3s525194×body80valid
14.7s30507×body1280valid
6.8s23444×body640valid
3.0s3053×body1280nan
2.7s70487×body80nan
2.2s11744×body320valid
1.8s2547×body640nan
1.2s10158×body160valid
669.0ms49536×pre80true
621.0ms1216×body320nan
366.0ms1465×body2560valid
207.0ms647×body160nan
159.0ms616×body5120valid

prune1.2m (15.7%)

simplify15.4s (3.4%)

Algorithm
254×egg-herbie

rewrite5.7s (1.3%)

Algorithm
154×rewrite-expression-head
Calls

460 calls:

293.0ms
(* (sqrt (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ alpha beta) (* 2.0 1.0)))) (/ (sqrt (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ alpha beta) (* 2.0 1.0)))) (+ beta (+ alpha (fma 1.0 2.0 1.0)))))
156.0ms
(/ (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- z 0))) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))) (exp (+ (+ (- z 1.0) 7.0) 0.5)))
145.0ms
(* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (- z 0))) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))
71.0ms
(* (/ 1 (sqrt (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))) (/ (* x (fma 0.0001789971 (* (pow x 2) (* (pow x 2) (* (pow x 2) (* x (pow x 3))))) (fma 0.0005064034 (* (pow x 2) (* (pow x 2) (* x (pow x 3)))) (fma 0.0072644182 (pow x 6) (fma 0.0424060604 (pow x 4) (fma (* 0.1049934947 x) x 1.0)))))) (sqrt (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))))
70.0ms
(/ (+ (+ (+ (+ (+ 1.0 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1.0 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2.0 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x)))))
Rules
8703×times-frac
8697×*-un-lft-identity
7275×add-sqr-sqrt
5836×add-cube-cbrt
2569×add-exp-log
1967×add-cbrt-cube
1791×prod-diff
1648×sqrt-prod
1506×pow1
1255×distribute-lft-out
1104×associate-*l*
1049×associate-*r*
940×unpow-prod-down
876×prod-exp
688×add-log-exp
663×associate-/l*
639×div-exp
625×cbrt-prod
607×cbrt-unprod
574×associate-/r*
573×cube-prod
501×flip-+ flip3-+
460×log1p-expm1-u expm1-log1p-u
432×associate-/r/
431×sqrt-div
423×cbrt-undiv
414×pow-prod-down
401×div-inv
394×associate-*r/
363×frac-times
338×difference-of-squares
322×unswap-sqr
316×distribute-rgt-in distribute-lft-in
285×distribute-lft-out--
280×cbrt-div
271×fma-neg
248×sqr-pow
236×frac-add
233×log-pow
220×associate-*l/
194×log-prod
174×sqrt-pow1
160×associate--l+
149×pow-exp
143×flip3-- flip--
135×*-commutative
133×fma-def
126×exp-sum
121×associate-/l/
120×cube-div
117×unpow3 cube-mult
114×1-exp
99×swap-sqr
97×pow-unpow
95×pow1/2
89×sub-neg
88×clear-num frac-2neg
87×pow1/3
80×diff-log
75×pow-to-exp
74×rec-exp
71×associate--r+
48×pow-prod-up exp-prod
45×sum-log
44×exp-neg
43×associate-+l-
42×exp-diff
41×pow-pow
40×rem-sqrt-square fma-udef
38×neg-sub0
37×rem-cube-cbrt
36×pow-sqr pow-sub
33×+-commutative
27×distribute-rgt-neg-in distribute-lft-neg-in
23×neg-mul-1
17×associate-+l+ pow-plus div-sub
16×pow2 associate--l-
15×log-div
12×hypot-def
11×pow-flip
10×un-div-inv frac-sub
9×associate-+r+
8×rem-exp-log inv-pow
7×sqrt-unprod hypot-udef rem-log-exp
6×unpow2
4×sin-sum rem-cbrt-cube
3×distribute-rgt-neg-out
2×difference-cubes distribute-neg-in unpow-prod-up rem-square-sqrt neg-log mul-1-neg
1×sqrt-pow2 expm1-log1p log-rec cos-sum associate--r- expm1-udef exp-to-pow

regimes5.2s (1.2%)

Accuracy

Total 43.3b remaining (31.8%)

Threshold costs 4.3b (3.2%)

9.2b22.7%_divideComplex, imaginary part
7.3b33.9%_divideComplex, real part
5.6b17.1%Octave 3.8, jcobi/2
4.6b22%math.sqrt on complex, imaginary part, im greater than 0 branch
4.4b24.3%math.sqrt on complex, real part

localize2.9s (0.6%)

bsearch1.0s (0.2%)

end1.0ms (0.0%)