Date:Thursday, August 20th, 2020
Commit:9dfd47eb on scaleup-plugins
Hostname:warfa with Racket 7.5
Seed:2020233
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

series2.6min (45.9%)

Calls

478 calls:

25.1s
(+.f64 1 (pow.f64 (/.f64 (*.f64 (+.f64 alpha beta) (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))) (+.f64 2 (+.f64 (+.f64 alpha beta) (*.f64 2 i)))) 3))
25.1s
(log.f64 (exp.f64 (+.f64 1 (pow.f64 (/.f64 (*.f64 (+.f64 alpha beta) (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))) (+.f64 2 (+.f64 (+.f64 alpha beta) (*.f64 2 i)))) 3))))
24.6s
(+.f64 1 (pow.f64 (/.f64 (*.f64 (+.f64 alpha beta) (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))) (+.f64 2 (+.f64 (+.f64 alpha beta) (*.f64 2 i)))) 3))
14.7s
(pow.f64 (/.f64 (*.f64 (+.f64 alpha beta) (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))) (+.f64 2 (+.f64 (+.f64 alpha beta) (*.f64 2 i)))) 3)
14.6s
(pow.f64 (/.f64 (*.f64 (+.f64 alpha beta) (/.f64 (-.f64 beta alpha) (+.f64 (+.f64 alpha beta) (*.f64 2 i)))) (+.f64 2 (+.f64 (+.f64 alpha beta) (*.f64 2 i)))) 3)

sample1.8min (31.6%)

Algorithm
99×intervals
Results
49.6s8263×body5120exit
21.3s360291×body80valid
7.3s15794×body1280valid
5.4s11237×body1280invalid
3.3s12341×body640valid
2.6s8508×body640invalid
1.4s87083×pre80true
1.3s7464×body160valid
1.1s6681×body320valid
923.0ms17948×body80invalid
799.0ms3882×body320invalid
392.0ms1395×body2560valid
266.0ms1914×body160invalid
208.0ms2401×body80nan
192.0ms581×body5120valid
96.0ms52×body2560invalid
0.0ms9×body80overflowed

prune25.7s (7.7%)

Filtered
14482 candidates to 9441 candidates (34.8%)

simplify22.1s (6.6%)

Algorithm
256×egg-herbie

analyze12.7s (3.8%)

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

rewrite6.3s (1.9%)

Algorithm
158×rewrite-expression-head
Calls

478 calls:

112.0ms
(*.f64 (/.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)) (/.f64 (/.f64 (+.f64 (*.f64 alpha beta) (*.f64 i (+.f64 i (+.f64 alpha beta)))) (+.f64 (+.f64 alpha beta) (*.f64 i 2))) (-.f64 (+.f64 (+.f64 alpha beta) (*.f64 i 2)) 1)))
110.0ms
(*.f64 (/.f64 (/.f64 (+.f64 1 alpha) (+.f64 (+.f64 alpha beta) 2)) (sqrt.f64 (+.f64 alpha (+.f64 beta 3)))) (/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2)))
99.0ms
(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 562949953421205/562949953421312 (+.f64 (/.f64 5950736089418501/8796093022208 (-.f64 1 z)) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z)))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))) (/.f64 -6214088902520669/35184372088832 (-.f64 4 z))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z)))
88.0ms
(+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 562949953421205/562949953421312 (/.f64 5950736089418501/8796093022208 (-.f64 1 z))) (/.f64 -5537752839100187/4398046511104 (-.f64 2 z))) (/.f64 848079078717083/1099511627776 (-.f64 3 z))) (/.f64 -6214088902520669/35184372088832 (-.f64 4 z))) (/.f64 7041008316161153/562949953421312 (-.f64 5 z))) (/.f64 -4992549864024149/36028797018963968 (-.f64 6 z))) (/.f64 5893731530977871/590295810358705651712 (-.f64 7 z)))
71.0ms
(*.f64 (/.f64 (pow.f64 (exp.f64 (fabs.f64 x)) (fabs.f64 x)) (sqrt.f64 PI.f64)) (+.f64 (+.f64 (+.f64 (/.f64 1 (fabs.f64 x)) (/.f64 1/2 (pow.f64 (fabs.f64 x) 3))) (/.f64 3/4 (pow.f64 (fabs.f64 x) 5))) (/.f64 15/8 (pow.f64 (fabs.f64 x) 7))))
Rules
4747×*-un-lft-identity_binary64
3896×times-frac_binary64
3652×add-sqr-sqrt_binary64
2707×add-cube-cbrt_binary64
1730×add-exp-log_binary64
1436×add-cbrt-cube_binary64
1339×sqrt-prod_binary64
1206×pow1_binary64
972×distribute-lft-out_binary64
928×associate-*r*_binary64
866×associate-*l*_binary64
664×add-log-exp_binary64
523×prod-exp_binary64
469×flip3-+_binary64 flip-+_binary64
464×add-sqr-sqrt_binary64_575
445×unpow-prod-down_binary64
411×*-un-lft-identity_binary64_590
406×associate-/r*_binary64
396×cbrt-unprod_binary64
389×cbrt-prod_binary64
386×div-exp_binary64
368×associate-/r/_binary64
322×log-pow_binary64
308×add-cube-cbrt_binary64_561
305×associate-/l*_binary64
302×cbrt-undiv_binary64
289×add-exp-log_binary64_554
271×pow1_binary64_532
269×associate-*r/_binary64
253×add-cbrt-cube_binary64_562
240×pow-prod-down_binary64
225×difference-of-squares_binary64
209×div-inv_binary64
203×unswap-sqr_binary64
188×cube-prod_binary64
182×frac-times_binary64
177×associate-*r*_binary64_649
160×times-frac_binary64_585
159×frac-add_binary64
153×sqrt-div_binary64
152×associate-*l*_binary64_650
143×associate-*l/_binary64
142×log-prod_binary64
139×distribute-lft-out--_binary64
135×sum-log_binary64
133×add-log-exp_binary64_555
123×sqrt-pow1_binary64
121×associate-/l/_binary64
119×flip3--_binary64 flip--_binary64
113×pow-unpow_binary64
110×cbrt-div_binary64
109×prod-exp_binary64_537 *-commutative_binary64
100×cbrt-prod_binary64_557
93×cbrt-unprod_binary64_559
92×exp-prod_binary64
85×pow1/2_binary64
81×pow-prod-down_binary64_513
77×clear-num_binary64 frac-2neg_binary64 sqr-pow_binary64
75×sqrt-prod_binary64_569
64×difference-of-sqr-1_binary64
60×pow1/3_binary64 unswap-sqr_binary64_618
53×pow-exp_binary64
51×swap-sqr_binary64
50×unpow-prod-down_binary64_521
49×pow-pow_binary64
47×+-commutative_binary64
42×exp-sum_binary64 distribute-rgt-in_binary64 distribute-lft-in_binary64
41×flip-+_binary64_615 rem-sqrt-square_binary64 associate-/r*_binary64_653 flip3-+_binary64_588 associate-*r/_binary64_651
37×pow-to-exp_binary64
36×sub-neg_binary64 pow1/3_binary64_524 distribute-lft-out_binary64_634 *-commutative_binary64_658
35×rec-exp_binary64 1-exp_binary64
32×diff-log_binary64
29×pow-prod-up_binary64_512
28×flip--_binary64_616 flip3--_binary64_589
25×pow-plus_binary64_527 log-div_binary64
24×swap-sqr_binary64_617
23×associate-/l*_binary64_654
22×difference-of-squares_binary64_619 associate-*l/_binary64_652
21×sqr-pow_binary64_622 sub-neg_binary64_594
20×frac-sub_binary64 cube-mult_binary64
19×unpow3_binary64
18×rem-log-exp_binary64 cube-div_binary64 exp-diff_binary64 cbrt-div_binary64_558
17×div-sub_binary64 rem-cube-cbrt_binary64 sqrt-div_binary64_570 sum-log_binary64_500 div-exp_binary64_539
16×cube-prod_binary64_563 frac-times_binary64_582
14×cbrt-undiv_binary64_560 exp-neg_binary64 associate-/l/_binary64_656
13×+-commutative_binary64_657 distribute-lft-out--_binary64_635
12×neg-sub0_binary64 distribute-rgt-in_binary64_633 distribute-lft-in_binary64_632 pow-sqr_binary64 pow-prod-up_binary64 pow-sqr_binary64_623 frac-add_binary64_580
11×div-inv_binary64_591 rem-exp-log_binary64
10×pow-to-exp_binary64_511 associate-+r+_binary64 associate-/r/_binary64_655 pow-exp_binary64_510
9×associate--r+_binary64 diff-log_binary64_501
8×pow2_binary64_523 pow-plus_binary64 clear-num_binary64_593 un-div-inv_binary64 pow2_binary64 frac-2neg_binary64_583
7×pow-flip_binary64 inv-pow_binary64
6×unpow2_binary64_529 pow-unpow_binary64_519 associate-+l+_binary64 sin-sum_binary64 associate--l+_binary64
5×distribute-rgt1-in_binary64_639 rem-cbrt-cube_binary64 distribute-rgt-out_binary64_636
4×associate-+r+_binary64_641 cube-mult_binary64_565 unpow3_binary64_530 sub-div_binary64
3×sqrt-unprod_binary64 associate-+l-_binary64 unpow2_binary64 distribute-lft-neg-in_binary64_624 rem-sqrt-square_binary64_578 pow1/2_binary64_522 pow-sub_binary64 sqrt-pow1_binary64_571 distribute-rgt-neg-in_binary64_625 cos-sum_binary64
2×sqrt-pow2_binary64 cube-div_binary64_564 pow-pow_binary64_514 associate-+l+_binary64_642 distribute-rgt-out--_binary64 pow3_binary64_525 div-sub_binary64_584
1×sqrt-undiv_binary64 distribute-rgt-neg-out_binary64_627 associate--l-_binary64 rem-cube-cbrt_binary64_566 associate-+r-_binary64 associate--r-_binary64_648 rec-exp_binary64_538 neg-mul-1_binary64_597 associate--r-_binary64 1-exp_binary64_550

regimes4.3s (1.3%)

Accuracy

Total 96.2b remaining (38.2%)

Threshold costs 4.2b (1.7%)

13.1b56.4%math.sqrt on complex, real part
10.5b57%math.log10 on complex, real part
10.3b57.6%math.log/1 on complex, real part
10.3b58.2%math.log/2 on complex, real part
9.7b58.2%math.abs on complex

localize2.5s (0.7%)

bsearch1.1s (0.3%)

end2.0ms (0.0%)

Profiling

Loading profile data...