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

sample5.3s (26.8%)

Algorithm
18×intervals
Results
3.0s70229×body80valid
721.0ms4063×body1280valid
112.0ms1984×body80invalid
104.0ms1325×body80nan
1.0ms12×body160valid

simplify5.2s (26.7%)

Algorithm
43×egg-herbie

series3.8s (19.5%)

Calls

70 calls:

141.0ms
(/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (-.f64 b (*.f64 2 (*.f64 (/.f64 a (*.f64 (cbrt.f64 b) (cbrt.f64 b))) (/.f64 c (cbrt.f64 b)))))))
132.0ms
(-.f64 (*.f64 (fabs.f64 (cbrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (sqrt.f64 (cbrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))) b)
116.0ms
(cbrt.f64 (/.f64 a (*.f64 (cbrt.f64 b) (cbrt.f64 b))))
114.0ms
(/.f64 (*.f64 2 c) (-.f64 (neg.f64 b) (-.f64 b (*.f64 2 (/.f64 (*.f64 a c) b)))))
111.0ms
(cbrt.f64 (/.f64 a (*.f64 (cbrt.f64 b) (cbrt.f64 b))))

prune2.1s (10.9%)

Filtered
2362 candidates to 1382 candidates (41.5%)

analyze1.5s (7.6%)

Algorithm
9×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
11.1%88.8%0.1%1
11.1%83.3%5.6%2
19.4%69.4%11.2%3
31.9%51.3%16.8%4
35.4%45.1%19.5%5
45.1%34%20.9%6
50.7%26.4%23%7
53.3%23.4%23.3%8
57.6%18.3%24.1%9
59.6%15.1%25.4%10
61.3%12.9%25.8%11
63.2%10%26.8%12
64.2%8.2%27.6%13
64.9%6.9%28.2%14

rewrite671.0ms (3.4%)

Algorithm
25×rewrite-expression-head
Calls

70 calls:

25.0ms
(*.f64 (sqrt.f64 (+.f64 f n)) (/.f64 (sqrt.f64 (+.f64 f n)) (-.f64 n f)))
24.0ms
(cbrt.f64 (cbrt.f64 (pow.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3) 3)))
24.0ms
(cbrt.f64 (pow.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3) 3))
22.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
20.0ms
(-.f64 (/.f64 1 (/.f64 y (+.f64 x 4))) (*.f64 (/.f64 x y) z))
Rules
1042×*-un-lft-identity_binary64
856×add-sqr-sqrt_binary64
728×times-frac_binary64
520×cbrt-prod_binary64
519×add-cube-cbrt_binary64
412×unpow-prod-down_binary64
408×cube-prod_binary64
257×add-exp-log_binary64
200×sqrt-prod_binary64
182×add-cbrt-cube_binary64
141×distribute-lft-out_binary64
139×pow1_binary64
125×difference-of-squares_binary64
114×distribute-lft-out--_binary64
113×associate-*r*_binary64
101×add-log-exp_binary64
80×associate-*l*_binary64
76×prod-exp_binary64 sqrt-div_binary64
59×associate-/r/_binary64 flip3--_binary64 flip--_binary64
55×associate-/r*_binary64
51×div-exp_binary64
50×cbrt-unprod_binary64
45×div-inv_binary64
36×cbrt-undiv_binary64
31×sqrt-pow1_binary64
29×pow-prod-down_binary64 unswap-sqr_binary64
28×associate-/l*_binary64
27×pow1/2_binary64
26×cbrt-div_binary64
24×exp-prod_binary64
23×associate-*r/_binary64
20×rem-sqrt-square_binary64
18×associate-*l/_binary64
17×log-prod_binary64
16×flip3-+_binary64 pow-unpow_binary64 flip-+_binary64
13×pow1/3_binary64 frac-times_binary64 sqr-pow_binary64
12×sub-neg_binary64 unpow3_binary64 cube-mult_binary64
11×difference-of-sqr-1_binary64 pow-exp_binary64
10×diff-log_binary64 *-commutative_binary64
9×clear-num_binary64 cube-div_binary64 frac-2neg_binary64
8×associate-/l/_binary64 rec-exp_binary64 1-exp_binary64 pow-pow_binary64
6×log-pow_binary64 rem-exp-log_binary64
5×pow-to-exp_binary64 exp-sum_binary64 rem-cube-cbrt_binary64
4×sqrt-unprod_binary64 sum-log_binary64 distribute-rgt-neg-in_binary64
3×+-commutative_binary64
2×rem-cbrt-cube_binary64 rem-log-exp_binary64 frac-sub_binary64 exp-diff_binary64 log-div_binary64
1×unpow-prod-up_binary64 pow-flip_binary64 inv-pow_binary64 pow-sub_binary64 sub-div_binary64

regimes472.0ms (2.4%)

Accuracy

Total 3.3b remaining (20.2%)

Threshold costs 0.7b (4.5%)

1.4b88.1%jeff quadratic root 1
1.2b92.4%jeff quadratic root 2
0.4b76.8%fabs fraction 1
0.4b0%sqrt times
0.0b0%exp neg sub

localize356.0ms (1.8%)

bsearch182.0ms (0.9%)

end0.0ms (0.0%)

Profiling

Loading profile data...