Date:Tuesday, July 28th, 2020
Commit:a9c380f0 on cleanup
Hostname:warfa with Racket 7.5
Seed:2020210
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: 6.0min)

prune3.2min (53.3%)

sample1.7min (29%)

Algorithm
98×intervals
Results
48.9s8028×body5120exit
20.9s351878×body80valid
7.5s15968×body1280valid
5.4s11395×body1280invalid
3.5s12398×body640valid
2.6s8459×body640invalid
1.4s7509×body160valid
1.3s78838×pre80true
1.2s18111×body80invalid
1.1s6780×body320valid
833.0ms3934×body320invalid
385.0ms1401×body2560valid
260.0ms1918×body160invalid
203.0ms611×body5120valid
200.0ms2286×body80nan
81.0ms47×body2560invalid
0.0ms12×body80overflowed

simplify15.7s (4.3%)

Algorithm
257×egg-herbie

series14.7s (4.1%)

Calls

475 calls:

440.0ms
(/.f64 (/.f64 (*.f64 (*.f64 i (+.f64 (+.f64 alpha beta) i)) (+.f64 (*.f64 beta alpha) (*.f64 i (+.f64 (+.f64 alpha beta) i)))) (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2.0 i)) (+.f64 (+.f64 alpha beta) (*.f64 2.0 i)))) (-.f64 (*.f64 (+.f64 (+.f64 alpha beta) (*.f64 2.0 i)) (+.f64 (+.f64 alpha beta) (*.f64 2.0 i))) 1.0))
325.0ms
(log.f64 (exp.f64 (-.f64 1.0 (*.f64 (/.f64 1.0 (+.f64 1.0 (*.f64 0.3275911 (fabs.f64 x)))) (/.f64 (+.f64 0.254829592 (*.f64 (/.f64 1.0 (+.f64 1.0 (*.f64 0.3275911 (fabs.f64 x)))) (+.f64 -0.284496736 (*.f64 (sqrt.f64 (/.f64 1.0 (+.f64 1.0 (*.f64 0.3275911 (fabs.f64 x))))) (*.f64 (+.f64 1.421413741 (*.f64 (/.f64 1.0 (+.f64 1.0 (*.f64 0.3275911 (fabs.f64 x)))) (+.f64 -1.453152027 (*.f64 (/.f64 1.0 (+.f64 1.0 (*.f64 0.3275911 (fabs.f64 x)))) 1.061405429)))) (sqrt.f64 (/.f64 1.0 (+.f64 1.0 (*.f64 0.3275911 (fabs.f64 x)))))))))) (exp.f64 (pow.f64 (fabs.f64 x) 2)))))))
319.0ms
(-.f64 1.0 (*.f64 (/.f64 1.0 (+.f64 1.0 (*.f64 0.3275911 (fabs.f64 x)))) (/.f64 (+.f64 0.254829592 (*.f64 (/.f64 1.0 (+.f64 1.0 (*.f64 0.3275911 (fabs.f64 x)))) (+.f64 -0.284496736 (*.f64 (sqrt.f64 (/.f64 1.0 (+.f64 1.0 (*.f64 0.3275911 (fabs.f64 x))))) (*.f64 (+.f64 1.421413741 (*.f64 (/.f64 1.0 (+.f64 1.0 (*.f64 0.3275911 (fabs.f64 x)))) (+.f64 -1.453152027 (*.f64 (/.f64 1.0 (+.f64 1.0 (*.f64 0.3275911 (fabs.f64 x)))) 1.061405429)))) (sqrt.f64 (/.f64 1.0 (+.f64 1.0 (*.f64 0.3275911 (fabs.f64 x)))))))))) (exp.f64 (pow.f64 (fabs.f64 x) 2)))))
282.0ms
(-.f64 1.0 (*.f64 (/.f64 1.0 (+.f64 1.0 (*.f64 0.3275911 (fabs.f64 x)))) (/.f64 (+.f64 0.254829592 (*.f64 (/.f64 1.0 (+.f64 1.0 (*.f64 0.3275911 (fabs.f64 x)))) (+.f64 -0.284496736 (*.f64 (/.f64 1.0 (+.f64 1.0 (*.f64 0.3275911 (fabs.f64 x)))) (+.f64 1.421413741 (*.f64 (/.f64 1.0 (+.f64 1.0 (*.f64 0.3275911 (fabs.f64 x)))) (+.f64 -1.453152027 (*.f64 (/.f64 1.0 (+.f64 1.0 (*.f64 0.3275911 (fabs.f64 x)))) 1.061405429)))))))) (exp.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
281.0ms
(log.f64 (exp.f64 (-.f64 1.0 (*.f64 (/.f64 1.0 (+.f64 1.0 (*.f64 0.3275911 (fabs.f64 x)))) (/.f64 (log.f64 (exp.f64 (+.f64 0.254829592 (*.f64 (/.f64 1.0 (+.f64 1.0 (*.f64 0.3275911 (fabs.f64 x)))) (+.f64 -0.284496736 (*.f64 (/.f64 1.0 (+.f64 1.0 (*.f64 0.3275911 (fabs.f64 x)))) (+.f64 1.421413741 (*.f64 (/.f64 1.0 (+.f64 1.0 (*.f64 0.3275911 (fabs.f64 x)))) (+.f64 -1.453152027 (*.f64 (/.f64 1.0 (+.f64 1.0 (*.f64 0.3275911 (fabs.f64 x)))) 1.061405429)))))))))) (exp.f64 (pow.f64 (fabs.f64 x) 2)))))))

analyze12.7s (3.5%)

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

regimes10.6s (2.9%)

Accuracy

Total 90.5b remaining (36.4%)

Threshold costs 4.7b (1.9%)

10.7b5499.1%math.abs on complex
10.4b5704.8%math.log/2 on complex, real part
10.3b5754.5%math.log10 on complex, real part
10.2b5801.9%math.log/1 on complex, real part
9.7b4889.9%math.sqrt on complex, imaginary part, im greater than 0 branch

rewrite7.3s (2%)

Algorithm
160×rewrite-expression-head
Rules
18698×times-frac_binary64
13931×*-un-lft-identity_binary64
10502×add-sqr-sqrt_binary64
8862×add-cube-cbrt_binary64
5055×sqrt-prod_binary64
2449×distribute-lft-out_binary64
1911×add-exp-log_binary64
1546×add-cbrt-cube_binary64
1507×pow1_binary64
1343×associate-/l*_binary64
1118×associate-*r*_binary64
914×associate-*l*_binary64
801×add-log-exp_binary64
766×flip3-+_binary64 flip-+_binary64
700×associate-/r/_binary64
586×sqrt-div_binary64
563×prod-exp_binary64
446×unpow-prod-down_binary64
445×associate-/r*_binary64
440×difference-of-squares_binary64 associate-*r/_binary64 cbrt-prod_binary64
429×cbrt-unprod_binary64 div-inv_binary64
377×div-exp_binary64
342×pow-prod-down_binary64
274×unswap-sqr_binary64
270×cbrt-undiv_binary64
266×distribute-lft-out--_binary64
229×frac-times_binary64
223×cbrt-div_binary64
218×frac-add_binary64
214×log-pow_binary64
195×cube-prod_binary64
183×swap-sqr_binary64
157×sqr-pow_binary64
148×sqrt-pow1_binary64
139×sum-log_binary64
135×flip3--_binary64 flip--_binary64
134×*-commutative_binary64
128×associate-*l/_binary64
126×log-prod_binary64
118×associate-/l/_binary64
116×pow1/2_binary64
97×pow-unpow_binary64
89×pow1/3_binary64
84×clear-num_binary64 frac-2neg_binary64
82×pow-exp_binary64 distribute-rgt-in_binary64 distribute-lft-in_binary64
78×pow-prod-up_binary64
70×exp-prod_binary64
69×rem-sqrt-square_binary64
67×+-commutative_binary64
62×sub-neg_binary64
58×pow-sqr_binary64
49×pow-to-exp_binary64 pow-pow_binary64
46×diff-log_binary64
42×rec-exp_binary64 1-exp_binary64
40×pow-plus_binary64
38×exp-sum_binary64
36×unpow3_binary64 cube-mult_binary64
35×pow2_binary64
30×cube-div_binary64
29×associate-+r+_binary64
20×div-sub_binary64
18×frac-sub_binary64
17×log-div_binary64
16×rem-log-exp_binary64
15×rem-cube-cbrt_binary64
14×difference-of-sqr-1_binary64
12×distribute-lft-neg-in_binary64 exp-diff_binary64 distribute-rgt-neg-in_binary64
11×rem-exp-log_binary64 associate--l+_binary64
10×associate--r+_binary64
9×unpow2_binary64 associate-+l+_binary64
7×rem-cbrt-cube_binary64 un-div-inv_binary64
6×sqrt-unprod_binary64 unpow-prod-up_binary64
5×difference-cubes_binary64 pow-flip_binary64 inv-pow_binary64
4×associate-+l-_binary64 associate--l-_binary64 sqrt-pow2_binary64 neg-mul-1_binary64 exp-to-pow_binary64 sub-div_binary64
2×sqrt-undiv_binary64 associate-+r-_binary64 pow-sub_binary64 rem-square-sqrt_binary64 sin-sum_binary64
1×pow3_binary64 e-exp-1_binary64 sum-cubes_binary64 associate--r-_binary64 distribute-rgt-out--_binary64 cos-sum_binary64
Calls

475 calls:

169.0ms
(*.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1.0 (*.f64 0.7715471019 (*.f64 x x))) (*.f64 0.2909738639 (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 0.0694555761 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 0.0140005442 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 0.0008327945 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 (*.f64 2.0 0.0001789971) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x))))) (cbrt.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1.0 (*.f64 0.7715471019 (*.f64 x x))) (*.f64 0.2909738639 (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 0.0694555761 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 0.0140005442 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 0.0008327945 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 (*.f64 2.0 0.0001789971) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x))))))) (*.f64 x (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1.0 (*.f64 0.1049934947 (*.f64 x x))) (*.f64 0.0424060604 (pow.f64 x 4))) (*.f64 0.0072644182 (pow.f64 x 6))) (*.f64 0.0005064034 (pow.f64 x 8))) (*.f64 0.0001789971 (pow.f64 x 10))) (cbrt.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 1.0 (*.f64 (*.f64 x x) 0.7715471019)) (*.f64 (pow.f64 x 4) 0.2909738639)) (*.f64 (pow.f64 x 6) 0.0694555761)) (*.f64 (pow.f64 x 8) 0.0140005442)) (*.f64 (pow.f64 x 10) 0.0008327945)) (*.f64 (*.f64 0.0001789971 2.0) (pow.f64 x 12)))))))
162.0ms
(/.f64 (/.f64 (/.f64 (/.f64 (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 alpha beta)) 1.0) (sqrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 1.0 2.0)))) (sqrt.f64 (+.f64 (+.f64 alpha beta) (*.f64 2.0 1.0)))) (+.f64 (+.f64 alpha beta) (*.f64 2.0 1.0))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2.0 1.0)) 1.0))
152.0ms
(/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (/.f64 (+.f64 (*.f64 (-.f64 2.0 z) (+.f64 (pow.f64 0.9999999999998099 3) (pow.f64 (/.f64 676.5203681218851 (-.f64 1.0 z)) 3))) (*.f64 -1259.1392167224028 (+.f64 (*.f64 0.9999999999998099 0.9999999999998099) (*.f64 (/.f64 676.5203681218851 (-.f64 1.0 z)) (-.f64 (/.f64 676.5203681218851 (-.f64 1.0 z)) 0.9999999999998099))))) (*.f64 (-.f64 2.0 z) (+.f64 (*.f64 0.9999999999998099 0.9999999999998099) (*.f64 (/.f64 676.5203681218851 (-.f64 1.0 z)) (-.f64 (/.f64 676.5203681218851 (-.f64 1.0 z)) 0.9999999999998099))))) (/.f64 771.3234287776531 (-.f64 3.0 z))) (/.f64 -176.6150291621406 (-.f64 4.0 z))) (/.f64 12.507343278686905 (-.f64 5.0 z))) (/.f64 -0.13857109526572012 (-.f64 6.0 z))) (/.f64 9.984369578019572e-06 (-.f64 7.0 z))) (/.f64 1.5056327351493116e-07 (-.f64 8.0 z))) (exp.f64 (+.f64 (-.f64 7.0 z) 0.5)))
129.0ms
(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (/.f64 (+.f64 (*.f64 (-.f64 2.0 z) (+.f64 (pow.f64 0.9999999999998099 3) (pow.f64 (/.f64 676.5203681218851 (-.f64 1.0 z)) 3))) (*.f64 -1259.1392167224028 (+.f64 (*.f64 0.9999999999998099 0.9999999999998099) (*.f64 (/.f64 676.5203681218851 (-.f64 1.0 z)) (-.f64 (/.f64 676.5203681218851 (-.f64 1.0 z)) 0.9999999999998099))))) (*.f64 (-.f64 2.0 z) (+.f64 (*.f64 0.9999999999998099 0.9999999999998099) (*.f64 (/.f64 676.5203681218851 (-.f64 1.0 z)) (-.f64 (/.f64 676.5203681218851 (-.f64 1.0 z)) 0.9999999999998099))))) (/.f64 771.3234287776531 (-.f64 3.0 z))) (/.f64 -176.6150291621406 (-.f64 4.0 z))) (/.f64 12.507343278686905 (-.f64 5.0 z))) (/.f64 -0.13857109526572012 (-.f64 6.0 z))) (/.f64 9.984369578019572e-06 (-.f64 7.0 z)))
120.0ms
(/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 0.9999999999998099 (/.f64 676.5203681218851 (-.f64 1.0 z))) (/.f64 -1259.1392167224028 (-.f64 2.0 z))) (/.f64 771.3234287776531 (-.f64 3.0 z))) (/.f64 -176.6150291621406 (-.f64 4.0 z))) (/.f64 12.507343278686905 (-.f64 5.0 z))) (/.f64 -0.13857109526572012 (-.f64 6.0 z))) (/.f64 9.984369578019572e-06 (-.f64 7.0 z))) (/.f64 1.5056327351493116e-07 (-.f64 8.0 z))) (exp.f64 (+.f64 (-.f64 7.0 z) 0.5)))

localize2.3s (0.6%)

bsearch735.0ms (0.2%)

end1.0ms (0%)

Profiling

Loading profile data...