Date:Wednesday, October 14th, 2020
Commit:fb9d4903 on egg-taylor
Hostname:warfa with Racket 7.8
Seed:2020288
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

series18.3s (53.5%)

Calls

74 calls:

2.0s
(/.f64 (-.f64 (/.f64 (/.f64 1 x) x) 1) (+.f64 1 (/.f64 1 x)))
2.0s
(log.f64 (/.f64 (-.f64 (/.f64 (/.f64 1 x) x) 1) (+.f64 1 (/.f64 1 x))))
1.3s
(*.f64 (/.f64 1 (-.f64 n f)) (+.f64 n f))
1.2s
(/.f64 (+.f64 f n) (-.f64 n f))
792.0ms
(log.f64 (-.f64 (/.f64 1 x) 1))

sample5.2s (15.1%)

Algorithm
18×intervals
Results
3.0s70163×body80valid
708.0ms4135×body1280valid
114.0ms1354×body80nan
113.0ms2037×body80invalid
0.0ms6×body160valid

simplify4.4s (12.7%)

prune2.4s (6.9%)

Filtered
2328 candidates to 1464 candidates (37.1%)

rewrite1.6s (4.8%)

Algorithm
27×rewrite-expression-head
Calls

74 calls:

225.0ms
(/.f64 (+.f64 f n) (-.f64 n f))
220.0ms
(log.f64 (-.f64 (/.f64 1 x) 1))
210.0ms
(*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 x))
208.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))
37.0ms
(log.f64 (/.f64 (-.f64 (/.f64 (/.f64 1 x) x) 1) (+.f64 1 (/.f64 1 x))))
Rules
1062×add-sqr-sqrt_binary64
908×*-un-lft-identity_binary64
804×times-frac_binary64
451×add-cube-cbrt_binary64
231×cbrt-prod_binary64
201×sqrt-prod_binary64
198×add-exp-log_binary64
189×difference-of-squares_binary64
147×pow1_binary64
146×associate-*l*_binary64
141×add-cbrt-cube_binary64
117×add-log-exp_binary64
115×log-prod_binary64
114×distribute-lft-out_binary64
105×div-inv_binary64
98×associate-*r*_binary64
82×sqrt-div_binary64
74×difference-of-sqr-1_binary64 insert-posit16
70×distribute-lft-out--_binary64
58×flip3--_binary64 flip--_binary64
56×associate-/l*_binary64
51×prod-exp_binary64 unswap-sqr_binary64
49×associate-/r*_binary64
39×swap-sqr_binary64
37×sqrt-pow1_binary64
35×associate-/r/_binary64
32×unpow-prod-down_binary64
31×pow1/2_binary64
27×div-exp_binary64
24×rem-sqrt-square_binary64
23×cbrt-unprod_binary64
22×pow-prod-down_binary64 pow1/3_binary64
17×cbrt-undiv_binary64
16×flip3-+_binary64 associate-*r/_binary64 flip-+_binary64
15×cbrt-div_binary64
14×sub-neg_binary64 diff-log_binary64 exp-prod_binary64
13×pow-exp_binary64 pow-unpow_binary64 associate-*l/_binary64 *-commutative_binary64
12×pow-to-exp_binary64
11×associate-/l/_binary64
10×exp-sum_binary64
9×clear-num_binary64 frac-2neg_binary64 sqr-pow_binary64
7×sum-log_binary64 frac-times_binary64
6×pow-pow_binary64
5×rec-exp_binary64 1-exp_binary64
4×sqrt-unprod_binary64 rem-exp-log_binary64 pow-sqr_binary64 +-commutative_binary64 pow-prod-up_binary64
3×rem-log-exp_binary64 frac-sub_binary64 pow-flip_binary64 inv-pow_binary64 log-div_binary64
2×pow-div_binary64 neg-sub0_binary64 unpow-prod-up_binary64 log-pow_binary64 distribute-rgt-neg-in_binary64 div-sub_binary64 pow-plus_binary64 neg-log_binary64 pow-sub_binary64 sub-div_binary64 pow2_binary64
1×associate-+l-_binary64 associate--l-_binary64 e-exp-1_binary64 exp-diff_binary64 distribute-rgt-in_binary64 distribute-lft-in_binary64 associate--l+_binary64

analyze1.4s (4.2%)

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

regimes442.0ms (1.3%)

Accuracy

Total 3.3b remaining (8.7%)

Threshold costs 0.8b (2%)

1.3b48.9%jeff quadratic root 1
1.3b50.4%jeff quadratic root 2
0.5b0%sqrt times
0.3b83.1%fabs fraction 1
0.0b0%subtraction fraction

localize370.0ms (1.1%)

bsearch129.0ms (0.4%)

end0.0ms (0.0%)

Profiling

Loading profile data...