Date:Tuesday, July 14th, 2020
Commit:0946c439 on ival-find-range
Hostname:warfa with Racket 7.5
Seed:2020196
Parameters:256 points for 4 iterations
Flags:
setup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback
default

Details

sample1.8min (50.2%)

Algorithm
99×intervals
Results
52.2s8264×body5120exit
22.0s360171×body80valid
7.7s15697×body1280valid
5.6s11275×body1280invalid
3.3s12334×body640valid
2.6s8573×body640invalid
1.4s87126×pre80true
1.4s7696×body160valid
1.1s6628×body320valid
926.0ms17451×body80invalid
882.0ms4111×body320invalid
404.0ms1422×body2560valid
282.0ms1953×body160invalid
213.0ms2423×body80nan
203.0ms596×body5120valid
74.0ms42×body2560invalid
1.0ms18×body80overflowed

prune43.1s (19.8%)

Filtered
15014 candidates to 9928 candidates (33.9%)

series18.5s (8.5%)

Calls

460 calls:

3.7s
(+ (pow (* (/ (+ beta alpha) (+ beta (+ alpha (* 2.0 i)))) (/ (- beta alpha) (+ beta (+ alpha (+ 2.0 (* 2.0 i)))))) 3) (pow 1.0 3))
1.7s
(pow (* (/ (+ beta alpha) (+ beta (+ alpha (* 2.0 i)))) (/ (- beta alpha) (+ beta (+ alpha (+ 2.0 (* 2.0 i)))))) 3)
386.0ms
(/ (* (/ (+ (* i (+ i (+ alpha beta))) (* alpha beta)) (+ alpha (+ beta (+ (* i 2.0) (sqrt 1.0))))) (* (/ i (+ alpha (+ beta (* i 2.0)))) (/ (+ i (+ alpha beta)) (+ alpha (+ beta (* i 2.0)))))) (+ alpha (+ beta (- (* i 2.0) (sqrt 1.0)))))
382.0ms
(* (* (/ i (+ alpha (+ beta (* i 2.0)))) (/ (+ i (+ alpha beta)) (+ alpha (+ beta (* i 2.0))))) (* (/ (sqrt (+ (* i (+ i (+ alpha beta))) (* alpha beta))) (+ alpha (+ beta (+ (* i 2.0) (sqrt 1.0))))) (/ (sqrt (+ (* i (+ i (+ alpha beta))) (* alpha beta))) (+ alpha (+ beta (- (* i 2.0) (sqrt 1.0)))))))
306.0ms
(* (* (/ i (+ alpha (+ beta (* i 2.0)))) (/ (+ i (+ alpha beta)) (+ alpha (+ beta (* i 2.0))))) (/ (+ (* i (+ i (+ alpha beta))) (* alpha beta)) (- (* (+ alpha (+ beta (* i 2.0))) (+ alpha (+ beta (* i 2.0)))) 1.0)))

analyze13.8s (6.4%)

Algorithm
50×search
Search
TrueOtherFalseIter
0%87.1%12.9%0
2.5%84.6%12.9%1
9.3%75.6%15.1%2
22.1%62.3%15.6%3
27.1%55.4%17.4%4
36.3%45.6%18.1%5
39.7%40.6%19.7%6
44.2%33.4%22.4%7
47.6%29.3%23.1%8
50.7%25.2%24.1%9
53.2%21.6%25.2%10
55.3%18.7%26%11
57.2%16.3%26.5%12
59.1%13.6%27.4%13
60.1%12.2%27.7%14

simplify12.3s (5.6%)

Algorithm
255×egg-herbie

regimes11.9s (5.5%)

Accuracy

Total 90.9b remaining (38.5%)

Threshold costs 4.5b (1.9%)

10.6b57%math.log10 on complex, real part
10.5b57.7%math.log/1 on complex, real part
10.3b58.6%math.log/2 on complex, real part
9.7b58.2%math.abs on complex
9.4b57.2%math.sqrt on complex, real part

rewrite5.5s (2.5%)

Algorithm
157×rewrite-expression-head
Calls

460 calls:

175.0ms
(* (exp (- z (+ 7.0 0.5))) (+ 0.9999999999998099 (+ (+ (/ 676.5203681218851 (- 1.0 z)) (+ (/ -1259.1392167224028 (- 2.0 z)) (+ (/ 771.3234287776531 (- 3.0 z)) (/ -176.6150291621406 (- 4.0 z))))) (+ (/ 12.507343278686905 (- 5.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ 1.5056327351493116e-07 (- 8.0 z))))))))
129.0ms
(/ (* (+ (+ (/ 771.3234287776531 (- 3.0 z)) (/ -176.6150291621406 (- 4.0 z))) (+ (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))) (+ (/ 12.507343278686905 (- 5.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ 1.5056327351493116e-07 (- 8.0 z))) 0.9999999999998099))))) (exp z)) (exp (+ 7.0 0.5)))
126.0ms
(/ (* (+ (+ (/ 771.3234287776531 (- 3.0 z)) (/ -176.6150291621406 (- 4.0 z))) (+ (+ (/ 676.5203681218851 (- 1.0 z)) (/ -1259.1392167224028 (- 2.0 z))) (+ (/ 12.507343278686905 (- 5.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (+ (/ 9.984369578019572e-06 (- 7.0 z)) (/ 1.5056327351493116e-07 (- 8.0 z))) 0.9999999999998099))))) (exp z)) (exp (+ 7.0 0.5)))
113.0ms
(/ (* (+ (/ 771.3234287776531 (- 3.0 z)) (+ (/ -176.6150291621406 (- 4.0 z)) (+ (/ 676.5203681218851 (- 1.0 z)) (+ (/ -1259.1392167224028 (- 2.0 z)) (+ (/ 12.507343278686905 (- 5.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (+ (/ 1.5056327351493116e-07 (- 8.0 z)) 0.9999999999998099)))))))) (exp z)) (exp (+ 7.0 0.5)))
93.0ms
(+ (/ -176.6150291621406 (- 4.0 z)) (+ (/ 676.5203681218851 (- 1.0 z)) (+ (/ -1259.1392167224028 (- 2.0 z)) (+ (/ 12.507343278686905 (- 5.0 z)) (+ (/ -0.13857109526572012 (- 6.0 z)) (+ (/ 9.984369578019572e-06 (- 7.0 z)) (+ (/ 1.5056327351493116e-07 (- 8.0 z)) 0.9999999999998099)))))))
Rules
5703×*-un-lft-identity
5032×times-frac
4732×add-sqr-sqrt
3423×add-cube-cbrt
2195×add-exp-log
1892×add-cbrt-cube
1495×pow1
1441×sqrt-prod
1105×distribute-lft-out
1072×associate-*r*
1029×associate-*r/
997×frac-add
899×associate-*l*
811×flip-+ flip3-+
782×cbrt-prod
731×prod-exp
715×add-log-exp
621×cbrt-unprod
519×sqrt-div
500×associate-/l*
464×div-exp
448×frac-times
438×unpow-prod-down
414×associate-/r*
363×cbrt-undiv
354×log-pow
336×associate-*l/
319×difference-of-squares
293×pow-prod-down
284×associate-/r/
279×unswap-sqr
219×div-inv
214×associate-/l/
179×distribute-lft-out--
176×cbrt-div
150×sqr-pow
140×flip-- flip3--
133×*-commutative
126×swap-sqr
116×sum-log
110×sqrt-pow1
107×pow1/3
106×pow-unpow
102×cube-prod
96×pow1/2
95×log-prod
92×pow-exp
86×clear-num frac-2neg
84×exp-prod
73×distribute-rgt-in distribute-lft-in
72×pow-prod-up
58×pow-to-exp
54×+-commutative
53×pow-pow
51×sub-neg pow-sqr
50×rem-sqrt-square
39×cube-div
35×diff-log
34×pow-plus
33×1-exp
30×rec-exp
28×pow2 cube-mult unpow3
20×associate-+r+
16×rem-cube-cbrt
15×div-sub
13×exp-sum
12×rem-log-exp associate--l+
11×log-div
9×exp-diff
6×associate-+l+ frac-sub pow-flip
5×associate--r+ unpow2 rem-exp-log
4×sqrt-unprod inv-pow sin-sum un-div-inv exp-lft-sqr
3×rem-square-sqrt exp-to-pow associate-+l- rem-cbrt-cube
2×associate-+r- unpow1/3
1×associate--l- unpow-prod-up e-exp-1 cos-sum sqrt-pow2 associate--r- sum-cubes pow-sub

localize2.5s (1.2%)

bsearch757.0ms (0.3%)

end1.0ms (0.0%)

Profiling

Loading profile data...