Date:Tuesday, May 5th, 2020
Commit:256fb890 on master
Hostname:warfa with Racket 7.5
Seed:2020126
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.4m (40.1%)

Calls

461 calls:

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 (neg (* (fabs x) (fabs x))))) 3))
3.2s
(- (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 (neg (* (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 (neg (* (fabs x) (fabs x))))) 3))))
2.4s
(* (* (/ (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))) (/ (sqrt (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2.0 i)))) (sqrt (- (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))))) (/ (sqrt (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2.0 i)))) (sqrt (- (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0)))))
2.4s
(* (/ (* (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2.0 i))) (/ 1 (sqrt (+ (+ alpha beta) (* 2.0 i))))) (+ (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))) (/ (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (sqrt (+ (+ 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))))

prune2.1m (24.9%)

Filtered
37008 candidates to 21209 candidates (57.3%)

sample2.1m (24.9%)

Algorithm
99×intervals
Results
45.6s7836×body5120exit
25.6s469673×body80valid
16.5s30975×body1280valid
7.6s23241×body640valid
4.1s3177×body1280nan
3.4s70721×body80nan
2.6s11906×body320valid
2.3s2536×body640nan
904.0ms49536×pre80true
870.0ms6012×body160valid
850.0ms7895×body80overflowed
832.0ms1262×body320nan
453.0ms1455×body2560valid
250.0ms590×body160nan
192.0ms605×body5120valid

simplify25.5s (5.1%)

Algorithm
254×egg-herbie

rewrite14.0s (2.8%)

Algorithm
156×rewrite-expression-head
Calls

465 calls:

1.2s
(+ (/ (/ (+ alpha beta) (sqrt (+ (+ alpha beta) (* 2.0 i)))) (/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (/ (- beta alpha) (sqrt (+ (+ alpha beta) (* 2.0 i)))))) 1.0)
1.2s
(+ (/ (/ (+ alpha beta) (sqrt (+ (+ alpha beta) (* 2.0 i)))) (/ (+ (+ (+ alpha beta) (* 2.0 i)) 2.0) (/ (- beta alpha) (sqrt (+ (+ alpha beta) (* 2.0 i)))))) 1.0)
535.0ms
(/ (/ (sqrt (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0)))) 1) (/ (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0) (/ (sqrt (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0)))) (+ (+ alpha beta) (* 2.0 1.0)))))
154.0ms
(* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (exp (neg (+ (+ (- 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))))
133.0ms
(- (pow (pow (/ alpha (+ (+ alpha beta) 2.0)) 3) 3) (pow (pow 1.0 3) 3))
Rules
101250×times-frac
58955×*-un-lft-identity
39083×add-sqr-sqrt
37036×add-cube-cbrt
32640×sqrt-prod
10693×distribute-lft-out
4688×associate-/r/
2932×flip-+ flip3-+
2711×add-exp-log
2660×div-inv
2085×add-cbrt-cube
1451×pow1
1391×associate-*r*
1077×unpow-prod-down
1048×associate-*l*
1028×frac-add
960×prod-exp
928×associate-*r/
907×associate-/r*
734×add-log-exp
669×cbrt-unprod
661×div-exp
638×frac-times
619×difference-of-squares
609×associate-/l*
490×cube-prod
428×cbrt-undiv
421×associate-*l/
382×pow-prod-down
348×sqrt-div
346×unswap-sqr
328×distribute-lft-out--
307×sqr-pow
263×cbrt-prod
211×pow-exp
198×log-pow
193×associate-/l/
152×swap-sqr
146×*-commutative
139×exp-neg
136×flip3-- flip--
127×cube-div
118×exp-diff
115×pow-to-exp
112×neg-sub0
104×sqrt-pow1
97×pow-unpow log-prod
94×frac-2neg clear-num
82×1-exp
81×pow1/2
80×un-div-inv
79×rec-exp
77×distribute-rgt-in distribute-lft-in
75×sum-log diff-log
74×cbrt-div
73×sub-neg
70×rem-sqrt-square
65×exp-prod
64×pow1/3
58×pow-sub associate-+l-
42×rem-cube-cbrt pow-pow
37×associate--l+
36×unpow3 cube-mult +-commutative
22×pow-prod-up
21×pow-sqr
19×log-div
16×rem-exp-log pow2 pow-plus exp-sum div-sub
15×associate-+l+
14×distribute-rgt-neg-in distribute-lft-neg-in
12×associate--l-
10×inv-pow pow-flip
9×neg-log
8×associate-+r+ frac-sub
7×e-exp-1 rem-log-exp
6×sin-sum
5×unpow-prod-up distribute-rgt-out
4×difference-cubes neg-mul-1 rem-cbrt-cube associate--r+ unpow2
2×distribute-lft1-in distribute-neg-in sum-cubes pow-neg
1×cos-sum sqrt-unprod distribute-rgt1-in distribute-rgt-out-- count-2

regimes7.1s (1.4%)

Accuracy

Total 96.6b remaining (36%)

Threshold costs 4.6b (1.7%)

17.8b44.4%math.sqrt on complex, imaginary part, im greater than 0 branch
11.1b54.8%math.log/1 on complex, real part
10.9b55.8%math.log10 on complex, real part
10.3b57.7%math.log/2 on complex, real part
10.1b57.4%math.abs on complex

localize2.7s (0.5%)

bsearch2.0s (0.4%)

end1.0ms (0.0%)

Profiling

Loading profile data...