Date:	Wednesday, April 28th, 2021
Commit:	15160217 on split-operator-table
Hostname:	warfa with Racket 7.9
Seed:	2021118
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

sample7.7s (25.9%)

Algorithm

18×

intervals

Results

3.1s	70171×	body	128	valid
780.0ms	4133×	body	2048	valid
118.0ms	1932×	body	128	invalid
105.0ms	1308×	body	128	nan

Compiler

Compiled 1864 to 1392 computations (25.3% saved)

regimes4.9s (16.7%)

Compiler: Compiled 54763 to 38632 computations (29.5% saved)

simplify4.8s (16.1%)

Algorithm

45×	egg-herbie

Rules

8607×	`distribute-rgt-in_binary64`
7525×	`div-sub_binary64`
7163×	`times-frac_binary64`
6269×	`associate-l_binary64`
5974×	`distribute-lft-in_binary64`
5758×	`associate-/l*_binary64`
5368×	`associate-r_binary64`
5288×	`associate-/r*_binary64`
5252×	`sub-neg_binary64`
5062×	`cancel-sign-sub-inv_binary64`
5009×	`unswap-sqr_binary64`
4636×	`*-commutative_binary64`
4146×	`unsub-neg_binary64`
4107×	`distribute-rgt-neg-in_binary64`
3454×	`neg-mul-1_binary64`
3304×	`distribute-lft-neg-in_binary64`
2965×	`associate-/l/_binary64`
2861×	`associate-*l/_binary64`
2839×	`exp-prod_binary64`
2551×	`neg-sub0_binary64`
2378×	`associate-/r/_binary64`
2157×	`sqr-pow_binary64`
2040×	`distribute-neg-frac_binary64`
1976×	`associate-*r/_binary64`
1885×	`distribute-rgt-out_binary64`
1857×	`exp-sum_binary64`
1795×	`distribute-rgt-neg-out_binary64`
1762×	`distribute-lft-neg-out_binary64`
1590×	`cube-prod_binary64`
1577×	`+-commutative_binary64`
1490×	`log-prod_binary64`
1327×	`associate-+r+_binary64`
1322×	`associate-+l+_binary64`
1125×	`distribute-neg-in_binary64`
1063×	`log-div_binary64`
921×	`associate--r+_binary64`
914×	`distribute-lft-out_binary64`
879×	`exp-diff_binary64`
786×	`*-lft-identity_binary64`
765×	`*-rgt-identity_binary64`
702×	`prod-exp_binary64`
674×	`difference-of-squares_binary64`
659×	`log-pow_binary64`
654×	`unpow3_binary64`
638×	`associate-+l-_binary64`
603×	`swap-sqr_binary64`
582×	`associate-+r-_binary64`
531×	`distribute-frac-neg_binary64`
510×	`distribute-neg-out_binary64`
507×	`pow-sqr_binary64`
465×	`associate--l+_binary64`
452×	`distribute-rgt-out--_binary64`
427×	`mul0-rgt_binary64`
417×	`cube-div_binary64`
412×	`mul0-lft_binary64` `cube-mult_binary64`
393×	`pow-plus_binary64`
358×	`remove-double-neg_binary64`
347×	`+-rgt-identity_binary64`
345×	`sub0-neg_binary64`
330×	`/-rgt-identity_binary64`
306×	`cube-unmult_binary64`
281×	`associate--r-_binary64`
263×	`div0_binary64`
249×	`associate--l-_binary64`
220×	`rem-sqrt-square_binary64`
186×	`exp-to-pow_binary64`
151×	`remove-double-div_binary64`
149×	`mul-1-neg_binary64`
147×	`+-lft-identity_binary64`
145×	`distribute-rgt1-in_binary64`
138×	`distribute-lft-out--_binary64`
134×	`log-rec_binary64`
119×	`sqr-neg_binary64`
109×	`exp-neg_binary64`
104×	`--rgt-identity_binary64` `div-exp_binary64`
93×	`unpow1/2_binary64`
88×	`cube-neg_binary64`
84×	`unpow2_binary64`
82×	`distribute-lft1-in_binary64`
65×	`difference-of-sqr--1_binary64` `cancel-sign-sub_binary64`
63×	`unpow1_binary64`
61×	`unpow1/3_binary64`
57×	`count-2_binary64`
42×	`rem-exp-log_binary64`
40×	`1-exp_binary64`
37×	`exp-lft-sqr_binary64`
33×	`rem-cbrt-cube_binary64`
24×	`difference-of-sqr-1_binary64` `rem-square-sqrt_binary64`
19×	`exp-sqrt_binary64`
17×	`rec-exp_binary64`
16×	`exp-1-e_binary64`
14×	`rem-3cbrt-lft_binary64`
12×	`+-inverses_binary64` `*-inverses_binary64`
10×	`pow-base-1_binary64`
7×	`rem-log-exp_binary64`
5×	`log-E_binary64`
4×	`unpow-1_binary64`
3×	`rem-cube-cbrt_binary64`
2×	`rem-3cbrt-rft_binary64`
1×	`e-exp-1_binary64` `rgt-mult-inverse_binary64` `sqr-abs_binary64`
0×	`if-if-and-not_binary64` `cos-PI/2_binary64` `cos-PI/3_binary64` `not-lte_binary64` `sinh-+-cosh_binary64` `sub-1-cos_binary64` `tan-0_binary64` `sinh-cosh_binary64` `and-false-r` `cos-PI_binary64` `if-false_binary64` `gt-same_binary64` `cos-sin-sum_binary64` `hang-p0-tan_binary64` `not-lt_binary64` `cos-+PI_binary64` `unpow0_binary64` `sin-PI_binary64` `1-sub-sin_binary64` `exp-cbrt_binary64` `not-not` `if-not_binary64` `tan-PI/4_binary64` `lte-same_binary64` `exp-lft-cube_binary64` `1-sub-cos_binary64` `lt-same_binary64` `tanh-def-a_binary64` `cos-PI/6_binary64` `tan-PI/6_binary64` `erfc-erf_binary64` `tan-neg_binary64` `tanh-def-c_binary64` `if-if-or-not_binary64` `or-true-l` `not-false` `not-or` `exp-0_binary64` `tan-+PI_binary64` `tan-PI/3_binary64` `if-if-or_binary64` `or-false-l` `sinh-def_binary64` `erf-odd_binary64` `if-same_binary64` `tanh-def-b_binary64` `sin-0_binary64` `and-same` `-1-add-cos_binary64` `not-gt_binary64` `and-true-l` `cosh-def_binary64` `-1-add-sin_binary64` `sin-neg_binary64` `cos-PI/4_binary64` `or-true-r` `erf-erfc_binary64` `or-false-r` `cos-+PI/2_binary64` `not-gte_binary64` `hang-m0-tan_binary64` `hang-0p-tan_binary64` `pow-base-0_binary64` `not-and` `lft-mult-inverse_binary64` `sin-+PI/2_binary64` `sin-PI/4_binary64` `sin-PI/2_binary64` `if-true_binary64` `hang-p-tan_binary64` `hang-0m-tan_binary64` `or-same` `sin-PI/3_binary64` `sinh---cosh_binary64` `hang-m-tan_binary64` `cos-neg_binary64` `if-if-and_binary64` `sin-PI/6_binary64` `and-true-r` `cos-0_binary64` `sin-+PI_binary64` `gte-same_binary64` `tan-+PI/2_binary64` `sub-1-sin_binary64` `tan-PI_binary64` `not-true` `and-false-l`

Counts

2859 → 2090

series3.5s (11.7%)

Counts

71 → 890

Calls

47 calls:

321.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
276.0ms	(cbrt.f64 (+.f64 (.f64 -4 (.f64 a c)) (*.f64 b b)))
245.0ms	(cbrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
209.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
151.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))

Compiler

Compiled 60501 to 42930 computations (29% saved)

analyze3.4s (11.3%)

Algorithm

9×	search
18×	egg-herbie

Rules

3998×	`div-sub_binary64`
3150×	`associate-/l*_binary64`
2625×	`sub-neg_binary64`
2011×	`associate-/r*_binary64`
1718×	`neg-mul-1_binary64`
1509×	`times-frac_binary64`
1446×	`neg-sub0_binary64`
1440×	`unsub-neg_binary64`
1249×	`distribute-rgt-in_binary64`
1073×	`distribute-neg-frac_binary64`
1048×	`cancel-sign-sub-inv_binary64`
1017×	`distribute-rgt-neg-in_binary64`
951×	`distribute-lft-in_binary64`
899×	`associate-/r/_binary64`
827×	`distribute-lft-neg-out_binary64`
732×	`*-commutative_binary64`
718×	`distribute-rgt-neg-out_binary64`
619×	`associate-*l/_binary64`
568×	`distribute-frac-neg_binary64`
562×	`associate-/l/_binary64` `associate-l_binary64`
538×	`remove-double-neg_binary64`
512×	`distribute-neg-in_binary64`
478×	`distribute-lft-neg-in_binary64`
452×	`+-commutative_binary64`
412×	`associate--r+_binary64`
367×	`associate-r_binary64`
319×	`distribute-rgt-out--_binary64`
313×	`associate--r-_binary64`
283×	`associate--l-_binary64`
277×	`cancel-sign-sub_binary64`
256×	`associate-*r/_binary64`
253×	`exp-prod_binary64`
239×	`associate-+l-_binary64`
221×	`exp-sum_binary64`
219×	`*-lft-identity_binary64`
208×	`/-rgt-identity_binary64`
186×	`sub0-neg_binary64`
185×	`exp-diff_binary64`
179×	`distribute-neg-out_binary64`
171×	`distribute-rgt-out_binary64`
170×	`associate-+r-_binary64`
167×	`sqr-pow_binary64`
166×	`mul0-rgt_binary64`
158×	`*-rgt-identity_binary64`
155×	`mul0-lft_binary64`
150×	`associate-+r+_binary64`
141×	`div0_binary64`
126×	`associate--l+_binary64`
108×	`associate-+l+_binary64`
104×	`+-lft-identity_binary64`
82×	`--rgt-identity_binary64`
73×	`remove-double-div_binary64`
67×	`distribute-lft-out_binary64`
66×	`distribute-lft-out--_binary64`
64×	`+-rgt-identity_binary64` `pow-sqr_binary64`
36×	`rem-sqrt-square_binary64`
35×	`cube-prod_binary64`
28×	`unswap-sqr_binary64` `distribute-lft1-in_binary64`
27×	`mul-1-neg_binary64`
24×	`distribute-rgt1-in_binary64`
20×	`cube-unmult_binary64`
19×	`pow-plus_binary64`
17×	`exp-lft-sqr_binary64`
14×	`exp-sqrt_binary64` `unpow3_binary64`
13×	`swap-sqr_binary64`
11×	`cube-div_binary64`
9×	`unpow1/2_binary64` `1-exp_binary64`
7×	`cube-mult_binary64`
6×	`prod-exp_binary64` `exp-neg_binary64` `sqr-neg_binary64`
3×	`*-inverses_binary64`
2×	`difference-of-sqr--1_binary64` `rec-exp_binary64`
1×	`exp-1-e_binary64` `unpow2_binary64`
0×	`e-exp-1_binary64` `hang-m-tan_binary64` `cos-PI/3_binary64` `if-if-and-not_binary64` `cos-PI/2_binary64` `not-lte_binary64` `sinh-+-cosh_binary64` `not-or` `rgt-mult-inverse_binary64` `tan-0_binary64` `sinh-cosh_binary64` `and-false-r` `log-rec_binary64` `difference-of-sqr-1_binary64` `cube-neg_binary64` `cos-PI_binary64` `if-false_binary64` `gt-same_binary64` `cos-sin-sum_binary64` `hang-p0-tan_binary64` `not-lt_binary64` `rem-square-sqrt_binary64` `div-exp_binary64` `sqr-abs_binary64` `cos-+PI_binary64` `unpow0_binary64` `sin-PI_binary64` `1-sub-sin_binary64` `exp-cbrt_binary64` `not-not` `unpow-1_binary64` `if-not_binary64` `if-if-or-not_binary64` `lte-same_binary64` `exp-lft-cube_binary64` `1-sub-cos_binary64` `tan-PI/4_binary64` `unpow1_binary64` `lt-same_binary64` `tanh-def-a_binary64` `cos-PI/6_binary64` `log-prod_binary64` `tan-PI/6_binary64` `erfc-erf_binary64` `tan-neg_binary64` `tanh-def-c_binary64` `or-true-l` `sub-1-cos_binary64` `rem-3cbrt-rft_binary64` `+-inverses_binary64` `exp-0_binary64` `tan-+PI_binary64` `tan-PI/3_binary64` `if-if-or_binary64` `rem-3cbrt-lft_binary64` `log-E_binary64` `pow-base-1_binary64` `exp-to-pow_binary64` `or-false-l` `sinh-def_binary64` `erf-odd_binary64` `if-same_binary64` `tanh-def-b_binary64` `rem-exp-log_binary64` `log-pow_binary64` `and-true-l` `and-same` `-1-add-cos_binary64` `not-gt_binary64` `cosh-def_binary64` `-1-add-sin_binary64` `rem-cube-cbrt_binary64` `sin-neg_binary64` `cos-PI/4_binary64` `or-true-r` `erf-erfc_binary64` `or-false-r` `cos-+PI/2_binary64` `not-gte_binary64` `hang-m0-tan_binary64` `hang-0p-tan_binary64` `difference-of-squares_binary64` `pow-base-0_binary64` `not-and` `lft-mult-inverse_binary64` `rem-cbrt-cube_binary64` `sin-PI/4_binary64` `sin-PI/2_binary64` `sin-0_binary64` `hang-p-tan_binary64` `hang-0m-tan_binary64` `or-same` `sin-PI/3_binary64` `sinh---cosh_binary64` `log-div_binary64` `cos-neg_binary64` `rem-log-exp_binary64` `if-if-and_binary64` `sin-PI/6_binary64` `tan-+PI/2_binary64` `if-true_binary64` `and-true-r` `cos-0_binary64` `sin-+PI_binary64` `gte-same_binary64` `sin-+PI/2_binary64` `count-2_binary64` `not-false` `sub-1-sin_binary64` `tan-PI_binary64` `not-true` `and-false-l` `unpow1/3_binary64`

Search

True	Other	False	Iter
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.0s (10.3%)

Algorithm

27×	rewrite-expression-head

Rules

1012×	`*-un-lft-identity_binary64`
809×	`add-sqr-sqrt_binary64`
754×	`times-frac_binary64`
520×	`add-cube-cbrt_binary64`
417×	`cbrt-prod_binary64`
176×	`sqrt-prod_binary64`
136×	`add-exp-log_binary64`
132×	`distribute-lft-out_binary64`
128×	`add-log-exp_binary64`
124×	`difference-of-squares_binary64`
116×	`pow1_binary64`
114×	`add-cbrt-cube_binary64`
97×	`associate-l_binary64`
87×	`distribute-lft-out--_binary64`
74×	`unpow-prod-down_binary64`
72×	`associate-/r*_binary64`
67×	`swap-sqr_binary64`
62×	`associate-r_binary64`
52×	`associate-/r/_binary64` `cube-prod_binary64`
50×	`flip--_binary64` `flip3--_binary64`
40×	`associate-/l*_binary64` `div-inv_binary64`
36×	`sqrt-div_binary64`
33×	`cancel-sign-sub-inv_binary64`
30×	`unswap-sqr_binary64`
27×	`div-exp_binary64` `cbrt-div_binary64`
26×	`flip-+_binary64` `flip3-+_binary64`
25×	`pow1/3_binary64`
23×	`exp-prod_binary64`
18×	`diff-log_binary64`
17×	`sqrt-pow1_binary64` `cbrt-undiv_binary64` `pow1/2_binary64` `log-prod_binary64` `sqr-pow_binary64`
16×	`sub-neg_binary64`
15×	`rem-sqrt-square_binary64`
14×	`pow-unpow_binary64`
12×	`prod-exp_binary64` `associate-/l/_binary64`
11×	`distribute-rgt1-in_binary64` `pow-prod-down_binary64` `distribute-rgt-out_binary64`
10×	`pow-pow_binary64` `frac-2neg_binary64` `sum-log_binary64` `clear-num_binary64`
9×	`difference-of-sqr-1_binary64` `unpow-prod-up_binary64`
8×	`exp-sum_binary64` `associate-*l/_binary64` `cbrt-unprod_binary64`
6×	`rem-exp-log_binary64` `+-commutative_binary64` `*-commutative_binary64` `rec-exp_binary64` `1-exp_binary64`
5×	`pow-exp_binary64`
4×	`pow-to-exp_binary64` `pow-prod-up_binary64` `associate--l+_binary64` `frac-times_binary64` `associate-*r/_binary64` `pow-sqr_binary64`
3×	`distribute-neg-in_binary64` `inv-pow_binary64` `pow-flip_binary64` `neg-log_binary64` `neg-sub0_binary64`
2×	`cube-div_binary64` `rem-cube-cbrt_binary64` `associate--l-_binary64` `distribute-rgt-neg-in_binary64` `distribute-rgt-out--_binary64` `unpow3_binary64` `log-div_binary64` `log-pow_binary64` `cube-mult_binary64` `pow-plus_binary64` `pow2_binary64`
1×	`frac-sub_binary64` `exp-diff_binary64` `pow-sub_binary64` `div-sub_binary64` `sqrt-unprod_binary64` `distribute-rgt-in_binary64` `rem-cbrt-cube_binary64` `associate-+l-_binary64` `sub-div_binary64` `distribute-lft-in_binary64` `sqrt-undiv_binary64` `rem-log-exp_binary64`

Counts

71 → 1960

Calls

47 calls:

38.0ms	(*.f64 (cbrt.f64 (/.f64 (+.f64 n f) (-.f64 n f))) (cbrt.f64 (/.f64 (+.f64 n f) (-.f64 n f))))
30.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
25.0ms	(/.f64 (+.f64 f n) (-.f64 n f))
20.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
20.0ms	(cbrt.f64 (/.f64 (+.f64 n f) (-.f64 n f)))

Compiler

Compiled 55710 to 25485 computations (54.3% saved)

prune1.9s (6.3%)

Counts: 2212 → 149
Compiler: Compiled 42124 to 20526 computations (51.3% saved)

localize360.0ms (1.2%)

Compiler: Compiled 6120 to 10200 computations (-66.7% saved)

bsearch114.0ms (0.4%)

Compiler: Compiled 40 to 32 computations (20% saved)

end17.0ms (0.1%)

Compiler: Compiled 508 to 326 computations (35.8% saved)

Details

sample7.7s (25.9%)

regimes4.9s (16.7%)

simplify4.8s (16.1%)

series3.5s (11.7%)

analyze3.4s (11.3%)

rewrite3.0s (10.3%)

prune1.9s (6.3%)

localize360.0ms (1.2%)

bsearch114.0ms (0.4%)

end17.0ms (0.1%)

Profiling