Date:Tuesday, July 28th, 2020
Commit:4ba6b6e4 on master
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

sample1.7min (43.0%)

Algorithm
99×intervals
Results
48.5s8028×body5120exit
21.4s359878×body80valid
7.3s15968×body1280valid
5.3s11395×body1280invalid
3.2s12398×body640valid
2.5s8459×body640invalid
1.4s86838×pre80true
1.3s7509×body160valid
1.1s6780×body320valid
1.1s18111×body80invalid
809.0ms3934×body320invalid
403.0ms1401×body2560valid
248.0ms1918×body160invalid
210.0ms611×body5120valid
196.0ms2286×body80nan
82.0ms47×body2560invalid
0.0ms12×body80overflowed

prune1.2min (30.5%)

Filtered
19768 candidates to 11813 candidates (40.2%)

simplify15.9s (6.6%)

Algorithm
259×egg-herbie

series14.4s (5.9%)

Calls

479 calls:

431.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))
312.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)))))))
310.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)))))
275.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)))))))
274.0ms
(-.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 (5.2%)

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

regimes11.0s (4.5%)

Accuracy

Total 91.7b remaining (36.5%)

Threshold costs 4.7b (1.9%)

10.7b55%math.abs on complex
10.4b57%math.log/2 on complex, real part
10.3b57.5%math.log10 on complex, real part
10.2b58%math.log/1 on complex, real part
9.7b48.9%math.sqrt on complex, imaginary part, im greater than 0 branch

rewrite7.2s (3.0%)

Algorithm
161×rewrite-expression-head
Calls

479 calls:

173.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))
160.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)))))))
147.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)))
128.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)))
122.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)))
Rules
18767×times-frac_binary64
13984×*-un-lft-identity_binary64
10537×add-sqr-sqrt_binary64
8897×add-cube-cbrt_binary64
5055×sqrt-prod_binary64
2458×distribute-lft-out_binary64
1927×add-exp-log_binary64
1556×add-cbrt-cube_binary64
1511×pow1_binary64
1344×associate-/l*_binary64
1118×associate-*r*_binary64
914×associate-*l*_binary64
805×add-log-exp_binary64
777×flip3-+_binary64 flip-+_binary64
705×associate-/r/_binary64
586×sqrt-div_binary64
565×prod-exp_binary64
476×cbrt-prod_binary64
472×associate-/r*_binary64
446×unpow-prod-down_binary64
442×associate-*r/_binary64
440×difference-of-squares_binary64
432×div-inv_binary64
431×cbrt-unprod_binary64
383×div-exp_binary64
342×pow-prod-down_binary64
276×cbrt-undiv_binary64
274×unswap-sqr_binary64
266×distribute-lft-out--_binary64
245×cbrt-div_binary64
233×frac-times_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
130×associate-*l/_binary64
126×associate-/l/_binary64 log-prod_binary64
116×pow1/2_binary64
97×pow-unpow_binary64
92×pow1/3_binary64
85×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

localize2.4s (1.0%)

bsearch744.0ms (0.3%)

end1.0ms (0.0%)

Profiling

Loading profile data...