Date:Friday, January 22nd, 2021
Commit:22998932 on mpmf-cost-baseline
Hostname:warfa with Racket 7.9
Seed:2021022
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:fallback
default

Details

Time bar (total: 57.0s)

sample28.3s (49.6%)

Algorithm
18×intervals
Results
4.6s70174×body128valid
1.1s4130×body2048valid
165.0ms2070×body128invalid
163.0ms1331×body128nan
Compiler

Compiled 14572 to 10407 computations (28.6% saved)

series11.8s (20.7%)

Calls

67 calls:

611.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)
485.0ms
(cbrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
404.0ms
(cbrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
381.0ms
(-.f64 (+.f64 (/.f64 x y) (/.f64 4 y)) (*.f64 (/.f64 x y) z))
344.0ms
(cbrt.f64 (/.f64 x y))
Compiler

Compiled 42866 to 31815 computations (25.8% saved)

simplify5.1s (9%)

Algorithm
53×egg-herbie

prune4.8s (8.5%)

Compiler

Compiled 65728 to 35894 computations (45.4% saved)

analyze3.1s (5.4%)

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)

regimes2.4s (4.2%)

Accuracy

Total 3.3b remaining (23.9%)

Threshold costs 0.8b (5.4%)

1.3b90.6%jeff quadratic root 1
1.2b91.3%jeff quadratic root 2
0.5b0%sqrt times
0.2b69.6%fabs fraction 1
0.0b0%neg log

Compiler

Compiled 13579 to 9790 computations (27.9% saved)

rewrite810.0ms (1.4%)

Algorithm
26×rewrite-expression-head
Rules
210×*-un-lft-identity_binary64 add-sqr-sqrt_binary64
117×add-cube-cbrt_binary64
91×add-sqr-sqrt_binary64_100
84×*-un-lft-identity_binary64_419
82×times-frac_binary64
79×*-un-lft-identity_binary64_78
78×add-sqr-sqrt_binary64_441
74×times-frac_binary64_425
68×add-cube-cbrt_binary64_454
67×associate-*r*_binary64 add-exp-log_binary64
66×pow1_binary64
60×add-cbrt-cube_binary64
57×add-cube-cbrt_binary64_113
56×add-log-exp_binary64
44×sqrt-prod_binary64
42×associate-*l*_binary64 add-log-exp_binary64_117
39×cbrt-prod_binary64_450
38×add-exp-log_binary64_457
36×cbrt-prod_binary64
35×pow1_binary64_139
32×add-cbrt-cube_binary64_455
31×sqrt-prod_binary64_94
30×cancel-sign-sub-inv_binary64_44
28×pow1_binary64_480
27×associate-*l*_binary64_360
26×distribute-lft-out_binary64 add-log-exp_binary64_458 exp-prod_binary64_130
25×add-cbrt-cube_binary64_114
24×add-exp-log_binary64_116
21×flip3--_binary64 difference-of-squares_binary64 flip--_binary64 cancel-sign-sub-inv_binary64
20×sqrt-div_binary64_95 sqrt-div_binary64
18×unswap-sqr_binary64 cbrt-div_binary64
17×log-prod_binary64
16×flip3-+_binary64 flip--_binary64_53 distribute-lft-out--_binary64 flip3--_binary64_82 flip-+_binary64
15×cbrt-div_binary64_451
14×exp-sum_binary64_124 pow-unpow_binary64_155
13×prod-exp_binary64 difference-of-squares_binary64_47
12×associate-*l/_binary64_362 unpow-prod-up_binary64_156 cbrt-unprod_binary64_452 prod-exp_binary64_468 sqrt-pow1_binary64
11×pow-prod-down_binary64 associate-*l*_binary64_19 unpow-prod-down_binary64_157 pow1/2_binary64 associate-*r/_binary64 cbrt-unprod_binary64
10×pow-prod-down_binary64_490 sub-neg_binary64 rem-sqrt-square_binary64_91 sqrt-pow1_binary64_96 pow1/2_binary64_158 sub-neg_binary64_71
9×associate-/r*_binary64 swap-sqr_binary64 div-inv_binary64_416 pow1/3_binary64 pow-pow_binary64_150
8×diff-log_binary64 distribute-lft-out_binary64_370 rem-sqrt-square_binary64
7×associate-*r*_binary64_359 associate-/l*_binary64 associate-*r/_binary64_361 div-inv_binary64 div-exp_binary64 associate-*r*_binary64_18 associate-/l*_binary64_364 *-commutative_binary64
6×associate-/r/_binary64 diff-log_binary64_170 rem-exp-log_binary64_118 cbrt-undiv_binary64 difference-of-sqr-1_binary64 associate-/r*_binary64_363 distribute-rgt-in_binary64 cbrt-prod_binary64_109 frac-times_binary64 distribute-lft-in_binary64
5×sum-log_binary64 frac-times_binary64_429 distribute-lft-out--_binary64_30 diff-log_binary64_511 difference-of-sqr-1_binary64_48 associate-*l/_binary64
4×pow-sub_binary64_154 cbrt-div_binary64_110 flip3--_binary64_423 sqr-pow_binary64_50 flip--_binary64_394 unswap-sqr_binary64_387 div-exp_binary64_470 frac-sub_binary64_428 cbrt-undiv_binary64_453 associate-/l/_binary64_366 exp-diff_binary64_126 +-commutative_binary64
3×sub-neg_binary64_412 pow1/3_binary64_501 pow-to-exp_binary64_147 flip3-+_binary64_422 distribute-neg-in_binary64 prod-exp_binary64_127 sum-log_binary64_510 cancel-sign-sub-inv_binary64_385 *-commutative_binary64_350 pow-exp_binary64_146 flip-+_binary64_393 unswap-sqr_binary64_46 distribute-lft-out_binary64_29 associate--l+_binary64
2×clear-num_binary64_418 associate-/l/_binary64 associate--l+_binary64_356 frac-2neg_binary64_430 clear-num_binary64 log-pow_binary64 frac-add_binary64_427 distribute-rgt-neg-in_binary64 frac-2neg_binary64 pow-prod-down_binary64_149 pow-sqr_binary64 pow1/3_binary64_160 log-div_binary64 pow-prod-up_binary64 sum-log_binary64_169
1×+-commutative_binary64_8 sqrt-unprod_binary64 *-commutative_binary64_9 associate-*l/_binary64_21 cbrt-unprod_binary64_111 associate--r+_binary64 associate--l-_binary64 flip-+_binary64_52 rec-exp_binary64 neg-sub0_binary64 1-exp_binary64 rem-log-exp_binary64 pow-plus_binary64 neg-log_binary64 associate-*r/_binary64_20 un-div-inv_binary64 sub-div_binary64_426 +-commutative_binary64_349 distribute-rgt-out_binary64_372 pow2_binary64 flip3-+_binary64_81 div-sub_binary64_424 frac-times_binary64_88
Calls

134 calls:

32.0ms
(-.f64 (+.f64 (/.f64 x y) (/.f64 4 y)) (*.f64 (/.f64 x y) z))
28.0ms
(*.f64 (pow.f64 (exp.f64 x) (-.f64 x 1)) (exp.f64 (-.f64 x 1)))
24.0ms
(*.f64 c (/.f64 1 (+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a)))))))
23.0ms
(+.f64 (/.f64 x y) (/.f64 4 y))
21.0ms
(*.f64 (cbrt.f64 (+.f64 f n)) (cbrt.f64 (+.f64 f n)))

localize505.0ms (0.9%)

Compiler

Compiled 6120 to 10200 computations (-66.7% saved)

bsearch217.0ms (0.4%)

Compiler

Compiled 3 to 9 computations (-200% saved)

end1.0ms (0%)

Profiling

Loading profile data...