Date:Sunday, April 12th, 2020
Commit:48b457a7 on overflow-detection-both-ends
Hostname:warfa with Racket 7.5
Seed:2020103
Parameters:256 points for 4 iterations
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

Details

series3.6m (49.4%)

Calls

514 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.2s
(- (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.4s
(* (/ (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))) (/ (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2.0 i))) (- (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))))
2.2s
(/ (* (/ (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))) (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2.0 i)))) (- (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0)))

sample2.1m (28.4%)

Algorithm
100×intervals
Results
47.0s8114×body5120exit
22.9s447947×body80valid
15.9s30586×body1280valid
7.6s23492×body640valid
4.4s3236×body1280nan
3.4s70164×body80nan
2.6s11893×body320valid
2.5s2623×body640nan
1.4s10116×body160valid
906.0ms49536×pre80true
853.0ms8041×body80overflowed
845.0ms1275×body320nan
491.0ms1509×body2560valid
267.0ms631×body160nan
198.0ms589×body5120valid

prune1.1m (14.4%)

Filtered
19332 candidates to 12355 candidates (63.9%)

simplify15.1s (3.5%)

Algorithm
265×egg-herbie

regimes7.8s (1.8%)

Accuracy

Total 88.2b remaining (31.1%)

Threshold costs 4.7b (1.7%)

10.8b56.1%math.log/2 on complex, real part
10.4b58%math.log10 on complex, real part
10.2b58.5%math.log/1 on complex, real part
9.8b59%math.abs on complex
9.1b56.7%math.sqrt on complex, imaginary part, im greater than 0 branch

rewrite6.5s (1.5%)

Algorithm
165×rewrite-expression-head
Calls

514 calls:

155.0ms
(* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (exp (- (+ (+ (- z 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -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))))
92.0ms
(* (/ (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))) (/ (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2.0 i))) (- (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))))
71.0ms
(/ 1 (/ (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0) (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ alpha beta) (* 2.0 1.0)))))
70.0ms
(* (/ (/ 1.0 (sqrt 9.0)) (sqrt (- a (/ 1.0 3.0)))) rand)
60.0ms
(- (+ (/ (/ x (+ wj 1)) (exp wj)) wj) (/ (/ wj (* (cbrt (+ wj 1)) (cbrt (+ wj 1)))) (cbrt (+ wj 1))))
Rules
10908×times-frac
8898×*-un-lft-identity
7888×add-sqr-sqrt
5972×add-cube-cbrt
3807×add-exp-log
2714×add-cbrt-cube
1893×sqrt-prod
1697×pow1
1596×associate-*r*
1580×prod-exp
1448×associate-*l*
1166×distribute-lft-out
1068×flip-+ flip3-+
1000×div-exp
994×cbrt-unprod
921×associate-*r/
822×add-log-exp
796×frac-add
778×associate-/r*
764×associate-/r/
707×frac-times
606×cbrt-undiv
550×unpow-prod-down
482×difference-of-squares
476×associate-/l*
438×associate-*l/
425×div-inv
413×pow-prod-down
399×unswap-sqr
332×distribute-lft-out--
324×cbrt-prod
265×sqrt-div
253×log-pow
242×swap-sqr
209×pow-exp
192×exp-prod
170×sqr-pow
162×cbrt-div
159×*-commutative
158×associate-/l/
157×flip3-- flip--
154×sqrt-pow1
149×log-prod
145×exp-neg
128×pow1/3
126×pow-to-exp
125×exp-diff
120×cube-prod
115×neg-sub0
111×cube-div
105×distribute-rgt-in distribute-lft-in
97×pow1/2
89×sub-neg
86×clear-num frac-2neg diff-log
84×pow-prod-up
83×sum-log
76×pow-unpow pow-sqr
68×1-exp rec-exp
63×rem-sqrt-square
59×pow-pow
55×associate-+l-
53×pow-sub
51×+-commutative
48×distribute-rgt-neg-in
46×associate--l+
44×distribute-lft-neg-in
42×pow-plus
40×exp-sum
37×un-div-inv
36×pow2
28×rem-cube-cbrt
24×distribute-neg-frac
23×pow-flip
22×frac-sub
21×unpow3 cube-mult
18×associate-+l+ div-sub
15×associate--l-
14×rem-exp-log neg-mul-1
13×log-div
12×associate-+r+ inv-pow
11×rem-log-exp
8×distribute-neg-in neg-log
6×associate--r+
5×unpow2 cos-sum
4×sin-sum sub-div
3×distribute-rgt-out-- distribute-rgt-neg-out
2×difference-cubes unpow-prod-up sum-cubes exp-to-pow
1×sqrt-pow2 unpow1/3 sqrt-unprod pow3 rem-square-sqrt

localize2.9s (0.7%)

bsearch1.4s (0.3%)

end1.0ms (0.0%)