Date:Tuesday, November 17th, 2020
Commit:c370331b on mpfr-cost
Hostname:warfa with Racket 7.9
Seed:2020322
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

Time bar (total: 21.5min)

bsearch13.3min (61.8%)

Compiler

Compiled 39 to 29 computations (25.6% saved)

sample3.4min (16%)

Algorithm
17×intervals
Results
17.5s62178×body128valid
6.6s4126×body2048valid
394.0ms1703×body128invalid
267.0ms749×body128nan
Compiler

Compiled 30461 to 21708 computations (28.7% saved)

regimes2.0min (9.3%)

Compiler

Compiled 157045 to 112561 computations (28.3% saved)

prune1.5min (7.1%)

Compiler

Compiled 79244 to 47368 computations (40.2% saved)

series31.6s (2.5%)

Calls

71 calls:

1.6s
(exp.f64 (neg.f64 (log.f64 (sqrt.f64 x))))
1.5s
(exp.f64 (neg.f64 (log.f64 (sqrt.f64 x))))
1.1s
(+.f64 (log.f64 (+.f64 1 (exp.f64 (neg.f64 (log.f64 (sqrt.f64 x)))))) (log.f64 (-.f64 (/.f64 1 (sqrt.f64 x)) 1)))
883.0ms
(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
826.0ms
(cbrt.f64 x)

simplify23.5s (1.8%)

Algorithm
48×egg-herbie

analyze12.1s (0.9%)

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
Compiler

Compiled 144 to 110 computations (23.6% saved)

rewrite4.9s (0.4%)

Algorithm
31×rewrite-expression-head
Rules
467×add-sqr-sqrt_binary64
466×*-un-lft-identity_binary64
264×times-frac_binary64
223×add-cube-cbrt_binary64
184×sqrt-prod_binary64
115×log-prod_binary64
103×add-exp-log_binary64_457
91×pow1_binary64
88×difference-of-squares_binary64
76×add-exp-log_binary64
72×add-sqr-sqrt_binary64_441
71×add-log-exp_binary64
65×*-un-lft-identity_binary64_419 add-cbrt-cube_binary64_455
63×add-cbrt-cube_binary64
56×distribute-lft-out_binary64
55×add-cube-cbrt_binary64_454
50×associate-/r*_binary64 pow1_binary64_480
47×distribute-lft-out--_binary64
46×*-un-lft-identity_binary64_78
45×distribute-rgt-neg-in_binary64
43×prod-exp_binary64_468
42×add-sqr-sqrt_binary64_100
41×cbrt-unprod_binary64_452
40×associate-+r+_binary64 associate-*l*_binary64
39×associate-/l*_binary64
38×times-frac_binary64_425 distribute-lft-neg-in_binary64
36×add-log-exp_binary64_117
32×exp-prod_binary64
31×associate-*l*_binary64_360
30×cbrt-prod_binary64_450
27×difference-of-sqr-1_binary64
26×sqrt-prod_binary64_94 pow1/2_binary64 sqrt-pow1_binary64 add-cube-cbrt_binary64_113 sqrt-div_binary64
24×flip3--_binary64 associate-*r*_binary64 flip--_binary64 pow1_binary64_139
23×log-pow_binary64
22×add-log-exp_binary64_458
21×div-exp_binary64_470
20×cbrt-undiv_binary64_453
16×add-cbrt-cube_binary64_114 add-exp-log_binary64_116 unswap-sqr_binary64 sqrt-div_binary64_95 div-inv_binary64
15×pow-flip_binary64 cancel-sign-sub-inv_binary64 sqrt-pow1_binary64_437
14×flip3-+_binary64 log-div_binary64 div-exp_binary64 flip-+_binary64
13×sum-log_binary64
12×pow-prod-down_binary64 distribute-neg-in_binary64 exp-sum_binary64
11×neg-log_binary64 pow-prod-up_binary64_489
10×pow1/3_binary64_501 flip--_binary64_53 neg-sub0_binary64 neg-mul-1_binary64 sqrt-prod_binary64_435 flip3--_binary64_82
9×clear-num_binary64 cbrt-undiv_binary64 associate-+l+_binary64 frac-2neg_binary64 rem-sqrt-square_binary64
8×associate-/l/_binary64 associate-/r/_binary64 associate-+l-_binary64 rem-sqrt-square_binary64_91 sqrt-pow1_binary64_96 associate-*r*_binary64_359 unswap-sqr_binary64_387 distribute-lft-out_binary64_29 pow1/2_binary64_158 sum-log_binary64_169 associate-*l/_binary64
7×associate-*l/_binary64_362 +-commutative_binary64
6×+-commutative_binary64_8 pow-prod-down_binary64_490 flip-+_binary64_52 cancel-sign-sub-inv_binary64_44 flip3-+_binary64_81
5×diff-log_binary64 rec-exp_binary64 associate-+r-_binary64 1-exp_binary64 div-inv_binary64_416 inv-pow_binary64
4×sqrt-unprod_binary64 prod-exp_binary64 inv-pow_binary64_504 distribute-lft-out_binary64_370 rem-exp-log_binary64 pow-flip_binary64_493 cbrt-unprod_binary64 difference-of-squares_binary64_47 associate-/l*_binary64_364 *-commutative_binary64
3×sub-neg_binary64 rem-log-exp_binary64 pow2_binary64_500 associate-/r*_binary64_363 pow-plus_binary64_482 *-commutative_binary64_350 associate-*r/_binary64_361 pow-sqr_binary64_392 rem-sqrt-square_binary64_432
2×sub-neg_binary64_412 flip3--_binary64_423 associate--l-_binary64 diff-log_binary64_170 flip--_binary64_394 frac-sub_binary64_428 associate-/l/_binary64_366 distribute-neg-frac_binary64 cancel-sign-sub-inv_binary64_385 exp-diff_binary64 associate-+r-_binary64_12 neg-sub0_binary64_73 unsub-neg_binary64_72 distribute-rgt-neg-in_binary64_36 exp-neg_binary64 pow1/2_binary64_499 distribute-lft-out--_binary64_30 diff-log_binary64_511 sub-div_binary64_426 sub-neg_binary64_71 neg-log_binary64_171
1×sqrt-div_binary64_436 clear-num_binary64_418 1-exp_binary64_463 flip3-+_binary64_422 frac-2neg_binary64_430 distribute-neg-out_binary64 frac-times_binary64_429 rec-exp_binary64_469 div-sub_binary64 flip-+_binary64_393 distribute-frac-neg_binary64 unsub-neg_binary64
Calls

71 calls:

213.0ms
(+.f64 (log.f64 (+.f64 1 (/.f64 1 (sqrt.f64 x)))) (log.f64 (-.f64 (/.f64 1 (sqrt.f64 x)) 1)))
165.0ms
(*.f64 (sqrt.f64 (-.f64 x 1)) (sqrt.f64 x))
161.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))))
101.0ms
(+.f64 (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))) (neg.f64 b))
97.0ms
(/.f64 (neg.f64 (+.f64 f n)) (-.f64 f n))

localize3.6s (0.3%)

Compiler

Compiled 6120 to 10200 computations (-66.7% saved)

end7.0ms (0%)

Profiling

Loading profile data...