Date:Wednesday, May 27th, 2020
Commit:9f65fd44 on doc-updates
Hostname:warfa with Racket 7.5
Seed:2020148
Parameters:256 points for 4 iterations
Flags:
setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample2.2m (43.1%)

Algorithm
100×intervals
Results
44.5s7744×body5120exit
27.6s504790×body80valid
15.5s30220×body1280valid
7.4s23092×body640valid
4.0s3078×body1280nan
3.5s70120×body80nan
2.5s11989×body320valid
2.3s2507×body640nan
1.4s10028×body160valid
866.0ms1303×body320nan
850.0ms8021×body80overflowed
834.0ms49536×pre80true
456.0ms1489×body2560valid
256.0ms627×body160nan
203.0ms617×body5120valid

series1.2m (23.1%)

Calls

484 calls:

4.7s
(* (+ (sqrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) d1) (- (sqrt (+ (- (* d1 d2) (* d1 d3)) (* d4 d1))) d1))
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)))
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))))
2.1s
(/ (* (/ (/ i 1) 1) (* (/ (/ (+ (+ 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)))
1.0s
(pow (pow (+ (* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) 1.0) 3) 1/3)

prune1.1m (21.9%)

Filtered
16555 candidates to 10492 candidates (63.4%)

simplify13.8s (4.5%)

Algorithm
261×egg-herbie

regimes11.6s (3.8%)

Accuracy

Total 113.5b remaining (43.9%)

Threshold costs 4.0b (1.5%)

21.1b38.4%math.sqrt on complex, imaginary part, im greater than 0 branch
12.5b42.1%math.sqrt on complex, real part
11.5b53.2%math.log10 on complex, real part
11.3b53.6%math.log/1 on complex, real part
11.2b54%math.log/2 on complex, real part

rewrite6.3s (2.1%)

Algorithm
161×rewrite-expression-head
Calls

484 calls:

146.0ms
(/ (* (+ (+ (+ (+ (+ (+ (+ (+ 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))) (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) z))) (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (- 1.0 0.5)) (exp (+ (+ (- z 1.0) 7.0) 0.5))))
142.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))))
138.0ms
(* (* (* (* (pow (+ z 6.5) (- z 0.5)) (sqrt 2.0)) (sqrt PI)) (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))))
127.0ms
(* (+ (+ (+ (+ (+ (+ (+ (+ 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))) (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) z)))
121.0ms
(* (* (cbrt (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ alpha beta) (* 2.0 1.0)))) (cbrt (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ alpha beta) (* 2.0 1.0))))) (/ (cbrt (/ (/ (+ (+ (+ alpha beta) (* beta alpha)) 1.0) (+ (+ alpha beta) (* 2.0 1.0))) (+ (+ alpha beta) (* 2.0 1.0)))) (+ (+ (+ alpha beta) (* 2.0 1.0)) 1.0)))
Rules
6620×times-frac
6180×*-un-lft-identity
5587×add-sqr-sqrt
4233×add-cube-cbrt
2998×add-exp-log
2174×add-cbrt-cube
1740×associate-*r*
1697×sqrt-prod
1520×pow1
1045×prod-exp
1015×associate-*l*
950×frac-add
861×div-exp
839×distribute-lft-out
805×add-log-exp
698×cbrt-prod
670×cbrt-unprod
622×flip-+ flip3-+
515×associate-/r/
491×cbrt-undiv
483×associate-/l*
471×frac-times
402×associate-/r*
391×associate-*r/
358×associate-*l/
350×unpow-prod-down
333×unswap-sqr
327×pow-prod-down
314×div-inv
268×sqrt-div
249×difference-of-squares
238×log-pow
208×distribute-lft-out--
198×cube-prod
152×*-commutative
150×swap-sqr
141×sqrt-pow1
139×1-exp
138×log-prod
132×flip-- flip3--
118×associate-/l/
111×sqr-pow
109×pow-sub
107×exp-neg
105×pow-exp
100×pow1/2 cbrt-div
96×sum-log
89×pow1/3
87×pow-to-exp
84×sub-neg
83×diff-log frac-2neg clear-num
80×distribute-rgt-in distribute-lft-in
77×exp-diff
71×neg-sub0
69×rec-exp
66×associate-+l-
65×exp-prod
64×pow-prod-up
60×rem-sqrt-square
59×pow-unpow
55×+-commutative
49×pow-plus
45×un-div-inv
41×associate--l+
40×pow-sqr
33×unpow3 cube-mult
29×pow2
27×associate--r+
25×pow-flip
23×pow-pow
19×cube-div associate-+l+
18×distribute-lft-neg-in distribute-rgt-neg-in
17×rem-exp-log div-sub
14×rem-cube-cbrt inv-pow unpow2
13×associate--l-
12×neg-log
11×rem-log-exp
10×log-div
8×exp-sum
6×associate-+r+ sin-sum rem-cbrt-cube
5×pow3
4×unpow-prod-up frac-sub
3×distribute-neg-in neg-mul-1
2×sqrt-unprod cos-sum sum-cubes exp-to-pow mul-1-neg
1×sqrt-pow2 unpow1/3 associate-+r- distribute-rgt-out-- rem-square-sqrt associate--r- log-rec

localize2.7s (0.9%)

bsearch2.2s (0.7%)

end1.0ms (0.0%)

Profiling

Loading profile data...