Date:Friday, January 22nd, 2021
Commit:494956fc on master
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: 46.0s)

sample15.4s (33.5%)

Algorithm
18×intervals
Results
4.2s70174×body128valid
1.0s4130×body2048valid
139.0ms2070×body128invalid
130.0ms1331×body128nan
Compiler

Compiled 8869 to 6120 computations (31% saved)

series11.9s (25.9%)

Counts
67 → 809
Calls

43 calls:

1.4s
(cbrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))
1.0s
(cbrt.f64 (+.f64 (*.f64 -4 (*.f64 a c)) (*.f64 b b)))
846.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))
765.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))
713.0ms
(cbrt.f64 (/.f64 x y))
Compiler

Compiled 81303 to 54287 computations (33.2% saved)

simplify4.5s (9.9%)

Algorithm
44×egg-herbie
Counts
2310 → 2310

prune4.2s (9.2%)

Counts
2414 → 130
Compiler

Compiled 79042 to 38622 computations (51.1% saved)

regimes3.7s (8.1%)

Compiler

Compiled 32227 to 22228 computations (31% saved)

rewrite3.4s (7.4%)

Algorithm
26×rewrite-expression-head
Rules
478×*-un-lft-identity_binary64
355×add-sqr-sqrt_binary64
258×times-frac_binary64
183×add-cube-cbrt_binary64
160×cbrt-prod_binary64
119×add-sqr-sqrt_binary64_100 *-un-lft-identity_binary64_78
99×add-cube-cbrt_binary64_113
74×times-frac_binary64_84
69×distribute-lft-out_binary64
64×associate-*r*_binary64
63×pow1_binary64
62×add-exp-log_binary64 distribute-lft-out--_binary64
60×cbrt-prod_binary64_109
59×add-cbrt-cube_binary64
58×associate-*l*_binary64
57×sqrt-prod_binary64
56×difference-of-squares_binary64
54×add-exp-log_binary64_116 add-log-exp_binary64
51×swap-sqr_binary64
50×pow1_binary64_139
48×add-log-exp_binary64_117 add-cbrt-cube_binary64_114
38×*-un-lft-identity_binary64_419
33×add-sqr-sqrt_binary64_441
30×flip--_binary64 flip3--_binary64
29×cbrt-div_binary64_110
27×associate-*l*_binary64_19
26×sqrt-div_binary64
24×associate-/r*_binary64
23×exp-prod_binary64_471
22×add-cube-cbrt_binary64_454
19×unswap-sqr_binary64 sqrt-prod_binary64_94 associate-/l*_binary64
18×associate-/r/_binary64 add-log-exp_binary64_458
17×cancel-sign-sub-inv_binary64 log-prod_binary64
14×sqrt-pow1_binary64 flip3--_binary64_82 pow1/2_binary64 flip--_binary64_53
13×div-inv_binary64
12×cbrt-unprod_binary64_111 rem-sqrt-square_binary64 sqrt-div_binary64_95 associate-*l/_binary64_21 prod-exp_binary64_127
11×unpow-prod-down_binary64_498 pow-unpow_binary64_496
10×pow-prod-down_binary64_149 pow1/3_binary64_160
9×add-cbrt-cube_binary64_455 pow-pow_binary64_491 div-inv_binary64_75 flip-+_binary64_52 pow1_binary64_480 cancel-sign-sub-inv_binary64_44 cancel-sign-sub-inv_binary64_385 distribute-lft-out_binary64_29 flip3-+_binary64_81
8×exp-sum_binary64_465 cbrt-undiv_binary64 pow-prod-down_binary64 flip-+_binary64 prod-exp_binary64 diff-log_binary64 add-exp-log_binary64_457 associate-/l/_binary64 div-exp_binary64 sub-neg_binary64 flip3-+_binary64 cbrt-unprod_binary64 associate-*l*_binary64_360
7×associate-*r/_binary64_20 associate-/l*_binary64_23 diff-log_binary64_170 associate-*r*_binary64_18
6×associate-/r*_binary64_22 sqrt-pow1_binary64_96 pow1/2_binary64_158 difference-of-squares_binary64_388 unpow-prod-up_binary64_497 rem-sqrt-square_binary64_91 pow1/3_binary64 rem-exp-log_binary64_459
5×difference-of-sqr-1_binary64 distribute-lft-out_binary64_370 frac-2neg_binary64 frac-times_binary64_88 associate-*r/_binary64 *-commutative_binary64 sub-neg_binary64_71 clear-num_binary64
4×cbrt-undiv_binary64_112 div-exp_binary64_129 sqr-pow_binary64_391 unswap-sqr_binary64_46 sum-log_binary64 frac-sub_binary64_87 sum-log_binary64_169 associate-*l/_binary64 cbrt-div_binary64 associate-/l/_binary64_25 associate-*r*_binary64_359
3×*-commutative_binary64_9 associate--l+_binary64 pow-to-exp_binary64_488 pow-exp_binary64_487 distribute-neg-in_binary64 unswap-sqr_binary64_387 +-commutative_binary64 frac-times_binary64 difference-of-sqr-1_binary64_389 prod-exp_binary64_468 sub-neg_binary64_412
2×difference-of-squares_binary64_47 diff-log_binary64_511 distribute-rgt-out--_binary64 log-pow_binary64 frac-2neg_binary64_89 pow-prod-up_binary64 clear-num_binary64_77 distribute-rgt-neg-in_binary64 pow-prod-down_binary64_490 +-commutative_binary64_8 sum-log_binary64_510 log-div_binary64 distribute-lft-in_binary64 associate--l+_binary64_15 distribute-rgt-in_binary64 pow-sqr_binary64 frac-add_binary64_86
1×div-sub_binary64_83 exp-diff_binary64_467 sub-div_binary64_85 associate--l-_binary64 flip3--_binary64_423 flip--_binary64_394 sqrt-unprod_binary64 distribute-lft-out--_binary64_371 *-commutative_binary64_350 cbrt-unprod_binary64_452 neg-sub0_binary64 neg-log_binary64 associate--r+_binary64 distribute-rgt-out_binary64_31 rem-log-exp_binary64 distribute-lft-out--_binary64_30 pow-sub_binary64_495 pow-plus_binary64 pow2_binary64
Counts
67 → 1492
Calls

43 calls:

51.0ms
(*.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
33.0ms
(/.f64 (+.f64 f n) (-.f64 n f))
29.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 4 (*.f64 a c))))
28.0ms
(-.f64 (+.f64 (/.f64 4 y) (/.f64 x y)) (*.f64 (/.f64 x y) z))
26.0ms
(sqrt.f64 (-.f64 (*.f64 b b) (*.f64 c (*.f64 4 a))))
Compiler

Compiled 53013 to 24286 computations (54.2% saved)

analyze2.2s (4.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
Compiler

Compiled 144 to 110 computations (23.6% saved)

localize455.0ms (1%)

Compiler

Compiled 6120 to 10200 computations (-66.7% saved)

bsearch105.0ms (0.2%)

Compiler

Compiled 40 to 32 computations (20% saved)

end0.0ms (0%)

Profiling

Loading profile data...