Date:Wednesday, July 22nd, 2020
Commit:750605db on cleanup
Hostname:warfa with Racket 7.5
Seed:2020204
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

Time bar (total: 5.3min)

prune2.8min (52.9%)

sample1.5min (28.1%)

Algorithm
99×intervals
Results
34.4s7072×body5120exit
20.4s357633×body80valid
7.4s15977×body1280valid
5.4s11399×body1280invalid
3.3s12531×body640valid
2.7s8738×body640invalid
1.3s7610×body160valid
1.3s83816×pre80true
1.1s6705×body320valid
934.0ms18496×body80invalid
842.0ms4021×body320invalid
409.0ms1467×body2560valid
270.0ms1967×body160invalid
209.0ms2449×body80nan
207.0ms612×body5120valid
55.0ms31×body2560invalid
0.0ms13×body80overflowed

analyze13.6s (4.3%)

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

simplify13.5s (4.2%)

Algorithm
256×egg-herbie

series12.3s (3.9%)

Calls

462 calls:

456.0ms
(* (/ (+ beta alpha) (+ beta (+ alpha (* 2.0 i)))) (/ (/ (- beta alpha) (sqrt (+ beta (+ alpha (+ 2.0 (* 2.0 i)))))) (sqrt (+ alpha (+ beta (+ 2.0 (* 2.0 i)))))))
396.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)))))))
308.0ms
(* (* (/ i (+ alpha (+ beta (* i 2.0)))) (+ i (+ alpha beta))) (/ (+ (* i (+ i (+ alpha beta))) (* alpha beta)) (* (+ alpha (+ beta (* i 2.0))) (- (* (+ alpha (+ beta (* i 2.0))) (+ alpha (+ beta (* i 2.0)))) 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)))

regimes11.6s (3.7%)

Accuracy

Total 95.0b remaining (38.2%)

Threshold costs 3.3b (1.3%)

10.8b5523.4%math.log/2 on complex, real part
10.6b5557.9%math.log10 on complex, real part
10.6b5932%math.sqrt on complex, real part
10.5b5605.7%math.log/1 on complex, real part
10.3b5741.1%math.abs on complex

rewrite6.2s (1.9%)

Algorithm
158×rewrite-expression-head
Rules
7642×*-un-lft-identity
6404×times-frac
5682×add-sqr-sqrt
3977×add-cube-cbrt
2630×frac-add
2555×sqrt-prod
2196×add-exp-log
1757×add-cbrt-cube
1742×distribute-lft-out
1582×associate-*r*
1552×pow1
1310×flip-+ flip3-+
1232×associate-*r/
1159×frac-times
1070×associate-*l*
802×associate-*l/
770×prod-exp
677×add-log-exp
610×cbrt-unprod
532×unpow-prod-down
473×associate-/l*
469×cbrt-prod
443×associate-/r*
431×difference-of-squares
404×div-exp
402×distribute-lft-out--
400×pow-prod-down
340×unswap-sqr
330×exp-diff
324×associate-/r/
315×pow-sub
301×log-pow
294×cbrt-undiv
290×sqrt-div
232×cbrt-div
231×cube-prod
226×div-inv
175×sqr-pow
168×log-prod
152×*-commutative
148×pow-unpow
133×flip-- flip3--
132×sqrt-pow1
116×pow-exp
97×swap-sqr
94×pow1/2
91×distribute-rgt-in distribute-lft-in
83×pow1/3
82×pow-to-exp
79×sum-log
76×clear-num frac-2neg
72×pow-pow
70×associate-/l/
62×cube-mult
61×unpow3
59×exp-prod
56×rem-sqrt-square
55×sub-neg
44×+-commutative
42×cube-div diff-log
41×1-exp
38×rec-exp
30×exp-sum
27×pow-prod-up
26×frac-sub
24×div-sub
23×pow-sqr
18×rem-cube-cbrt
16×rem-log-exp log-div
15×associate--r+
13×pow2 pow-plus
12×pow-flip
11×unpow2
10×associate-+r+
9×distribute-lft-neg-in distribute-rgt-neg-in
8×rem-cbrt-cube
7×inv-pow associate--l+ rem-exp-log
6×sin-sum un-div-inv
5×associate-+l-
4×associate-+r-
3×associate-+l+ distribute-rgt-neg-out
2×cos-sum sqrt-unprod unsub-neg
1×unpow-prod-up neg-mul-1 rem-square-sqrt sqrt-pow2 unpow1/3 associate--r-
Calls

462 calls:

205.0ms
(* (sqrt (* PI 2.0)) (* (* (exp (- z (+ 7.0 0.5))) (* (+ (+ (/ 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))))) (pow (+ 7.0 (- 0.5 z)) (- 0.5 z)))) (/ PI (sin (* PI z)))))
187.0ms
(* (/ (+ beta alpha) (+ beta (+ alpha (* 2.0 i)))) (/ (/ (- beta alpha) (sqrt (+ beta (+ alpha (+ 2.0 (* 2.0 i)))))) (sqrt (+ alpha (+ beta (+ 2.0 (* 2.0 i)))))))
185.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))))))))
147.0ms
(+ (* (/ (+ beta alpha) (+ beta (+ alpha (* 2.0 i)))) (/ (/ (/ (- beta alpha) (fabs (cbrt (+ beta (+ alpha (+ 2.0 (* 2.0 i))))))) (sqrt (cbrt (+ beta (+ alpha (+ 2.0 (* 2.0 i))))))) (sqrt (+ alpha (+ beta (+ 2.0 (* 2.0 i))))))) 1.0)
132.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))))) (pow (+ 7.0 (- 0.5 z)) (- 0.5 z)))

localize2.4s (0.8%)

bsearch774.0ms (0.2%)

end1.0ms (0%)

Profiling

Loading profile data...