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

sample1.2min (50.5%)

Algorithm
56×intervals
Results
26.8s70011×body1280valid
18.6s17074×body2560valid
9.5s43807×body640valid
3.0s21451×body320valid
2.9s68291×body80valid
1.2s1061×body1280nan
938.0ms10076×body160valid
675.0ms43051×pre80true
664.0ms913×body640nan
525.0ms3020×body80overflowed
302.0ms680×body1280overflowed
217.0ms506×body320nan
193.0ms267×body640invalid
174.0ms3541×body80nan
166.0ms458×body5120valid
135.0ms100×body1280invalid
113.0ms375×body640overflowed
109.0ms161×body2560overflowed
103.0ms1656×body80invalid
89.0ms203×body320invalid
58.0ms249×body160nan
42.0ms191×body320overflowed
25.0ms90×body160invalid
12.0ms88×body160overflowed
4.0ms2×body2560invalid

series20.8s (14.7%)

Calls

343 calls:

866.0ms
(/.f64 (*.f64 eps (-.f64 (exp.f64 (*.f64 (+.f64 a b) eps)) 1)) (*.f64 (*.f64 eps (+.f64 a (*.f64 eps (*.f64 (*.f64 a a) 1/2)))) (-.f64 (exp.f64 (*.f64 b eps)) 1)))
499.0ms
(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (/.f64 (*.f64 (tan.f64 eps) (sin.f64 x)) (cos.f64 x)))) (tan.f64 x))
487.0ms
(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (/.f64 (*.f64 (sin.f64 x) (sin.f64 eps)) (*.f64 (cos.f64 x) (cos.f64 eps))))) (tan.f64 x))
473.0ms
(-.f64 (/.f64 (+.f64 (tan.f64 x) (tan.f64 eps)) (-.f64 1 (*.f64 (tan.f64 x) (tan.f64 eps)))) (tan.f64 x))
362.0ms
(cbrt.f64 (+.f64 (pow.f64 (+.f64 x 1) (/.f64 1/2 n)) (pow.f64 x (/.f64 1/2 n))))

simplify18.1s (12.8%)

Algorithm
160×egg-herbie

prune13.6s (9.7%)

Filtered
16657 candidates to 7395 candidates (55.6%)

analyze9.7s (6.9%)

Algorithm
28×search
Search
TrueOtherFalseIter
0%90.9%9.1%0
14.3%76.7%9.1%1
21.4%67.8%10.9%2
33.2%51.7%15.1%3
37.6%44.1%18.2%4
43.8%36.2%19.9%5
46.6%32.5%20.9%6
48.1%29.6%22.3%7
49.9%27.4%22.7%8
51.1%25.4%23.5%9
51.5%24.3%24.2%10
52.4%22.9%24.7%11
53.2%21.5%25.2%12
53.5%20.9%25.6%13
53.9%20.1%26%14

rewrite4.4s (3.1%)

Algorithm
104×rewrite-expression-head
Calls

343 calls:

196.0ms
(/.f64 (/.f64 (/.f64 1 (sqrt.f64 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))) (sqrt.f64 (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x))))) (sqrt.f64 (+.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))))
58.0ms
(/.f64 (-.f64 (/.f64 1 x) (/.f64 1 (+.f64 1 x))) (+.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 1 x)))))
55.0ms
(*.f64 (/.f64 a (sqrt.f64 (+.f64 b_2 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))))) (/.f64 (neg.f64 c) (sqrt.f64 (+.f64 b_2 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))))))
42.0ms
(/.f64 (/.f64 1 (*.f64 x (+.f64 1 x))) (+.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 1 x)))))
40.0ms
(*.f64 (+.f64 x 1) (+.f64 (/.f64 1 (sqrt.f64 x)) (/.f64 1 (sqrt.f64 (+.f64 x 1)))))
Rules
23148×sqrt-prod_binary64
21658×times-frac_binary64
21269×*-un-lft-identity_binary64
10368×add-sqr-sqrt_binary64
8666×add-cube-cbrt_binary64
6666×distribute-lft-out_binary64
1088×add-exp-log_binary64
894×associate-/l*_binary64
881×add-cbrt-cube_binary64
675×sqrt-div_binary64
662×pow1_binary64
657×difference-of-squares_binary64
645×add-log-exp_binary64
627×div-inv_binary64
489×associate-/r/_binary64
474×distribute-lft-out--_binary64
466×associate-/r*_binary64
454×associate-*r*_binary64
333×flip3-+_binary64 flip-+_binary64
318×associate-*l*_binary64
316×cbrt-prod_binary64
240×div-exp_binary64
224×log-prod_binary64
217×prod-exp_binary64
214×unpow-prod-down_binary64
180×flip3--_binary64 flip--_binary64
168×cbrt-undiv_binary64
157×cbrt-unprod_binary64
146×associate-*r/_binary64
143×unswap-sqr_binary64
104×diff-log_binary64
103×sqr-pow_binary64
90×sub-neg_binary64
88×pow-prod-down_binary64
80×log-pow_binary64
69×*-commutative_binary64
67×cube-prod_binary64
66×distribute-rgt-neg-in_binary64
65×clear-num_binary64 frac-2neg_binary64
64×sum-log_binary64
62×pow-unpow_binary64
61×associate-/l/_binary64 frac-times_binary64
60×sqrt-pow1_binary64
52×difference-of-sqr-1_binary64
51×frac-add_binary64 pow-flip_binary64
48×pow1/2_binary64
46×distribute-rgt-in_binary64 distribute-lft-in_binary64
44×cbrt-div_binary64
42×distribute-lft-neg-in_binary64
40×associate-*l/_binary64
36×1-exp_binary64
34×pow1/3_binary64 +-commutative_binary64
33×rec-exp_binary64
32×pow-to-exp_binary64 pow-exp_binary64
31×swap-sqr_binary64
28×neg-mul-1_binary64
27×rem-sqrt-square_binary64
25×exp-prod_binary64 log-div_binary64
24×tan-quot_binary64
21×associate--r+_binary64
20×inv-pow_binary64
19×unpow3_binary64 div-sub_binary64
18×associate--l+_binary64
17×rem-log-exp_binary64
16×frac-sub_binary64
14×associate-+r+_binary64 pow-pow_binary64
10×pow-div_binary64 cube-mult_binary64
9×distribute-rgt-out--_binary64
8×neg-sub0_binary64
6×associate--l-_binary64 exp-sum_binary64 sin-mult_binary64 distribute-frac-neg_binary64
5×associate-+l+_binary64 pow-sqr_binary64 pow-prod-up_binary64
4×associate-+l-_binary64 pow-plus_binary64 neg-log_binary64 pow2_binary64
3×exp-diff_binary64 sqr-sin-a_binary64
2×distribute-rgt-neg-out_binary64 unpow-prod-up_binary64 rem-exp-log_binary64 tan-sum_binary64 rem-cube-cbrt_binary64 exp-neg_binary64 associate--r-_binary64 cos-sum_binary64 sin-sum_binary64
1×rem-cbrt-cube_binary64 cos-mult_binary64 exp-to-pow_binary64 distribute-rgt-out_binary64 distribute-lft1-in_binary64 sin-cos-mult_binary64 diff-sin_binary64 un-div-inv_binary64 diff-atan_binary64 diff-cos_binary64

regimes1.4s (1.0%)

Accuracy

Total 22.3b remaining (27.3%)

Threshold costs 4.3b (5.3%)

6.0b79.1%quadp (p42, positive)
4.0b-15.4%expq3 (problem 3.4.2)
2.9b87.8%expax (section 3.5)
1.7b83.2%2nthrt (problem 3.4.6)
1.2b95%quad2m (problem 3.2.1, negative)

localize1.1s (0.8%)

bsearch799.0ms (0.6%)

end1.0ms (0.0%)

Profiling

Loading profile data...