Date:Tuesday, March 16th, 2021
Commit:51191481 on merge-pherbie
Hostname:warfa with Racket 7.9
Seed:2021075
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: 48.4s)

regimes17.2s (35.5%)

Compiler

Compiled 135919 to 99986 computations (26.4% saved)

series10.1s (20.8%)

Counts
55 → 702
Calls

37 calls:

973.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
840.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))
651.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))
629.0ms
(cbrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))
612.0ms
(+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
Compiler

Compiled 44438 to 32592 computations (26.7% saved)

sample7.4s (15.3%)

Algorithm
18×intervals
Results
3.0s70209×body128valid
771.0ms4095×body2048valid
113.0ms1418×body128nan
111.0ms2078×body128invalid
Compiler

Compiled 1673 to 1301 computations (22.2% saved)

analyze4.4s (9%)

Algorithm
9×search
18×egg-herbie
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)

rewrite3.3s (6.9%)

Algorithm
24×rewrite-expression-head
Rules
329×*-un-lft-identity_binary64
299×add-sqr-sqrt_binary64
232×times-frac_binary64
185×*-un-lft-identity_binary64_78
166×times-frac_binary64_84
163×add-cube-cbrt_binary64
162×add-sqr-sqrt_binary64_100
134×add-cube-cbrt_binary64_113
87×sqrt-prod_binary64
61×add-exp-log_binary64_116
60×add-exp-log_binary64
54×difference-of-squares_binary64
53×add-cbrt-cube_binary64
51×add-cbrt-cube_binary64_114 pow1_binary64
50×add-log-exp_binary64_117
46×add-log-exp_binary64
45×associate-/r*_binary64
40×distribute-lft-out_binary64
39×pow1_binary64_139
38×associate-*r*_binary64
37×distribute-lft-out--_binary64
29×associate-*r*_binary64_18
28×associate-/r*_binary64_22 sqrt-div_binary64
24×distribute-lft-out_binary64_29
22×sqrt-prod_binary64_94
21×flip--_binary64 flip3--_binary64
20×associate-*l*_binary64_19
19×associate-*l*_binary64
17×log-prod_binary64 associate-/r/_binary64
16×associate-/l*_binary64
15×flip3--_binary64_82 flip--_binary64_53
14×div-exp_binary64_129 sqrt-pow1_binary64 sqrt-div_binary64_95 pow1/2_binary64
13×div-exp_binary64 associate-/l*_binary64_23
12×flip-+_binary64 difference-of-sqr-1_binary64 flip-+_binary64_52 flip3-+_binary64 flip3-+_binary64_81
11×div-inv_binary64_75 cancel-sign-sub-inv_binary64 div-inv_binary64 associate-/r/_binary64_24
10×unswap-sqr_binary64 rem-sqrt-square_binary64
9×cbrt-undiv_binary64 *-un-lft-identity_binary64_419 cancel-sign-sub-inv_binary64_44 cbrt-undiv_binary64_112 add-sqr-sqrt_binary64_441
8×diff-log_binary64_170 prod-exp_binary64_127
7×add-cube-cbrt_binary64_454 rem-sqrt-square_binary64_91 pow-prod-down_binary64 pow1/2_binary64_158 unswap-sqr_binary64_46 sub-neg_binary64_71 sqrt-pow1_binary64_96
6×cbrt-unprod_binary64_111 cancel-sign-sub-inv_binary64_385 pow-unpow_binary64_496 associate-/l/_binary64 exp-prod_binary64_471 unpow-prod-down_binary64 sqr-pow_binary64 diff-log_binary64 cube-prod_binary64 cbrt-prod_binary64
5×associate-*r/_binary64 prod-exp_binary64 frac-2neg_binary64 sum-log_binary64_169 associate-*l/_binary64_21 cbrt-unprod_binary64 add-log-exp_binary64_458 clear-num_binary64
4×unpow-prod-up_binary64_497 frac-2neg_binary64_89 exp-sum_binary64_465 clear-num_binary64_77 difference-of-squares_binary64_388 associate-*r/_binary64_20 +-commutative_binary64_8 sub-neg_binary64 cbrt-div_binary64 sum-log_binary64 associate-/l/_binary64_25
3×+-commutative_binary64 *-commutative_binary64_9 1-exp_binary64_122 sqrt-unprod_binary64 associate--l+_binary64 pow1_binary64_480 distribute-neg-in_binary64 unpow-prod-down_binary64_498 rec-exp_binary64_128 add-exp-log_binary64_457 *-commutative_binary64 pow-prod-down_binary64_149
2×difference-of-squares_binary64_47 add-cbrt-cube_binary64_455 sub-div_binary64_85 pow-exp_binary64_487 pow1/3_binary64 distribute-rgt-neg-in_binary64 frac-times_binary64_88 difference-of-sqr-1_binary64_389 rec-exp_binary64 log-div_binary64 frac-sub_binary64_87 associate-*l/_binary64 log-pow_binary64 1-exp_binary64 sub-neg_binary64_412 rem-exp-log_binary64_459
1×div-sub_binary64_83 exp-diff_binary64_467 inv-pow_binary64_163 diff-log_binary64_511 pow-pow_binary64_491 un-div-inv_binary64_76 associate--l-_binary64 pow-to-exp_binary64_488 sqr-pow_binary64_391 div-sub_binary64 pow-sub_binary64_495 e-exp-1_binary64_464 neg-sub0_binary64 inv-pow_binary64 associate--r+_binary64 rem-log-exp_binary64 pow-flip_binary64 associate--l+_binary64_15 pow-flip_binary64_152 sqrt-undiv_binary64 neg-log_binary64 distribute-lft-out--_binary64_30
Counts
55 → 1308
Calls

37 calls:

23.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))
21.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))
21.0ms
(/.f64 (*.f64 (sqrt.f64 x) (sqrt.f64 (-.f64 (pow.f64 x 3) 1))) (sqrt.f64 (+.f64 (*.f64 x x) (+.f64 (*.f64 1 1) (*.f64 x 1)))))
20.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))
18.0ms
(+.f64 b (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))
Compiler

Compiled 38559 to 21684 computations (43.8% saved)

prune3.1s (6.4%)

Counts
2114 → 118
Compiler

Compiled 40432 to 23118 computations (42.8% saved)

simplify2.5s (5.1%)

Algorithm
42×egg-herbie
Counts
2019 → 2019

localize335.0ms (0.7%)

Compiler

Compiled 6120 to 10200 computations (-66.7% saved)

bsearch148.0ms (0.3%)

Compiler

Compiled 39 to 29 computations (25.6% saved)

end24.0ms (0%)

Compiler

Compiled 477 to 317 computations (33.5% saved)

Profiling

Loading profile data...