Date:Tuesday, August 11th, 2020
Commit:bcfc386d on master
Hostname:warfa with Racket 7.5
Seed:2020224
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.4s (35.3%)

Algorithm
18×intervals
Results
3.1s70168×body80valid
798.0ms4130×body1280valid
116.0ms1394×body80nan
116.0ms2017×body80invalid
0.0ms6×body160valid

simplify3.7s (23.9%)

Algorithm
42×egg-herbie

prune1.5s (9.8%)

Filtered
1919 candidates to 1306 candidates (31.9%)

analyze1.5s (9.7%)

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.4s (8.8%)

Calls

65 calls:

237.0ms
(pow.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) 6)
34.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)
30.0ms
(cbrt.f64 (+.f64 f n))
29.0ms
(/.f64 (*.f64 z (/.f64 x (cbrt.f64 y))) (cbrt.f64 y))
29.0ms
(cbrt.f64 (-.f64 n f))

regimes827.0ms (5.4%)

Accuracy

Total 2.9b remaining (16.1%)

Threshold costs 1.6b (8.9%)

1.3b89.3%jeff quadratic root 2
0.8b93.5%jeff quadratic root 1
0.4b0%sqrt times
0.4b86.3%fabs fraction 1
0.0b0%subtraction fraction

rewrite637.0ms (4.1%)

Algorithm
24×rewrite-expression-head
Calls

65 calls:

35.0ms
(*.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
25.0ms
(/.f64 (+.f64 (/.f64 (/.f64 1 x) x) -1) (+.f64 1 (/.f64 1 x)))
25.0ms
(*.f64 (/.f64 1 (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (*.f64 (*.f64 (cbrt.f64 z) (cbrt.f64 z)) (*.f64 (/.f64 x (cbrt.f64 y)) (cbrt.f64 z))))
23.0ms
(-.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))) b)
20.0ms
(-.f64 (/.f64 1 x) 1)
Rules
794×*-un-lft-identity_binary64
681×add-sqr-sqrt_binary64
632×times-frac_binary64
465×add-exp-log_binary64
450×cbrt-prod_binary64
397×add-cube-cbrt_binary64
232×prod-exp_binary64
198×add-cbrt-cube_binary64
147×pow1_binary64
112×cbrt-unprod_binary64
109×distribute-lft-out_binary64
95×associate-*l*_binary64
91×add-log-exp_binary64 associate-*r*_binary64
88×div-exp_binary64
78×sqrt-prod_binary64
75×difference-of-squares_binary64 distribute-lft-out--_binary64
53×cbrt-undiv_binary64
51×swap-sqr_binary64
50×div-inv_binary64
49×flip3--_binary64 flip--_binary64
44×sqrt-div_binary64
41×associate-/l*_binary64
34×pow-prod-down_binary64
30×associate-/r*_binary64 difference-of-sqr--1_binary64
29×unpow-prod-down_binary64
27×unswap-sqr_binary64
26×associate-/r/_binary64
24×sqrt-pow1_binary64
23×pow1/2_binary64
22×pow1/3_binary64
21×rec-exp_binary64 1-exp_binary64 cbrt-div_binary64
19×rem-sqrt-square_binary64
13×associate-*r/_binary64
12×associate-*l/_binary64
10×sub-neg_binary64 diff-log_binary64
9×associate-/l/_binary64 *-commutative_binary64
8×flip3-+_binary64 flip-+_binary64
6×exp-sum_binary64 log-prod_binary64 clear-num_binary64 exp-prod_binary64 frac-2neg_binary64
5×difference-of-sqr-1_binary64
3×sum-log_binary64 log-pow_binary64 pow-unpow_binary64 +-commutative_binary64 frac-times_binary64
2×pow-div_binary64 exp-diff_binary64 pow-sqr_binary64 log-div_binary64 pow-pow_binary64 pow-prod-up_binary64
1×sqrt-unprod_binary64 pow-to-exp_binary64 frac-sub_binary64 pow-exp_binary64 pow-flip_binary64 rem-exp-log_binary64 pow-plus_binary64 inv-pow_binary64 sub-div_binary64 pow2_binary64 sqr-pow_binary64

localize327.0ms (2.1%)

bsearch150.0ms (1.0%)

end0.0ms (0.0%)

Profiling

Loading profile data...