Date:Wednesday, June 10th, 2020
Commit:333f73e0 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020162
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.5min (55.6%)

Algorithm
100×intervals
Results
57.0s11781×body5120exit
25.9s441853×body80valid
17.5s30319×body1280valid
8.5s23165×body640valid
5.2s3057×body1280nan
3.3s2615×body640nan
3.0s12126×body320valid
2.2s32139×body80nan
1.9s9970×body160valid
1.2s1296×body320nan
934.0ms49536×pre80true
468.0ms1498×body2560valid
334.0ms586×body160nan
198.0ms595×body5120valid
139.0ms3971×body80overflowed

prune1.1min (25.3%)

Filtered
17336 candidates to 11417 candidates (34.1%)

simplify16.2s (6.1%)

Algorithm
259×egg-herbie

series12.7s (4.8%)

Calls

483 calls:

420.0ms
(* (/ (/ (* 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))) (- (+ (+ alpha beta) (* 2.0 i)) (sqrt 1.0)))))
394.0ms
(* (/ (/ (* 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))))
354.0ms
(cbrt (- 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.061405429 (/ 1.0 (/ (pow (+ (* 0.3275911 (fabs x)) 1.0) 2) 1.0)))))))))) (exp (neg (* (fabs x) (fabs x)))))))
310.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))
219.0ms
(pow (+ (* (+ alpha beta) (/ (/ (- beta alpha) (+ (+ alpha beta) (* 2.0 i))) (+ (+ (+ alpha beta) (* 2.0 i)) 2.0))) 1.0) 3)

regimes11.8s (4.5%)

Accuracy

Total 87.0b remaining (31.9%)

Threshold costs 5.2b (1.9%)

10.1b58.5%math.log/2 on complex, real part
9.9b59.7%math.log10 on complex, real part
9.6b60.5%math.log/1 on complex, real part
9.6b59.4%math.abs on complex
9.2b57.3%math.sqrt on complex, real part

rewrite6.3s (2.4%)

Algorithm
159×rewrite-expression-head
Calls

483 calls:

160.0ms
(/ (* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) z)) (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)))) (pow (+ (+ (- z 1.0) 7.0) 0.5) (- 1.0 0.5)))
151.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))))
150.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))))
143.0ms
(* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) z)) (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))))
129.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)))
Rules
6810×times-frac
6436×*-un-lft-identity
5702×add-sqr-sqrt
4307×add-cube-cbrt
2444×add-exp-log
2044×sqrt-prod
1868×add-cbrt-cube
1704×pow1
1668×frac-add
1552×flip-- flip3--
1397×associate-*r*
1335×frac-times
1267×associate-*l*
1055×associate-/r/
998×associate-*r/
908×prod-exp
906×distribute-lft-out
765×add-log-exp
738×cbrt-prod
686×flip-+ flip3-+
680×associate-*l/
580×frac-sub
576×cbrt-unprod
503×div-exp
493×associate-/l*
418×associate-/r*
362×cbrt-div
354×pow-prod-down
346×unpow-prod-down
340×cbrt-undiv
339×unswap-sqr
330×div-inv
292×difference-of-squares
281×distribute-lft-out--
264×sqrt-div
256×log-pow
224×swap-sqr
202×associate-/l/
181×sqrt-pow1
170×cube-prod
158×pow-prod-up
151×*-commutative
136×exp-neg pow-exp
132×pow1/2
124×pow1/3
122×sqr-pow
102×log-prod
101×pow-to-exp
91×exp-diff
90×exp-prod
84×distribute-rgt-in distribute-lft-in
83×neg-sub0
82×pow-sqr
80×clear-num frac-2neg
78×sum-log sub-neg
77×diff-log
68×pow-plus
65×associate-+l-
61×un-div-inv
58×pow-sub
56×rem-sqrt-square
54×pow-unpow
51×pow2
44×+-commutative 1-exp
41×pow-pow
38×rec-exp
36×sub-div
35×cube-div
26×cube-mult unpow3
25×associate--l+
22×unpow2
20×rem-cube-cbrt
18×distribute-lft-neg-in distribute-rgt-neg-in rem-exp-log
17×log-div div-sub
14×exp-sum
12×neg-log associate--r+
9×associate--l- associate-+l+
8×unpow-prod-up sin-sum
7×rem-log-exp associate-+r+ inv-pow pow-flip
5×difference-cubes rem-cbrt-cube
3×distribute-neg-in neg-mul-1 sqrt-pow2 sqrt-unprod pow3
2×cos-sum rem-square-sqrt sum-cubes distribute-rgt-out--
1×unpow1/3 associate--r-

localize2.5s (1.0%)

bsearch960.0ms (0.4%)

end1.0ms (0.0%)

Profiling

Loading profile data...