Date:Tuesday, April 14th, 2020
Commit:681051fe on overflow-detection-both-ends
Hostname:warfa with Racket 7.5
Seed:2020105
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

sample2.0m (44.1%)

Algorithm
100×intervals
Results
45.0s7688×body5120exit
22.7s446568×body80valid
16.1s30655×body1280valid
7.7s23731×body640valid
4.0s3019×body1280nan
3.6s70246×body80nan
2.6s11963×body320valid
2.4s2558×body640nan
1.5s10126×body160valid
1.1s49536×pre80true
843.0ms7910×body80overflowed
810.0ms1218×body320nan
479.0ms1470×body2560valid
301.0ms681×body160nan
208.0ms579×body5120valid

series1.1m (24.1%)

Calls

493 calls:

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.3s
(/ (/ (* (/ (* i (+ (+ alpha beta) i)) (+ (+ alpha beta) (* 2.0 i))) (/ (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (+ (+ alpha beta) (* 2.0 i)))) (+ (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0))) (- (+ (+ 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)))
1.1s
(pow (* (pow -1 1.0) (* (pow -2.0 1.0) (pow (log (/ 1 u1)) 1.0))) 0.5)
1.1s
(/ (+ (+ (+ (+ (+ (+ (+ (+ 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))) (/ (* (pow (+ (+ (- z 1.0) 7.0) 0.5) (- 1.0 0.5)) (exp (+ (+ (- z 1.0) 7.0) 0.5))) (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) z))))

prune54.0s (19.4%)

Filtered
17862 candidates to 11060 candidates (61.9%)

simplify14.3s (5.2%)

Algorithm
265×egg-herbie

rewrite7.8s (2.8%)

Algorithm
165×rewrite-expression-head
Calls

493 calls:

190.0ms
(* (cbrt d1) (cbrt d1))
189.0ms
(* 0.0008327945 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))
187.0ms
(* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))
186.0ms
(* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))
186.0ms
(* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))
Rules
7339×*-un-lft-identity
7064×times-frac
6115×add-sqr-sqrt
4433×add-cube-cbrt
3357×add-exp-log
2644×add-cbrt-cube
2235×pow1
2084×sqrt-prod
1618×prod-exp
1531×associate-*r*
1413×distribute-lft-out
1184×associate-*l*
1159×cbrt-unprod
1024×frac-add
898×pow-prod-down
806×add-log-exp
749×cbrt-prod
678×flip-+ flip3-+
554×associate-/r/
549×div-exp
545×associate-*r/
503×frac-times
492×associate-*l/
485×unpow-prod-down
418×associate-/l*
417×sqrt-div
416×associate-/r*
403×unswap-sqr
381×cbrt-undiv
335×div-inv
313×difference-of-squares
296×cube-prod
293×swap-sqr
245×distribute-lft-out--
234×pow-exp
221×log-pow
213×associate-/l/
202×sqrt-pow1
168×cbrt-div
166×sqr-pow
160×pow-to-exp *-commutative
140×log-prod
138×pow1/2
114×un-div-inv
105×flip-- flip3--
100×pow1/3
92×sum-log
90×pow-prod-up
85×diff-log
82×distribute-rgt-in distribute-lft-in
79×frac-2neg clear-num
76×pow-unpow
73×rem-sqrt-square 1-exp
71×associate-+l-
68×exp-prod sub-neg
67×rec-exp
62×cube-div
61×exp-diff
59×pow-sub
55×exp-neg
52×pow-sqr
50×associate--l+
47×unpow3 cube-mult
45×pow-plus +-commutative
37×pow-pow
36×neg-sub0
30×pow2
28×exp-sum
21×distribute-rgt-neg-in distribute-lft-neg-in
20×log-div
19×rem-exp-log
16×rem-cube-cbrt div-sub
15×associate-+r+ associate--l-
14×associate-+l+ frac-sub
12×unpow2
9×inv-pow pow-flip rem-log-exp
8×distribute-neg-in neg-log rem-cbrt-cube
6×unpow-prod-up distribute-neg-frac associate--r+
5×distribute-rgt-neg-out neg-mul-1
4×sqrt-unprod sin-sum rem-square-sqrt
3×cos-sum
2×difference-cubes pow3 distribute-lft-neg-out unsub-neg mul-1-neg
1×sqrt-undiv distribute-rgt-out-- associate--r- exp-to-pow log-rec

regimes7.3s (2.6%)

Accuracy

Total 94.9b remaining (34.2%)

Threshold costs 4.4b (1.6%)

16.5b51.1%math.sqrt on complex, imaginary part, im greater than 0 branch
10.4b57.9%math.log10 on complex, real part
10.3b57.6%math.log/2 on complex, real part
10.1b58.6%math.log/1 on complex, real part
10.0b58%math.abs on complex

localize2.8s (1.0%)

bsearch2.1s (0.7%)

end1.0ms (0.0%)