Date:Saturday, April 11th, 2020
Commit:a26a9b61 on overflow-detection-both-ends
Hostname:warfa with Racket 7.5
Seed:2020102
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

simplify6.7m (45.9%)

Algorithm
261×egg-herbie

rewrite3.7m (25.0%)

Algorithm
162×rewrite-expression-head
Calls

498 calls:

45.1s
(* (* (/ 1.0 (sqrt PI)) (exp (* (fabs x) (fabs x)))) (+ (+ (+ (/ 1.0 (fabs x)) (* (/ 1.0 2.0) (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))))) (* (/ 3.0 4.0) (* (* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))))) (* (/ 15.0 8.0) (* (* (* (* (* (* (/ 1.0 (fabs x)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))))))
635.0ms
(* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))
629.0ms
(* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))
149.0ms
(/ (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- z 1.0) 1.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)))
140.0ms
(* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.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))) (exp (+ (+ (- z 1.0) 7.0) 0.5))))
Rules
3588771×frac-times
2865454×associate-*l/
1763488×associate-*r/
1576034×frac-add
33276×flip-+ flip3-+
7031×*-un-lft-identity
6787×times-frac
5728×add-sqr-sqrt
4364×add-cube-cbrt
3081×add-exp-log
2576×add-cbrt-cube
2290×pow1
1541×prod-exp
1523×sqrt-prod
1416×cbrt-prod
1273×distribute-lft-out
1263×cbrt-unprod
1236×associate-*r*
1029×pow-prod-down
972×associate-*l*
800×add-log-exp
721×unpow-prod-down
626×associate-/l*
563×cube-prod
495×associate-/r/
385×div-exp
369×associate-/r*
303×difference-of-squares
298×unswap-sqr
292×div-inv
275×log-pow
268×cbrt-undiv
261×sqrt-div
249×distribute-lft-out--
201×associate-/l/
198×cbrt-div
171×log-prod
147×sqr-pow
146×*-commutative
145×swap-sqr
139×sqrt-pow1
138×pow-exp
129×flip3-- flip--
122×exp-prod
107×pow-unpow
100×pow1/2
99×pow-to-exp
97×pow-sub
96×diff-log
95×pow1/3
89×sub-neg
81×frac-2neg clear-num
75×distribute-rgt-in distribute-lft-in
74×sum-log
73×associate-+l-
65×exp-sum
64×unpow3 cube-mult
61×rem-sqrt-square
51×pow-pow
48×pow-prod-up
45×associate--l+
43×cube-div +-commutative
42×pow-sqr rec-exp 1-exp
31×log-div
22×rem-cube-cbrt distribute-neg-frac
21×pow2 pow-plus
19×div-sub
17×exp-diff
16×associate--l- rem-log-exp
14×associate-+l+ unpow2
12×unpow-prod-up rem-cbrt-cube
10×un-div-inv
9×associate-+r+
8×cos-sum
6×distribute-rgt-neg-in distribute-lft-neg-in inv-pow sin-sum pow-flip associate--r+
5×rem-exp-log
4×distribute-neg-in frac-sub
2×sqrt-unprod associate-+r- distribute-rgt-out-- distribute-frac-neg neg-sub0 sum-cubes distribute-rgt-neg-out neg-mul-1 exp-to-pow
1×sqrt-pow2 unsub-neg rem-square-sqrt associate--r-

sample2.1m (14.2%)

Algorithm
99×intervals
Results
50.9s12118×body5120exit
21.8s440506×body80valid
15.9s30925×body1280valid
7.4s23041×body640valid
3.6s3210×body1280nan
3.3s69661×body80nan
2.6s12231×body320valid
2.1s2584×body640nan
1.5s10287×body160valid
877.0ms49536×pre80true
791.0ms1350×body320nan
441.0ms1447×body2560valid
264.0ms687×body160nan
179.0ms559×body5120valid
147.0ms4042×body80overflowed

series1.1m (7.9%)

Calls

498 calls:

3.2s
(* (+ (sqrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) d1) (- (sqrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) d1))
881.0ms
(/ (/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i)))) (- (* (+ (+ alpha beta) (* 2.0 i)) (+ (+ alpha beta) (* 2.0 i))) 1.0))
855.0ms
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (cbrt (pow (+ 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)))))))) 3))) (exp (- (* (fabs x) (fabs x))))))
847.0ms
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (cbrt (pow (+ 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)))))))) 3))) (exp (- (* (fabs x) (fabs x))))))
840.0ms
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (cbrt (pow (+ 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)))))))) 3))) (exp (- (* (fabs x) (fabs x))))))

prune48.7s (5.6%)

Filtered
16944 candidates to 10587 candidates (62.5%)

regimes8.1s (0.9%)

Accuracy

Total 103.9b remaining (41.9%)

Threshold costs 3.7b (1.5%)

17.8b51.6%math.sqrt on complex, imaginary part, im greater than 0 branch
10.8b56%math.log10 on complex, real part
10.6b56.8%math.log/1 on complex, real part
10.5b56%math.abs on complex
10.3b58%math.log/2 on complex, real part

localize2.6s (0.3%)

bsearch1.7s (0.2%)

end1.0ms (0.0%)