Date:Wednesday, March 11th, 2020
Commit:79312c80 on better-rr
Hostname:warfa with Racket 7.5
Seed:2020071
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:better-rrreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

prune10.0m (68.2%)

Filtered
39803 candidates to 37840 candidates (95.1%)

sample1.7m (11.5%)

Algorithm
99×intervals
Results
42.8s11602×body10240exit
20.5s475657×body80valid
10.9s26932×body1280valid
5.0s21073×body640valid
2.5s71211×body80nan
1.8s1568×body1280nan
1.6s10454×body320valid
1.1s1367×body640nan
1.0s9466×body160valid
667.0ms49536×pre80true
343.0ms1466×body2560valid
341.0ms617×body320nan
141.0ms562×body5120valid
115.0ms330×body160nan

simplify1.2m (8.0%)

Algorithm
248×egg-herbie

rewrite51.8s (5.9%)

Algorithm
150×rewrite-expression-head
Calls

430 calls:

3.2s
(* (/ (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (exp z)) (/ (+ (+ (+ (+ (+ (+ (+ (+ 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 (+ (+ (- 1.0) 7.0) 0.5))))
2.1s
(/ (* (* (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)))
1.4s
(* (* (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))))
775.0ms
(/ (+ (+ (+ (+ (+ (+ (+ (+ 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 (+ (+ (- 1.0) 7.0) 0.5)))
254.0ms
(* (* (* (* (* (/ 1 (/ (/ (pow (fabs x) 2) 1.0) 1.0)) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x))) (/ 1.0 (fabs x)))
Rules
813060×frac-add
286169×clear-num
285694×frac-2neg
121507×frac-times
119728×associate-/l/
66793×flip3-+ flip-+
59423×associate-/l*
46203×associate-*r/
33319×associate-*r*
26316×unpow-prod-up
19705×associate-+l-
19693×pow-sub
13632×*-commutative
13515×associate-*l*
13472×associate-+l+
13234×sqrt-prod
7676×associate-*l/
6821×+-commutative
6697×sub-neg
6641×sqr-pow
2210×associate-/r/
1748×frac-sub
1734×associate-/r*
1434×div-inv
483×un-div-inv
471×times-frac
381×flip-- flip3--
200×distribute-rgt-in distribute-lft-in
142×exp-sum
106×associate-+r+
100×sqrt-div
98×distribute-neg-frac
80×associate--l+
62×difference-of-squares
57×neg-mul-1
53×pow1/2
30×unpow-prod-down associate--r+
28×inv-pow distribute-neg-in
25×pow2
21×swap-sqr
20×unpow3
17×div-sub associate--l-
16×distribute-lft-out pow-to-exp
13×exp-diff distribute-lft-out--
12×log-div pow-plus pow3
11×distribute-rgt-out--
10×remove-double-div
9×neg-sub0 log-pow unpow2
8×exp-neg sin-sum exp-prod
7×distribute-rgt-neg-out
6×distribute-rgt-out
5×sum-cubes
4×pow-exp pow-flip pow-prod-down prod-exp sub-div rec-exp
3×distribute-frac-neg unswap-sqr
2×difference-cubes cos-sum pow-pow
1×diff-log pow-sqr sqrt-undiv pow-prod-up div-exp sqrt-unprod associate--r- distribute-rgt1-in

series47.4s (5.4%)

Calls

430 calls:

1.0s
(* 6.0 (pow (/ 1 (* (pow -1 1.0) (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)))) 0.5))
990.0ms
(/ 1 (* (pow -1 1.0) (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0))))
945.0ms
(/ 1 (* 6.0 (pow (/ 1 (* (pow -1 1.0) (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0)))) 0.5)))
909.0ms
(- 1.0 (* (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (+ (+ 0.254829592 (* -0.284496736 (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))))) (* (/ 1.0 (+ 1.0 (* 0.3275911 (fabs x)))) (* (/ 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))))))
875.0ms
(- 1.0 (* (* (/ 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))))))

regimes6.0s (0.7%)

Accuracy

Total 105.5b remaining (38.1%)

Threshold costs 5.2b (1.9%)

20.7b44.5%math.sqrt on complex, imaginary part, im greater than 0 branch
12.7b55.4%math.sqrt on complex, real part
11.2b53.8%math.log10 on complex, real part
10.6b56.3%math.log/1 on complex, real part
10.5b55.4%math.abs on complex

localize2.3s (0.3%)

bsearch1.8s (0.2%)

end1.0ms (0.0%)