Date:Thursday, July 23rd, 2020
Commit:c653a889 on reprify
Hostname:warfa with Racket 7.5
Seed:2020205
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 (32.4%)

Algorithm
18×intervals
Results
3.0s70171×body80valid
719.0ms4128×body1280valid
121.0ms2201×body80invalid
119.0ms1423×body80nan
0.0ms5×body160valid

simplify4.0s (24.8%)

Algorithm
46×egg-herbie

prune2.2s (13.4%)

Filtered
1864 candidates to 1338 candidates (28.2%)

analyze1.5s (9.1%)

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

series1.2s (7.2%)

Calls

74 calls:

35.0ms
(cbrt.f64 (+.f64 f n))
32.0ms
(*.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
32.0ms
(cbrt.f64 (+.f64 f n))
32.0ms
(cbrt.f64 (+.f64 f n))
31.0ms
(*.f64 (/.f64 x y) (*.f64 (cbrt.f64 z) (cbrt.f64 z)))

regimes1.1s (6.7%)

Accuracy

Total 4.3b remaining (23.4%)

Threshold costs 0.5b (2.6%)

1.6b0%fabs fraction 1
1.2b90.5%jeff quadratic root 2
1.0b92%jeff quadratic root 1
0.4b0%sqrt times
0.0b0%subtraction fraction

rewrite592.0ms (3.6%)

Algorithm
28×rewrite-expression-head
Calls

74 calls:

31.0ms
(*.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
23.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4.0 a))))
21.0ms
(*.f64 (sqrt.f64 (-.f64 x 1.0)) (sqrt.f64 x))
20.0ms
(log.f64 (-.f64 (/.f64 1.0 x) 1.0))
17.0ms
(-.f64 (*.f64 (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4.0 a) c)))) (sqrt.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4.0 a) c))))) b)
Rules
708×*-un-lft-identity_binary64
567×add-sqr-sqrt_binary64
380×times-frac_binary64
338×add-cube-cbrt_binary64
239×cbrt-prod_binary64
155×add-exp-log_binary64
146×pow1_binary64
138×add-cbrt-cube_binary64
115×add-log-exp_binary64
91×distribute-lft-out_binary64
86×sqrt-prod_binary64
83×exp-prod_binary64 associate-*l*_binary64
81×distribute-lft-out--_binary64
79×difference-of-squares_binary64
62×associate-*r*_binary64
51×swap-sqr_binary64
50×flip3--_binary64 flip--_binary64
48×sqrt-div_binary64
42×associate-/r*_binary64
41×log-pow_binary64
33×associate-/l*_binary64
30×prod-exp_binary64 cbrt-unprod_binary64
26×log-prod_binary64 sqrt-pow1_binary64
25×pow1/2_binary64
24×associate-/r/_binary64
23×div-inv_binary64
22×unswap-sqr_binary64
21×pow-prod-down_binary64 rem-sqrt-square_binary64
19×cbrt-undiv_binary64 cbrt-div_binary64 div-exp_binary64
16×sub-neg_binary64 diff-log_binary64 pow1/3_binary64
14×associate-/l/_binary64 exp-sum_binary64
12×unpow-prod-down_binary64
11×associate-*l/_binary64
10×flip3-+_binary64 clear-num_binary64 associate-*r/_binary64 rem-exp-log_binary64 frac-2neg_binary64 flip-+_binary64
9×pow-unpow_binary64
8×cube-prod_binary64 *-commutative_binary64
6×log-div_binary64 pow-pow_binary64
4×rem-log-exp_binary64 exp-diff_binary64
3×associate--l-_binary64 neg-sub0_binary64 distribute-rgt-neg-in_binary64 neg-log_binary64 sqr-pow_binary64
2×pow-to-exp_binary64 frac-sub_binary64 pow-exp_binary64 unpow3_binary64 cube-mult_binary64 pow-sqr_binary64 sub-div_binary64 pow-prod-up_binary64 frac-times_binary64
1×sqrt-unprod_binary64 rem-cbrt-cube_binary64 unpow-prod-up_binary64 sum-log_binary64 exp-to-pow_binary64 pow-plus_binary64 rem-cube-cbrt_binary64 pow-sub_binary64 pow2_binary64

localize343.0ms (2.1%)

bsearch102.0ms (0.6%)

end0.0ms (0.0%)

Profiling

Loading profile data...