Metrics for AI.Clustering.Hierarchical.Internal:average from clustering-0.2.1, A

analyze176.0ms (4.6%)

Algorithm

1×	search
2×	egg-herbie

Rules

1× +-commutative_binary64_7169

0× not-true not-false not-not not-and not-or and-true-l and-true-r and-false-l and-false-r and-same or-true-l or-true-r or-false-l or-false-r or-same erfc-erf_binary64_7502 erf-erfc_binary64_7501 erf-odd_binary64_7500 if-if-and-not_binary64_7499 if-if-and_binary64_7498 if-if-or-not_binary64_7497 if-if-or_binary64_7496 if-not_binary64_7495 if-same_binary64_7494 if-false_binary64_7493 if-true_binary64_7492 not-gte_binary64_7491 not-lte_binary64_7490 not-gt_binary64_7489 not-lt_binary64_7488 gte-same_binary64_7487 lte-same_binary64_7486 gt-same_binary64_7485 lt-same_binary64_7484 sinh---cosh_binary64_7431 sinh-+-cosh_binary64_7430 sinh-cosh_binary64_7429 tanh-def-c_binary64_7428 tanh-def-b_binary64_7427 tanh-def-a_binary64_7426 cosh-def_binary64_7425 sinh-def_binary64_7424 tan-neg_binary64_7371 cos-neg_binary64_7370 sin-neg_binary64_7369 tan-0_binary64_7368 cos-0_binary64_7367 sin-0_binary64_7366 hang-m-tan_binary64_7365 hang-p-tan_binary64_7364 hang-m0-tan_binary64_7363 hang-p0-tan_binary64_7362 hang-0m-tan_binary64_7361 hang-0p-tan_binary64_7360 tan-+PI/2_binary64_7359 tan-+PI_binary64_7358 tan-PI_binary64_7357 tan-PI/3_binary64_7356 tan-PI/4_binary64_7355 tan-PI/6_binary64_7354 cos-+PI/2_binary64_7353 cos-+PI_binary64_7352 cos-PI_binary64_7351 cos-PI/2_binary64_7350 cos-PI/3_binary64_7349 cos-PI/4_binary64_7348 cos-PI/6_binary64_7347 sin-+PI/2_binary64_7346 sin-+PI_binary64_7345 sin-PI_binary64_7344 sin-PI/2_binary64_7343 sin-PI/3_binary64_7342 sin-PI/4_binary64_7341 sin-PI/6_binary64_7340 sub-1-sin_binary64_7339 sub-1-cos_binary64_7338 -1-add-sin_binary64_7337 -1-add-cos_binary64_7336 1-sub-sin_binary64_7335 1-sub-cos_binary64_7334 cos-sin-sum_binary64_7333 log-E_binary64_7329 log-pow_binary64_7328 log-rec_binary64_7327 log-div_binary64_7326 log-prod_binary64_7325 pow-base-0_binary64_7323 unpow1/3_binary64_7306 unpow3_binary64_7305 unpow2_binary64_7304 unpow1/2_binary64_7303 pow-plus_binary64_7302 exp-to-pow_binary64_7301 pow-base-1_binary64_7299 unpow0_binary64_7298 unpow1_binary64_7297 unpow-1_binary64_7296 exp-lft-cube_binary64_7295 exp-lft-sqr_binary64_7294 exp-cbrt_binary64_7293 exp-sqrt_binary64_7292 exp-prod_binary64_7291 div-exp_binary64_7290 rec-exp_binary64_7289 prod-exp_binary64_7288 exp-diff_binary64_7287 exp-neg_binary64_7286 exp-sum_binary64_7285 e-exp-1_binary64_7284 1-exp_binary64_7283 exp-1-e_binary64_7282 exp-0_binary64_7281 rem-log-exp_binary64_7280 rem-exp-log_binary64_7279 cube-unmult_binary64_7276 cube-mult_binary64_7269 cube-div_binary64_7268 cube-prod_binary64_7267 cube-neg_binary64_7266 rem-3cbrt-rft_binary64_7265 rem-3cbrt-lft_binary64_7264 rem-cbrt-cube_binary64_7263 rem-cube-cbrt_binary64_7262 sqr-abs_binary64_7254 sqr-neg_binary64_7253 rem-sqrt-square_binary64_7252 rem-square-sqrt_binary64_7251 times-frac_binary64_7245 div-sub_binary64_7244 neg-mul-1_binary64_7235 neg-sub0_binary64_7234 unsub-neg_binary64_7233 sub-neg_binary64_7232 mul-1-neg_binary64_7231 /-rgt-identity_binary64_7230 *-rgt-identity_binary64_7229 *-lft-identity_binary64_7228 remove-double-neg_binary64_7227 sub0-neg_binary64_7226 --rgt-identity_binary64_7225 +-rgt-identity_binary64_7224 +-lft-identity_binary64_7223 mul0-rgt_binary64_7222 mul0-lft_binary64_7221 div0_binary64_7220 *-inverses_binary64_7219 +-inverses_binary64_7218 lft-mult-inverse_binary64_7217 rgt-mult-inverse_binary64_7216 remove-double-div_binary64_7215 pow-sqr_binary64_7212 sqr-pow_binary64_7211 difference-of-sqr--1_binary64_7210 difference-of-sqr-1_binary64_7209 difference-of-squares_binary64_7208 unswap-sqr_binary64_7207 swap-sqr_binary64_7206 cancel-sign-sub-inv_binary64_7205 cancel-sign-sub_binary64_7204 distribute-neg-frac_binary64_7203 distribute-frac-neg_binary64_7202 distribute-neg-out_binary64_7201 distribute-neg-in_binary64_7200 distribute-rgt-neg-out_binary64_7199 distribute-lft-neg-out_binary64_7198 distribute-rgt-neg-in_binary64_7197 distribute-lft-neg-in_binary64_7196 distribute-rgt1-in_binary64_7195 distribute-lft1-in_binary64_7194 distribute-rgt-out--_binary64_7193 distribute-rgt-out_binary64_7192 distribute-lft-out--_binary64_7191 distribute-lft-out_binary64_7190 distribute-rgt-in_binary64_7189 distribute-lft-in_binary64_7188 count-2_binary64_7187 associate-/l/_binary64_7186 associate-/r/_binary64_7185 associate-/l*_binary64_7184 associate-/r*_binary64_7183 associate-*l/_binary64_7182 associate-*r/_binary64_7181 associate-*l*_binary64_7180 associate-*r*_binary64_7179 associate--r-_binary64_7178 associate--l-_binary64_7177 associate--l+_binary64_7176 associate--r+_binary64_7175 associate-+l-_binary64_7174 associate-+r-_binary64_7173 associate-+l+_binary64_7172 associate-+r+_binary64_7171 *-commutative_binary64_7170

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	14
1	7	14
2	7	14
0	2	2
1	2	2

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
25%	74.9%	0.1%	4
43.7%	56.2%	0.1%	5
65.6%	34.3%	0.1%	6
76.5%	23.4%	0.1%	7
82%	18%	0.1%	8
87.8%	12.1%	0.1%	9
90.7%	9.2%	0.1%	10
93.8%	6.1%	0.1%	11
95.3%	4.6%	0.1%	12
96.8%	3.1%	0.1%	13
97.6%	2.3%	0.1%	14

Compiler

Compiled 6 to 5 computations (16.7% saved)

sample12.0ms (0.3%)

Algorithm

1×

intervals

Results

4.0ms

256×

body

128

valid

Compiler

Compiled 11 to 11 computations (0% saved)

simplify8.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

1× +-commutative_binary64_7169

0× not-true not-false not-not not-and not-or and-true-l and-true-r and-false-l and-false-r and-same or-true-l or-true-r or-false-l or-false-r or-same erfc-erf_binary64_7502 erf-erfc_binary64_7501 erf-odd_binary64_7500 if-if-and-not_binary64_7499 if-if-and_binary64_7498 if-if-or-not_binary64_7497 if-if-or_binary64_7496 if-not_binary64_7495 if-same_binary64_7494 if-false_binary64_7493 if-true_binary64_7492 not-gte_binary64_7491 not-lte_binary64_7490 not-gt_binary64_7489 not-lt_binary64_7488 gte-same_binary64_7487 lte-same_binary64_7486 gt-same_binary64_7485 lt-same_binary64_7484 sinh---cosh_binary64_7431 sinh-+-cosh_binary64_7430 sinh-cosh_binary64_7429 tanh-def-c_binary64_7428 tanh-def-b_binary64_7427 tanh-def-a_binary64_7426 cosh-def_binary64_7425 sinh-def_binary64_7424 tan-neg_binary64_7371 cos-neg_binary64_7370 sin-neg_binary64_7369 tan-0_binary64_7368 cos-0_binary64_7367 sin-0_binary64_7366 hang-m-tan_binary64_7365 hang-p-tan_binary64_7364 hang-m0-tan_binary64_7363 hang-p0-tan_binary64_7362 hang-0m-tan_binary64_7361 hang-0p-tan_binary64_7360 tan-+PI/2_binary64_7359 tan-+PI_binary64_7358 tan-PI_binary64_7357 tan-PI/3_binary64_7356 tan-PI/4_binary64_7355 tan-PI/6_binary64_7354 cos-+PI/2_binary64_7353 cos-+PI_binary64_7352 cos-PI_binary64_7351 cos-PI/2_binary64_7350 cos-PI/3_binary64_7349 cos-PI/4_binary64_7348 cos-PI/6_binary64_7347 sin-+PI/2_binary64_7346 sin-+PI_binary64_7345 sin-PI_binary64_7344 sin-PI/2_binary64_7343 sin-PI/3_binary64_7342 sin-PI/4_binary64_7341 sin-PI/6_binary64_7340 sub-1-sin_binary64_7339 sub-1-cos_binary64_7338 -1-add-sin_binary64_7337 -1-add-cos_binary64_7336 1-sub-sin_binary64_7335 1-sub-cos_binary64_7334 cos-sin-sum_binary64_7333 log-E_binary64_7329 log-pow_binary64_7328 log-rec_binary64_7327 log-div_binary64_7326 log-prod_binary64_7325 pow-base-0_binary64_7323 unpow1/3_binary64_7306 unpow3_binary64_7305 unpow2_binary64_7304 unpow1/2_binary64_7303 pow-plus_binary64_7302 exp-to-pow_binary64_7301 pow-base-1_binary64_7299 unpow0_binary64_7298 unpow1_binary64_7297 unpow-1_binary64_7296 exp-lft-cube_binary64_7295 exp-lft-sqr_binary64_7294 exp-cbrt_binary64_7293 exp-sqrt_binary64_7292 exp-prod_binary64_7291 div-exp_binary64_7290 rec-exp_binary64_7289 prod-exp_binary64_7288 exp-diff_binary64_7287 exp-neg_binary64_7286 exp-sum_binary64_7285 e-exp-1_binary64_7284 1-exp_binary64_7283 exp-1-e_binary64_7282 exp-0_binary64_7281 rem-log-exp_binary64_7280 rem-exp-log_binary64_7279 cube-unmult_binary64_7276 cube-mult_binary64_7269 cube-div_binary64_7268 cube-prod_binary64_7267 cube-neg_binary64_7266 rem-3cbrt-rft_binary64_7265 rem-3cbrt-lft_binary64_7264 rem-cbrt-cube_binary64_7263 rem-cube-cbrt_binary64_7262 sqr-abs_binary64_7254 sqr-neg_binary64_7253 rem-sqrt-square_binary64_7252 rem-square-sqrt_binary64_7251 times-frac_binary64_7245 div-sub_binary64_7244 neg-mul-1_binary64_7235 neg-sub0_binary64_7234 unsub-neg_binary64_7233 sub-neg_binary64_7232 mul-1-neg_binary64_7231 /-rgt-identity_binary64_7230 *-rgt-identity_binary64_7229 *-lft-identity_binary64_7228 remove-double-neg_binary64_7227 sub0-neg_binary64_7226 --rgt-identity_binary64_7225 +-rgt-identity_binary64_7224 +-lft-identity_binary64_7223 mul0-rgt_binary64_7222 mul0-lft_binary64_7221 div0_binary64_7220 *-inverses_binary64_7219 +-inverses_binary64_7218 lft-mult-inverse_binary64_7217 rgt-mult-inverse_binary64_7216 remove-double-div_binary64_7215 pow-sqr_binary64_7212 sqr-pow_binary64_7211 difference-of-sqr--1_binary64_7210 difference-of-sqr-1_binary64_7209 difference-of-squares_binary64_7208 unswap-sqr_binary64_7207 swap-sqr_binary64_7206 cancel-sign-sub-inv_binary64_7205 cancel-sign-sub_binary64_7204 distribute-neg-frac_binary64_7203 distribute-frac-neg_binary64_7202 distribute-neg-out_binary64_7201 distribute-neg-in_binary64_7200 distribute-rgt-neg-out_binary64_7199 distribute-lft-neg-out_binary64_7198 distribute-rgt-neg-in_binary64_7197 distribute-lft-neg-in_binary64_7196 distribute-rgt1-in_binary64_7195 distribute-lft1-in_binary64_7194 distribute-rgt-out--_binary64_7193 distribute-rgt-out_binary64_7192 distribute-lft-out--_binary64_7191 distribute-lft-out_binary64_7190 distribute-rgt-in_binary64_7189 distribute-lft-in_binary64_7188 count-2_binary64_7187 associate-/l/_binary64_7186 associate-/r/_binary64_7185 associate-/l*_binary64_7184 associate-/r*_binary64_7183 associate-*l/_binary64_7182 associate-*r/_binary64_7181 associate-*l*_binary64_7180 associate-*r*_binary64_7179 associate--r-_binary64_7178 associate--l-_binary64_7177 associate--l+_binary64_7176 associate--r+_binary64_7175 associate-+l-_binary64_7174 associate-+r-_binary64_7173 associate-+l+_binary64_7172 associate-+r+_binary64_7171 *-commutative_binary64_7170

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	6	7
2	6	7

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	0	0
Total	1	1

Error

0.0b

Counts

1 → 1

Compiler

Compiled 5 to 4 computations (20% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.0b	(/.f64 x (+.f64 x y))

rewrite38.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

0b

Rules

18×	`*-un-lft-identity_binary64_7239`
12×	`times-frac_binary64_7245`
10×	`add-cube-cbrt_binary64_7274` `add-sqr-sqrt_binary64_7261`
4×	`distribute-lft-out_binary64_7190` `associate-/r*_binary64_7183`
3×	`add-exp-log_binary64_7277` `add-cbrt-cube_binary64_7275` `associate-/l*_binary64_7184`
2×	`associate-/r/_binary64_7185`
1×	`pow1_binary64_7300` `div-exp_binary64_7290` `add-log-exp_binary64_7278` `cbrt-undiv_binary64_7273` `frac-2neg_binary64_7250` `clear-num_binary64_7238` `div-inv_binary64_7236` `flip3-+_binary64_7242` `flip-+_binary64_7213`

Counts

1 → 33

Calls

1 calls:

5.0ms

(/.f64 x (+.f64 x y))

Compiler

Compiled 404 to 116 computations (71.3% saved)

series123.0ms (3.2%)

Error

0.0b

Counts

1 → 24

Calls

1 calls:

102.0ms

(/.f64 x (+.f64 x y))

Compiler

Compiled 600 to 439 computations (26.8% saved)

simplify90.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

529×	`associate-/r*_binary64_7183`
518×	`associate-*l/_binary64_7182`
408×	`associate-/l/_binary64_7186`
314×	`associate-/r/_binary64_7185`
303×	`cancel-sign-sub-inv_binary64_7205`
166×	`distribute-rgt-in_binary64_7189`
152×	`distribute-lft-in_binary64_7188`
142×	`unswap-sqr_binary64_7207`
134×	`associate-/l*_binary64_7184`
117×	`distribute-neg-frac_binary64_7203`
115×	`times-frac_binary64_7245`
103×	`sub-neg_binary64_7232`
94×	`distribute-rgt-neg-in_binary64_7197`
92×	`distribute-lft-neg-in_binary64_7196`
49×	`associate-l_binary64_7180`
48×	`associate-*r/_binary64_7181`
37×	`distribute-rgt-out_binary64_7192` `associate-r_binary64_7179`
36×	`unpow3_binary64_7305` `cube-div_binary64_7268` `distribute-rgt-out--_binary64_7193`
33×	`neg-mul-1_binary64_7235` `neg-sub0_binary64_7234` `*-commutative_binary64_7170`
29×	`+-commutative_binary64_7169`
28×	`associate-+l+_binary64_7172`
27×	`sqr-pow_binary64_7211` `associate-+r+_binary64_7171`
26×	`div-sub_binary64_7244`
24×	`distribute-lft-out_binary64_7190` `associate--l+_binary64_7176` `associate-+l-_binary64_7174`
19×	`cube-unmult_binary64_7276` `associate-+r-_binary64_7173`
16×	`log-div_binary64_7326` `unsub-neg_binary64_7233` `difference-of-squares_binary64_7208` `distribute-lft-out--_binary64_7191`
14×	`cube-prod_binary64_7267`
13×	`associate--r+_binary64_7175`
12×	`*-rgt-identity_binary64_7229` `sub0-neg_binary64_7226`
11×	`log-prod_binary64_7325` `pow-plus_binary64_7302`
10×	`+-rgt-identity_binary64_7224`
7×	`distribute-neg-in_binary64_7200` `distribute-rgt1-in_binary64_7195`
6×	`*-lft-identity_binary64_7228`
5×	`cube-mult_binary64_7269`
4×	`log-pow_binary64_7328` `/-rgt-identity_binary64_7230`
3×	`swap-sqr_binary64_7206` `distribute-lft-neg-out_binary64_7198`
2×	`log-rec_binary64_7327` `unpow2_binary64_7304` `unpow1/2_binary64_7303` `unpow1_binary64_7297` `rem-sqrt-square_binary64_7252` `pow-sqr_binary64_7212` `difference-of-sqr--1_binary64_7210` `cancel-sign-sub_binary64_7204` `distribute-rgt-neg-out_binary64_7199` `count-2_binary64_7187` `associate--l-_binary64_7177`
1×	`exp-prod_binary64_7291` `1-exp_binary64_7283` `remove-double-neg_binary64_7227` `--rgt-identity_binary64_7225` `div0_binary64_7220` `distribute-frac-neg_binary64_7202` `associate--r-_binary64_7178`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64_7502` `erf-erfc_binary64_7501` `erf-odd_binary64_7500` `if-if-and-not_binary64_7499` `if-if-and_binary64_7498` `if-if-or-not_binary64_7497` `if-if-or_binary64_7496` `if-not_binary64_7495` `if-same_binary64_7494` `if-false_binary64_7493` `if-true_binary64_7492` `not-gte_binary64_7491` `not-lte_binary64_7490` `not-gt_binary64_7489` `not-lt_binary64_7488` `gte-same_binary64_7487` `lte-same_binary64_7486` `gt-same_binary64_7485` `lt-same_binary64_7484` `sinh---cosh_binary64_7431` `sinh-+-cosh_binary64_7430` `sinh-cosh_binary64_7429` `tanh-def-c_binary64_7428` `tanh-def-b_binary64_7427` `tanh-def-a_binary64_7426` `cosh-def_binary64_7425` `sinh-def_binary64_7424` `tan-neg_binary64_7371` `cos-neg_binary64_7370` `sin-neg_binary64_7369` `tan-0_binary64_7368` `cos-0_binary64_7367` `sin-0_binary64_7366` `hang-m-tan_binary64_7365` `hang-p-tan_binary64_7364` `hang-m0-tan_binary64_7363` `hang-p0-tan_binary64_7362` `hang-0m-tan_binary64_7361` `hang-0p-tan_binary64_7360` `tan-+PI/2_binary64_7359` `tan-+PI_binary64_7358` `tan-PI_binary64_7357` `tan-PI/3_binary64_7356` `tan-PI/4_binary64_7355` `tan-PI/6_binary64_7354` `cos-+PI/2_binary64_7353` `cos-+PI_binary64_7352` `cos-PI_binary64_7351` `cos-PI/2_binary64_7350` `cos-PI/3_binary64_7349` `cos-PI/4_binary64_7348` `cos-PI/6_binary64_7347` `sin-+PI/2_binary64_7346` `sin-+PI_binary64_7345` `sin-PI_binary64_7344` `sin-PI/2_binary64_7343` `sin-PI/3_binary64_7342` `sin-PI/4_binary64_7341` `sin-PI/6_binary64_7340` `sub-1-sin_binary64_7339` `sub-1-cos_binary64_7338` `-1-add-sin_binary64_7337` `-1-add-cos_binary64_7336` `1-sub-sin_binary64_7335` `1-sub-cos_binary64_7334` `cos-sin-sum_binary64_7333` `log-E_binary64_7329` `pow-base-0_binary64_7323` `unpow1/3_binary64_7306` `exp-to-pow_binary64_7301` `pow-base-1_binary64_7299` `unpow0_binary64_7298` `unpow-1_binary64_7296` `exp-lft-cube_binary64_7295` `exp-lft-sqr_binary64_7294` `exp-cbrt_binary64_7293` `exp-sqrt_binary64_7292` `div-exp_binary64_7290` `rec-exp_binary64_7289` `prod-exp_binary64_7288` `exp-diff_binary64_7287` `exp-neg_binary64_7286` `exp-sum_binary64_7285` `e-exp-1_binary64_7284` `exp-1-e_binary64_7282` `exp-0_binary64_7281` `rem-log-exp_binary64_7280` `rem-exp-log_binary64_7279` `cube-neg_binary64_7266` `rem-3cbrt-rft_binary64_7265` `rem-3cbrt-lft_binary64_7264` `rem-cbrt-cube_binary64_7263` `rem-cube-cbrt_binary64_7262` `sqr-abs_binary64_7254` `sqr-neg_binary64_7253` `rem-square-sqrt_binary64_7251` `mul-1-neg_binary64_7231` `+-lft-identity_binary64_7223` `mul0-rgt_binary64_7222` `mul0-lft_binary64_7221` `*-inverses_binary64_7219` `+-inverses_binary64_7218` `lft-mult-inverse_binary64_7217` `rgt-mult-inverse_binary64_7216` `remove-double-div_binary64_7215` `difference-of-sqr-1_binary64_7209` `distribute-neg-out_binary64_7201` `distribute-lft1-in_binary64_7194`

Counts

57 → 27

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	82	896
1	179	866
2	463	821
3	1433	794
4	4932	794
5	4971	794
6	4962	794

prune22.0ms (0.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	24	3	27
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	24	4	28

Error

0.0b

Counts

28 → 4

Compiler

Compiled 346 to 135 computations (61% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 x (+.f64 x y))
0.1b	(pow.f64 (/.f64 x (+.f64 x y)) 3)
12.9b	(cbrt.f64 (pow.f64 (/.f64 x (+.f64 x y)) 3))

rewrite165.0ms (4.3%)

Algorithm

1×	rewrite-expression-head

Error

0b

Rules

78×	`*-un-lft-identity_binary64_7239`
60×	`times-frac_binary64_7245`
46×	`add-cube-cbrt_binary64_7274` `add-sqr-sqrt_binary64_7261`
42×	`cbrt-prod_binary64_7270`
36×	`unpow-prod-down_binary64_7318` `cube-prod_binary64_7267`
16×	`distribute-lft-out_binary64_7190`
10×	`associate-/r/_binary64_7185`
8×	`add-exp-log_binary64_7277` `add-cbrt-cube_binary64_7275`
5×	`div-inv_binary64_7236` `flip3-+_binary64_7242` `flip-+_binary64_7213`
4×	`pow1_binary64_7300` `associate-/r*_binary64_7183`
3×	`add-log-exp_binary64_7278` `pow-unpow_binary64_7316` `associate-/l*_binary64_7184`
2×	`cube-div_binary64_7268` `unpow3_binary64_7305` `cube-mult_binary64_7269` `sqr-pow_binary64_7211` `div-exp_binary64_7290` `pow-exp_binary64_7307` `rem-cube-cbrt_binary64_7262` `cbrt-undiv_binary64_7273`
1×	`pow1/3_binary64_7321` `cbrt-div_binary64_7271` `rem-cbrt-cube_binary64_7263` `pow-pow_binary64_7311` `pow-to-exp_binary64_7308` `frac-2neg_binary64_7250` `clear-num_binary64_7238`

Counts

3 → 141

Calls

3 calls:

9.0ms	(cbrt.f64 (pow.f64 (/.f64 x (+.f64 x y)) 3))
8.0ms	(pow.f64 (/.f64 x (+.f64 x y)) 3)
5.0ms	(/.f64 x (+.f64 x y))

Compiler

Compiled 2470 to 1006 computations (59.3% saved)

series457.0ms (11.9%)

Error

0.0b

Counts

3 → 72

Calls

3 calls:

166.0ms	(pow.f64 (/.f64 x (+.f64 x y)) 3)
109.0ms	(cbrt.f64 (pow.f64 (/.f64 x (+.f64 x y)) 3))
108.0ms	(/.f64 x (+.f64 x y))

Compiler

Compiled 2280 to 1804 computations (20.9% saved)

simplify117.0ms (3%)

Algorithm

1×	egg-herbie

Rules

824×	`associate-/l*_binary64_7184`
455×	`unswap-sqr_binary64_7207`
308×	`associate-/r/_binary64_7185`
299×	`associate-/l/_binary64_7186`
175×	`cancel-sign-sub-inv_binary64_7205`
133×	`sqr-pow_binary64_7211`
120×	`distribute-rgt-in_binary64_7189`
97×	`distribute-lft-in_binary64_7188`
88×	`log-prod_binary64_7325`
86×	`sub-neg_binary64_7232`
75×	`associate-*l/_binary64_7182`
71×	`associate-*r/_binary64_7181`
70×	`cube-div_binary64_7268`
66×	`log-div_binary64_7326`
61×	`times-frac_binary64_7245`
58×	`exp-prod_binary64_7291`
52×	`distribute-rgt-neg-in_binary64_7197`
50×	`swap-sqr_binary64_7206`
49×	`associate-r_binary64_7179`
48×	`distribute-lft-neg-in_binary64_7196`
47×	`associate-l_binary64_7180`
46×	`cube-prod_binary64_7267`
44×	`distribute-neg-frac_binary64_7203`
42×	`+-commutative_binary64_7169`
41×	`associate-/r*_binary64_7183`
39×	`unpow3_binary64_7305`
38×	`cube-mult_binary64_7269`
30×	`*-commutative_binary64_7170`
29×	`associate--l+_binary64_7176`
26×	`rem-cbrt-cube_binary64_7263`
25×	`neg-sub0_binary64_7234`
24×	`neg-mul-1_binary64_7235`
23×	`associate--r+_binary64_7175`
19×	`unsub-neg_binary64_7233`
16×	`log-pow_binary64_7328` `*-rgt-identity_binary64_7229`
14×	`pow-sqr_binary64_7212`
13×	`rem-sqrt-square_binary64_7252`
12×	`distribute-neg-in_binary64_7200`
11×	`cube-unmult_binary64_7276`
9×	`pow-plus_binary64_7302`
8×	`distribute-lft-neg-out_binary64_7198` `associate-+l+_binary64_7172`
7×	`*-lft-identity_binary64_7228` `difference-of-squares_binary64_7208` `distribute-rgt-out--_binary64_7193`
4×	`/-rgt-identity_binary64_7230` `distribute-rgt-neg-out_binary64_7199` `distribute-rgt1-in_binary64_7195` `distribute-rgt-out_binary64_7192`
3×	`unpow1/2_binary64_7303` `unpow1_binary64_7297` `rem-cube-cbrt_binary64_7262` `rem-square-sqrt_binary64_7251` `distribute-lft-out_binary64_7190` `count-2_binary64_7187`
2×	`unpow2_binary64_7304` `distribute-lft-out--_binary64_7191` `associate-+l-_binary64_7174`
1×	`1-exp_binary64_7283` `rem-3cbrt-lft_binary64_7264` `div-sub_binary64_7244` `mul-1-neg_binary64_7231` `sub0-neg_binary64_7226` `associate-+r-_binary64_7173`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64_7502` `erf-erfc_binary64_7501` `erf-odd_binary64_7500` `if-if-and-not_binary64_7499` `if-if-and_binary64_7498` `if-if-or-not_binary64_7497` `if-if-or_binary64_7496` `if-not_binary64_7495` `if-same_binary64_7494` `if-false_binary64_7493` `if-true_binary64_7492` `not-gte_binary64_7491` `not-lte_binary64_7490` `not-gt_binary64_7489` `not-lt_binary64_7488` `gte-same_binary64_7487` `lte-same_binary64_7486` `gt-same_binary64_7485` `lt-same_binary64_7484` `sinh---cosh_binary64_7431` `sinh-+-cosh_binary64_7430` `sinh-cosh_binary64_7429` `tanh-def-c_binary64_7428` `tanh-def-b_binary64_7427` `tanh-def-a_binary64_7426` `cosh-def_binary64_7425` `sinh-def_binary64_7424` `tan-neg_binary64_7371` `cos-neg_binary64_7370` `sin-neg_binary64_7369` `tan-0_binary64_7368` `cos-0_binary64_7367` `sin-0_binary64_7366` `hang-m-tan_binary64_7365` `hang-p-tan_binary64_7364` `hang-m0-tan_binary64_7363` `hang-p0-tan_binary64_7362` `hang-0m-tan_binary64_7361` `hang-0p-tan_binary64_7360` `tan-+PI/2_binary64_7359` `tan-+PI_binary64_7358` `tan-PI_binary64_7357` `tan-PI/3_binary64_7356` `tan-PI/4_binary64_7355` `tan-PI/6_binary64_7354` `cos-+PI/2_binary64_7353` `cos-+PI_binary64_7352` `cos-PI_binary64_7351` `cos-PI/2_binary64_7350` `cos-PI/3_binary64_7349` `cos-PI/4_binary64_7348` `cos-PI/6_binary64_7347` `sin-+PI/2_binary64_7346` `sin-+PI_binary64_7345` `sin-PI_binary64_7344` `sin-PI/2_binary64_7343` `sin-PI/3_binary64_7342` `sin-PI/4_binary64_7341` `sin-PI/6_binary64_7340` `sub-1-sin_binary64_7339` `sub-1-cos_binary64_7338` `-1-add-sin_binary64_7337` `-1-add-cos_binary64_7336` `1-sub-sin_binary64_7335` `1-sub-cos_binary64_7334` `cos-sin-sum_binary64_7333` `log-E_binary64_7329` `log-rec_binary64_7327` `pow-base-0_binary64_7323` `unpow1/3_binary64_7306` `exp-to-pow_binary64_7301` `pow-base-1_binary64_7299` `unpow0_binary64_7298` `unpow-1_binary64_7296` `exp-lft-cube_binary64_7295` `exp-lft-sqr_binary64_7294` `exp-cbrt_binary64_7293` `exp-sqrt_binary64_7292` `div-exp_binary64_7290` `rec-exp_binary64_7289` `prod-exp_binary64_7288` `exp-diff_binary64_7287` `exp-neg_binary64_7286` `exp-sum_binary64_7285` `e-exp-1_binary64_7284` `exp-1-e_binary64_7282` `exp-0_binary64_7281` `rem-log-exp_binary64_7280` `rem-exp-log_binary64_7279` `cube-neg_binary64_7266` `rem-3cbrt-rft_binary64_7265` `sqr-abs_binary64_7254` `sqr-neg_binary64_7253` `remove-double-neg_binary64_7227` `--rgt-identity_binary64_7225` `+-rgt-identity_binary64_7224` `+-lft-identity_binary64_7223` `mul0-rgt_binary64_7222` `mul0-lft_binary64_7221` `div0_binary64_7220` `*-inverses_binary64_7219` `+-inverses_binary64_7218` `lft-mult-inverse_binary64_7217` `rgt-mult-inverse_binary64_7216` `remove-double-div_binary64_7215` `difference-of-sqr--1_binary64_7210` `difference-of-sqr-1_binary64_7209` `cancel-sign-sub_binary64_7204` `distribute-frac-neg_binary64_7202` `distribute-neg-out_binary64_7201` `distribute-lft1-in_binary64_7194` `associate--r-_binary64_7178` `associate--l-_binary64_7177` `associate-+r+_binary64_7171`

Counts

213 → 154

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	206	3882
1	537	3669
2	1667	3505
3	5789	3505

prune132.0ms (3.4%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	152	2	154
Fresh	1	1	2
Picked	0	1	1
Done	0	1	1
Total	153	5	158

Error

0b

Counts

158 → 5

Compiler

Compiled 2312 to 924 computations (60% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 1 (+.f64 x y))
0.2b	(*.f64 x (/.f64 1 (+.f64 x y)))

rewrite84.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

0b

Rules

35×	`*-un-lft-identity_binary64_7239`
27×	`add-sqr-sqrt_binary64_7261`
26×	`times-frac_binary64_7245`
20×	`add-cube-cbrt_binary64_7274`
18×	`associate-r_binary64_7179`
15×	`add-exp-log_binary64_7277`
9×	`add-cbrt-cube_binary64_7275`
7×	`distribute-lft-out_binary64_7190`
5×	`pow1_binary64_7300`
4×	`div-exp_binary64_7290` `prod-exp_binary64_7288` `associate-/r/_binary64_7185` `associate-/r*_binary64_7183`
3×	`unswap-sqr_binary64_7207` `associate-l_binary64_7180` `associate-/l*_binary64_7184`
2×	`1-exp_binary64_7283` `rec-exp_binary64_7289` `add-log-exp_binary64_7278` `cbrt-unprod_binary64_7272` `cbrt-undiv_binary64_7273` `div-inv_binary64_7236` `flip3-+_binary64_7242` `flip-+_binary64_7213`
1×	`pow-prod-down_binary64_7310` `un-div-inv_binary64_7237` `associate-r/_binary64_7181` `-commutative_binary64_7170` `inv-pow_binary64_7324` `pow-flip_binary64_7313` `frac-2neg_binary64_7250` `clear-num_binary64_7238`

Counts

2 → 78

Calls

2 calls:

11.0ms	(*.f64 x (/.f64 1 (+.f64 x y)))
5.0ms	(/.f64 1 (+.f64 x y))

Compiler

Compiled 1106 to 560 computations (49.4% saved)

series249.0ms (6.5%)

Error

0b

Counts

2 → 48

Calls

2 calls:

104.0ms	(*.f64 x (/.f64 1 (+.f64 x y)))
101.0ms	(/.f64 1 (+.f64 x y))

Compiler

Compiled 1344 to 991 computations (26.3% saved)

simplify139.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

722×	`cancel-sign-sub-inv_binary64_7205`
528×	`div-sub_binary64_7244`
296×	`sub-neg_binary64_7232`
280×	`times-frac_binary64_7245`
256×	`associate-/l*_binary64_7184`
217×	`unswap-sqr_binary64_7207`
196×	`associate-l_binary64_7180`
193×	`neg-mul-1_binary64_7235`
177×	`neg-sub0_binary64_7234`
176×	`distribute-rgt-neg-in_binary64_7197`
169×	`distribute-lft-neg-in_binary64_7196`
164×	`distribute-neg-frac_binary64_7203`
152×	`associate-r_binary64_7179`
141×	`associate-/r*_binary64_7183`
132×	`associate-*l/_binary64_7182`
128×	`associate-*r/_binary64_7181`
91×	`sqr-pow_binary64_7211`
80×	`distribute-rgt-out--_binary64_7193`
75×	`*-commutative_binary64_7170`
67×	`distribute-rgt-in_binary64_7189`
64×	`distribute-rgt-out_binary64_7192`
62×	`+-commutative_binary64_7169`
57×	`distribute-lft-in_binary64_7188`
53×	`associate-/r/_binary64_7185`
47×	`associate-+r+_binary64_7171`
46×	`associate-+l-_binary64_7174`
45×	`unsub-neg_binary64_7233` `associate--l+_binary64_7176` `associate-+l+_binary64_7172`
44×	`cube-prod_binary64_7267` `associate-+r-_binary64_7173`
42×	`associate-/l/_binary64_7186`
39×	`distribute-lft-out_binary64_7190`
37×	`*-rgt-identity_binary64_7229`
36×	`*-lft-identity_binary64_7228`
30×	`difference-of-squares_binary64_7208`
28×	`distribute-lft-out--_binary64_7191` `associate--r+_binary64_7175`
24×	`cube-div_binary64_7268` `remove-double-neg_binary64_7227` `+-rgt-identity_binary64_7224`
23×	`exp-prod_binary64_7291`
22×	`unpow3_binary64_7305` `/-rgt-identity_binary64_7230` `sub0-neg_binary64_7226`
21×	`log-prod_binary64_7325` `swap-sqr_binary64_7206` `distribute-neg-in_binary64_7200`
20×	`pow-plus_binary64_7302`
18×	`rem-sqrt-square_binary64_7252` `pow-sqr_binary64_7212`
15×	`cube-unmult_binary64_7276` `sqr-neg_binary64_7253`
12×	`cube-mult_binary64_7269` `div0_binary64_7220`
10×	`log-div_binary64_7326` `distribute-rgt1-in_binary64_7195`
7×	`cube-neg_binary64_7266`
6×	`unpow1/2_binary64_7303`
4×	`log-pow_binary64_7328` `cancel-sign-sub_binary64_7204`
3×	`log-rec_binary64_7327` `unpow2_binary64_7304` `distribute-lft-neg-out_binary64_7198`
2×	`unpow1_binary64_7297` `exp-diff_binary64_7287` `+-lft-identity_binary64_7223` `difference-of-sqr--1_binary64_7210` `distribute-rgt-neg-out_binary64_7199`
1×	`exp-sum_binary64_7285` `1-exp_binary64_7283` `exp-1-e_binary64_7282` `--rgt-identity_binary64_7225` `*-inverses_binary64_7219` `remove-double-div_binary64_7215` `distribute-frac-neg_binary64_7202` `distribute-lft1-in_binary64_7194` `count-2_binary64_7187` `associate--l-_binary64_7177`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64_7502` `erf-erfc_binary64_7501` `erf-odd_binary64_7500` `if-if-and-not_binary64_7499` `if-if-and_binary64_7498` `if-if-or-not_binary64_7497` `if-if-or_binary64_7496` `if-not_binary64_7495` `if-same_binary64_7494` `if-false_binary64_7493` `if-true_binary64_7492` `not-gte_binary64_7491` `not-lte_binary64_7490` `not-gt_binary64_7489` `not-lt_binary64_7488` `gte-same_binary64_7487` `lte-same_binary64_7486` `gt-same_binary64_7485` `lt-same_binary64_7484` `sinh---cosh_binary64_7431` `sinh-+-cosh_binary64_7430` `sinh-cosh_binary64_7429` `tanh-def-c_binary64_7428` `tanh-def-b_binary64_7427` `tanh-def-a_binary64_7426` `cosh-def_binary64_7425` `sinh-def_binary64_7424` `tan-neg_binary64_7371` `cos-neg_binary64_7370` `sin-neg_binary64_7369` `tan-0_binary64_7368` `cos-0_binary64_7367` `sin-0_binary64_7366` `hang-m-tan_binary64_7365` `hang-p-tan_binary64_7364` `hang-m0-tan_binary64_7363` `hang-p0-tan_binary64_7362` `hang-0m-tan_binary64_7361` `hang-0p-tan_binary64_7360` `tan-+PI/2_binary64_7359` `tan-+PI_binary64_7358` `tan-PI_binary64_7357` `tan-PI/3_binary64_7356` `tan-PI/4_binary64_7355` `tan-PI/6_binary64_7354` `cos-+PI/2_binary64_7353` `cos-+PI_binary64_7352` `cos-PI_binary64_7351` `cos-PI/2_binary64_7350` `cos-PI/3_binary64_7349` `cos-PI/4_binary64_7348` `cos-PI/6_binary64_7347` `sin-+PI/2_binary64_7346` `sin-+PI_binary64_7345` `sin-PI_binary64_7344` `sin-PI/2_binary64_7343` `sin-PI/3_binary64_7342` `sin-PI/4_binary64_7341` `sin-PI/6_binary64_7340` `sub-1-sin_binary64_7339` `sub-1-cos_binary64_7338` `-1-add-sin_binary64_7337` `-1-add-cos_binary64_7336` `1-sub-sin_binary64_7335` `1-sub-cos_binary64_7334` `cos-sin-sum_binary64_7333` `log-E_binary64_7329` `pow-base-0_binary64_7323` `unpow1/3_binary64_7306` `exp-to-pow_binary64_7301` `pow-base-1_binary64_7299` `unpow0_binary64_7298` `unpow-1_binary64_7296` `exp-lft-cube_binary64_7295` `exp-lft-sqr_binary64_7294` `exp-cbrt_binary64_7293` `exp-sqrt_binary64_7292` `div-exp_binary64_7290` `rec-exp_binary64_7289` `prod-exp_binary64_7288` `exp-neg_binary64_7286` `e-exp-1_binary64_7284` `exp-0_binary64_7281` `rem-log-exp_binary64_7280` `rem-exp-log_binary64_7279` `rem-3cbrt-rft_binary64_7265` `rem-3cbrt-lft_binary64_7264` `rem-cbrt-cube_binary64_7263` `rem-cube-cbrt_binary64_7262` `sqr-abs_binary64_7254` `rem-square-sqrt_binary64_7251` `mul-1-neg_binary64_7231` `mul0-rgt_binary64_7222` `mul0-lft_binary64_7221` `+-inverses_binary64_7218` `lft-mult-inverse_binary64_7217` `rgt-mult-inverse_binary64_7216` `difference-of-sqr-1_binary64_7209` `distribute-neg-out_binary64_7201` `associate--r-_binary64_7178`

Counts

126 → 85

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	126	1842
1	292	1749
2	866	1668
3	2562	1614
4	4244	1614
5	4886	1605
6	5602	1605

prune61.0ms (1.6%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	85	5	90

Error

0b

Counts

90 → 5

Compiler

Compiled 1074 to 442 computations (58.8% saved)

localize6.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 x (+.f64 x y))
0.1b	(*.f64 (sqrt.f64 (/.f64 x (+.f64 x y))) (sqrt.f64 (/.f64 x (+.f64 x y))))
8.3b	(sqrt.f64 (/.f64 x (+.f64 x y)))
8.3b	(sqrt.f64 (/.f64 x (+.f64 x y)))

rewrite256.0ms (6.7%)

Algorithm

1×	rewrite-expression-head

Error

0b

Rules

134×	`sqrt-prod_binary64_7255`
131×	`*-un-lft-identity_binary64_7239`
109×	`add-sqr-sqrt_binary64_7261`
106×	`times-frac_binary64_7245`
69×	`add-cube-cbrt_binary64_7274`
29×	`swap-sqr_binary64_7206`
28×	`distribute-lft-out_binary64_7190`
21×	`pow1_binary64_7300` `associate-l_binary64_7180` `associate-r_binary64_7179`
14×	`associate-/r/_binary64_7185`
10×	`pow1/2_binary64_7319` `sqrt-pow1_binary64_7257`
9×	`unswap-sqr_binary64_7207`
8×	`add-exp-log_binary64_7277` `add-cbrt-cube_binary64_7275` `rem-sqrt-square_binary64_7252`
7×	`div-inv_binary64_7236` `flip3-+_binary64_7242` `flip-+_binary64_7213`
6×	`sqrt-div_binary64_7256`
5×	`pow-prod-up_binary64_7309`
4×	`add-log-exp_binary64_7278` `associate-/r*_binary64_7183`
3×	`pow-prod-down_binary64_7310` `pow-sqr_binary64_7212` `associate-/l*_binary64_7184`
2×	`sqr-abs_binary64_7254`
1×	`pow2_binary64_7320` `pow-plus_binary64_7302` `prod-exp_binary64_7288` `cbrt-unprod_binary64_7272` `sqrt-unprod_binary64_7259` `rem-square-sqrt_binary64_7251` `frac-times_binary64_7249` `associate-l/_binary64_7182` `associate-r/_binary64_7181` `*-commutative_binary64_7170` `div-exp_binary64_7290` `cbrt-undiv_binary64_7273` `frac-2neg_binary64_7250` `clear-num_binary64_7238`

Counts

4 → 203

Calls

4 calls:

26.0ms	(*.f64 (sqrt.f64 (/.f64 x (+.f64 x y))) (sqrt.f64 (/.f64 x (+.f64 x y))))
6.0ms	(sqrt.f64 (/.f64 x (+.f64 x y)))
6.0ms	(sqrt.f64 (/.f64 x (+.f64 x y)))
5.0ms	(/.f64 x (+.f64 x y))

Compiler

Compiled 4595 to 809 computations (82.4% saved)

series493.0ms (12.9%)

Error

0b

Counts

4 → 78

Calls

4 calls:

113.0ms	(*.f64 (sqrt.f64 (/.f64 x (+.f64 x y))) (sqrt.f64 (/.f64 x (+.f64 x y))))
112.0ms	(/.f64 x (+.f64 x y))
98.0ms	(sqrt.f64 (/.f64 x (+.f64 x y)))
96.0ms	(sqrt.f64 (/.f64 x (+.f64 x y)))

Compiler

Compiled 2900 to 1890 computations (34.8% saved)

simplify177.0ms (4.6%)

Algorithm

1×	egg-herbie

Rules

600×	`times-frac_binary64_7245`
430×	`associate-/l*_binary64_7184`
269×	`associate-/r*_binary64_7183`
225×	`*-commutative_binary64_7170`
219×	`associate-*l/_binary64_7182`
166×	`sub-neg_binary64_7232`
155×	`associate-*r/_binary64_7181`
136×	`associate-/l/_binary64_7186`
131×	`cancel-sign-sub-inv_binary64_7205`
128×	`associate-/r/_binary64_7185`
124×	`associate-r_binary64_7179`
121×	`associate-l_binary64_7180`
88×	`unswap-sqr_binary64_7207`
87×	`div-sub_binary64_7244`
70×	`cube-prod_binary64_7267`
68×	`cube-div_binary64_7268`
67×	`log-prod_binary64_7325`
61×	`distribute-rgt-in_binary64_7189`
60×	`neg-sub0_binary64_7234`
57×	`neg-mul-1_binary64_7235`
53×	`log-div_binary64_7326`
46×	`distribute-lft-in_binary64_7188` `+-commutative_binary64_7169`
42×	`distribute-rgt-neg-in_binary64_7197`
41×	`associate-+l+_binary64_7172`
39×	`rem-sqrt-square_binary64_7252`
38×	`exp-prod_binary64_7291` `associate--l+_binary64_7176`
37×	`distribute-lft-neg-in_binary64_7196` `associate-+l-_binary64_7174`
35×	`*-rgt-identity_binary64_7229` `associate-+r+_binary64_7171`
33×	`unsub-neg_binary64_7233` `distribute-neg-frac_binary64_7203`
28×	`associate-+r-_binary64_7173`
27×	`*-lft-identity_binary64_7228`
26×	`rem-square-sqrt_binary64_7251`
25×	`sqr-pow_binary64_7211`
21×	`associate--r+_binary64_7175`
18×	`pow-plus_binary64_7302`
16×	`cube-unmult_binary64_7276`
12×	`unpow3_binary64_7305`
11×	`swap-sqr_binary64_7206`
9×	`distribute-neg-in_binary64_7200`
8×	`distribute-rgt-out_binary64_7192`
7×	`log-pow_binary64_7328` `cube-mult_binary64_7269`
6×	`distribute-rgt-out--_binary64_7193`
5×	`pow-sqr_binary64_7212` `distribute-lft-out_binary64_7190`
4×	`/-rgt-identity_binary64_7230` `difference-of-squares_binary64_7208` `distribute-lft-neg-out_binary64_7198` `count-2_binary64_7187`
3×	`unpow1/2_binary64_7303` `mul-1-neg_binary64_7231` `distribute-rgt1-in_binary64_7195`
2×	`log-rec_binary64_7327` `unpow2_binary64_7304` `unpow1_binary64_7297` `distribute-lft-out--_binary64_7191` `associate--l-_binary64_7177`
1×	`1-exp_binary64_7283` `exp-1-e_binary64_7282` `rem-3cbrt-rft_binary64_7265` `rem-3cbrt-lft_binary64_7264` `sub0-neg_binary64_7226` `distribute-rgt-neg-out_binary64_7199` `associate--r-_binary64_7178`
0×	`not-true` `not-false` `not-not` `not-and` `not-or` `and-true-l` `and-true-r` `and-false-l` `and-false-r` `and-same` `or-true-l` `or-true-r` `or-false-l` `or-false-r` `or-same` `erfc-erf_binary64_7502` `erf-erfc_binary64_7501` `erf-odd_binary64_7500` `if-if-and-not_binary64_7499` `if-if-and_binary64_7498` `if-if-or-not_binary64_7497` `if-if-or_binary64_7496` `if-not_binary64_7495` `if-same_binary64_7494` `if-false_binary64_7493` `if-true_binary64_7492` `not-gte_binary64_7491` `not-lte_binary64_7490` `not-gt_binary64_7489` `not-lt_binary64_7488` `gte-same_binary64_7487` `lte-same_binary64_7486` `gt-same_binary64_7485` `lt-same_binary64_7484` `sinh---cosh_binary64_7431` `sinh-+-cosh_binary64_7430` `sinh-cosh_binary64_7429` `tanh-def-c_binary64_7428` `tanh-def-b_binary64_7427` `tanh-def-a_binary64_7426` `cosh-def_binary64_7425` `sinh-def_binary64_7424` `tan-neg_binary64_7371` `cos-neg_binary64_7370` `sin-neg_binary64_7369` `tan-0_binary64_7368` `cos-0_binary64_7367` `sin-0_binary64_7366` `hang-m-tan_binary64_7365` `hang-p-tan_binary64_7364` `hang-m0-tan_binary64_7363` `hang-p0-tan_binary64_7362` `hang-0m-tan_binary64_7361` `hang-0p-tan_binary64_7360` `tan-+PI/2_binary64_7359` `tan-+PI_binary64_7358` `tan-PI_binary64_7357` `tan-PI/3_binary64_7356` `tan-PI/4_binary64_7355` `tan-PI/6_binary64_7354` `cos-+PI/2_binary64_7353` `cos-+PI_binary64_7352` `cos-PI_binary64_7351` `cos-PI/2_binary64_7350` `cos-PI/3_binary64_7349` `cos-PI/4_binary64_7348` `cos-PI/6_binary64_7347` `sin-+PI/2_binary64_7346` `sin-+PI_binary64_7345` `sin-PI_binary64_7344` `sin-PI/2_binary64_7343` `sin-PI/3_binary64_7342` `sin-PI/4_binary64_7341` `sin-PI/6_binary64_7340` `sub-1-sin_binary64_7339` `sub-1-cos_binary64_7338` `-1-add-sin_binary64_7337` `-1-add-cos_binary64_7336` `1-sub-sin_binary64_7335` `1-sub-cos_binary64_7334` `cos-sin-sum_binary64_7333` `log-E_binary64_7329` `pow-base-0_binary64_7323` `unpow1/3_binary64_7306` `exp-to-pow_binary64_7301` `pow-base-1_binary64_7299` `unpow0_binary64_7298` `unpow-1_binary64_7296` `exp-lft-cube_binary64_7295` `exp-lft-sqr_binary64_7294` `exp-cbrt_binary64_7293` `exp-sqrt_binary64_7292` `div-exp_binary64_7290` `rec-exp_binary64_7289` `prod-exp_binary64_7288` `exp-diff_binary64_7287` `exp-neg_binary64_7286` `exp-sum_binary64_7285` `e-exp-1_binary64_7284` `exp-0_binary64_7281` `rem-log-exp_binary64_7280` `rem-exp-log_binary64_7279` `cube-neg_binary64_7266` `rem-cbrt-cube_binary64_7263` `rem-cube-cbrt_binary64_7262` `sqr-abs_binary64_7254` `sqr-neg_binary64_7253` `remove-double-neg_binary64_7227` `--rgt-identity_binary64_7225` `+-rgt-identity_binary64_7224` `+-lft-identity_binary64_7223` `mul0-rgt_binary64_7222` `mul0-lft_binary64_7221` `div0_binary64_7220` `*-inverses_binary64_7219` `+-inverses_binary64_7218` `lft-mult-inverse_binary64_7217` `rgt-mult-inverse_binary64_7216` `remove-double-div_binary64_7215` `difference-of-sqr--1_binary64_7210` `difference-of-sqr-1_binary64_7209` `cancel-sign-sub_binary64_7204` `distribute-frac-neg_binary64_7202` `distribute-neg-out_binary64_7201` `distribute-lft1-in_binary64_7194`

Counts

281 → 179

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	205	4799
1	376	4570
2	1267	4408
3	4334	4343
4	4966	4343

prune128.0ms (3.3%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	179	0	179
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	179	5	184

Error

0b

Counts

184 → 5

Compiler

Compiled 3113 to 674 computations (78.3% saved)

regimes145.0ms (3.8%)

Accuracy

Total 0.0b remaining (92.7%)

Threshold costs 0.0b (92.7%)

Compiler

Compiled 920 to 676 computations (26.5% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1× +-commutative_binary64_7169

0× not-true not-false not-not not-and not-or and-true-l and-true-r and-false-l and-false-r and-same or-true-l or-true-r or-false-l or-false-r or-same if-if-and-not_binary64_7499 if-if-and_binary64_7498 if-if-or-not_binary64_7497 if-if-or_binary64_7496 if-not_binary64_7495 if-same_binary64_7494 if-false_binary64_7493 if-true_binary64_7492 tan-0_binary64_7368 cos-0_binary64_7367 sin-0_binary64_7366 unpow1_binary64_7297 e-exp-1_binary64_7284 1-exp_binary64_7283 exp-1-e_binary64_7282 exp-0_binary64_7281 sqr-abs_binary64_7254 sqr-neg_binary64_7253 neg-mul-1_binary64_7235 neg-sub0_binary64_7234 unsub-neg_binary64_7233 sub-neg_binary64_7232 mul-1-neg_binary64_7231 /-rgt-identity_binary64_7230 *-rgt-identity_binary64_7229 *-lft-identity_binary64_7228 remove-double-neg_binary64_7227 sub0-neg_binary64_7226 --rgt-identity_binary64_7225 +-rgt-identity_binary64_7224 +-lft-identity_binary64_7223 cancel-sign-sub-inv_binary64_7205 cancel-sign-sub_binary64_7204 distribute-neg-frac_binary64_7203 distribute-frac-neg_binary64_7202 distribute-neg-out_binary64_7201 distribute-neg-in_binary64_7200 distribute-rgt-neg-out_binary64_7199 distribute-lft-neg-out_binary64_7198 distribute-rgt-neg-in_binary64_7197 distribute-lft-neg-in_binary64_7196 *-commutative_binary64_7170

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	6	7
2	6	7

end0.0ms (0%)

sample740.0ms (19.3%)

Algorithm

1×

intervals

Results

155.0ms

8000×

body

128

valid

Compiler

Compiled 313 to 231 computations (26.2% saved)

Details

analyze176.0ms (4.6%)

sample12.0ms (0.3%)

simplify8.0ms (0.2%)

prune1.0ms (0%)

localize4.0ms (0.1%)

rewrite38.0ms (1%)

series123.0ms (3.2%)

simplify90.0ms (2.4%)

prune22.0ms (0.6%)

localize6.0ms (0.1%)

rewrite165.0ms (4.3%)

series457.0ms (11.9%)

simplify117.0ms (3%)

prune132.0ms (3.4%)

localize5.0ms (0.1%)

rewrite84.0ms (2.2%)

series249.0ms (6.5%)

simplify139.0ms (3.6%)

prune61.0ms (1.6%)

localize6.0ms (0.1%)

rewrite256.0ms (6.7%)

series493.0ms (12.9%)

simplify177.0ms (4.6%)

prune128.0ms (3.3%)

regimes145.0ms (3.8%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample740.0ms (19.3%)

Profiling