Date:Wednesday, September 16th, 2020
Commit:eff2405d on multiprecision
Hostname:warfa with Racket 7.8
Seed:2020260
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

series7.3s (34.9%)

Calls

62 calls:

388.0ms
(/.f64 c (*.f64 2 (-.f64 b (/.f64 (*.f64 (cbrt.f64 c) (cbrt.f64 c)) (/.f64 b (*.f64 a (cbrt.f64 c)))))))
335.0ms
(/.f64 c (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))))
279.0ms
(*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n)))
248.0ms
(/.f64 c (*.f64 2 (-.f64 b (/.f64 (*.f64 c a) b))))
239.0ms
(/.f64 c (*.f64 2 (-.f64 b (/.f64 c (/.f64 b a)))))

sample5.6s (27.0%)

Algorithm
18×intervals
Results
3.2s70206×body128valid
733.0ms4098×body2048valid
105.0ms2009×body128invalid
104.0ms1338×body128nan

simplify2.8s (13.4%)

Algorithm
41×egg-herbie

prune1.8s (8.5%)

Filtered
1737 candidates to 1221 candidates (29.7%)

analyze1.8s (8.5%)

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

rewrite631.0ms (3.0%)

Algorithm
23×rewrite-expression-head
Calls

62 calls:

26.0ms
(-.f64 (/.f64 1 (/.f64 y (+.f64 x 4))) (*.f64 (/.f64 x y) z))
22.0ms
(/.f64 (+.f64 (pow.f64 f 3) (pow.f64 n 3)) (*.f64 (-.f64 n f) (+.f64 (*.f64 f f) (*.f64 n (-.f64 n f)))))
20.0ms
(*.f64 (/.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (*.f64 z (/.f64 (cbrt.f64 x) (cbrt.f64 y))))
20.0ms
(*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 x))
19.0ms
(/.f64 c (*.f64 2 (-.f64 b (/.f64 c (/.f64 b a)))))
Rules
531×*-un-lft-identity_binary64
442×add-sqr-sqrt_binary64
388×times-frac_binary64
319×add-cube-cbrt_binary64
272×add-exp-log_binary64
224×add-cbrt-cube_binary64
103×pow1_binary64
94×add-log-exp_binary64
76×distribute-lft-out_binary64
74×associate-/r*_binary64
73×associate-*l*_binary64
71×prod-exp_binary64 cbrt-unprod_binary64
69×div-exp_binary64
68×cbrt-undiv_binary64
63×cbrt-prod_binary64
62×associate-/l*_binary64
59×exp-prod_binary64 sqrt-prod_binary64
47×associate-*r*_binary64
41×associate-/r/_binary64
39×flip3--_binary64 difference-of-squares_binary64 flip--_binary64
38×flip3-+_binary64 flip-+_binary64
36×div-inv_binary64
27×distribute-lft-out--_binary64 log-pow_binary64
26×associate-*r/_binary64 sqrt-div_binary64
21×frac-times_binary64
20×cbrt-div_binary64
19×clear-num_binary64 frac-2neg_binary64
18×unpow-prod-down_binary64 unswap-sqr_binary64 cube-prod_binary64 associate-*l/_binary64
14×pow-prod-down_binary64
13×pow1/2_binary64 pow1/3_binary64 sqrt-pow1_binary64
12×associate-/l/_binary64 sub-neg_binary64
11×rem-sqrt-square_binary64
9×swap-sqr_binary64 *-commutative_binary64
8×sum-log_binary64
7×+-commutative_binary64
6×diff-log_binary64 distribute-rgt-in_binary64 distribute-lft-in_binary64
5×frac-add_binary64
4×associate-+r+_binary64 rem-exp-log_binary64
3×exp-sum_binary64 log-prod_binary64 difference-of-sqr-1_binary64 sum-cubes_binary64
2×rec-exp_binary64 frac-sub_binary64 exp-to-pow_binary64 cube-div_binary64 div-sub_binary64 pow-sqr_binary64 pow-prod-up_binary64
1×sqrt-unprod_binary64 difference-of-sqr--1_binary64 rem-cbrt-cube_binary64 rem-log-exp_binary64 unpow3_binary64 cube-mult_binary64 pow-flip_binary64 exp-diff_binary64 pow-plus_binary64 inv-pow_binary64 sub-div_binary64 pow2_binary64 sqr-pow_binary64

regimes442.0ms (2.1%)

Accuracy

Total 3.8b remaining (25.7%)

Threshold costs 1.1b (7.1%)

1.7b88.9%jeff quadratic root 2
1.0b94.7%jeff quadratic root 1
0.7b0%fabs fraction 1
0.4b0%sqrt times
0.0b0%subtraction fraction

localize326.0ms (1.6%)

bsearch197.0ms (0.9%)

end0.0ms (0.0%)

Profiling

Loading profile data...